Milestone Counter

#include <vector>
#include <valarray>
#include <deque>
#include <iostream>
#include <set>
#include <cstdint>
using namespace std;
int64_t gcd(int64_t a,int64_t b){return b==0?a:gcd(b,a%b);}
struct fraction:pair<int64_t,int64_t>{
	fraction(int64_t a=0,int64_t b=1):pair<int64_t,int64_t>(a,b){int64_t c=gcd(a,b);first/=c;second/=c;}
};
int main(){
	int64_t m,n;
	cin>>m>>n;
	vector<int64_t> M(m);
	vector<int64_t> N(n);
	for(int64_t i=0;i<m;i++)cin>>M[i];
	for(int64_t i=0;i<n;i++)cin>>N[i];
	int64_t v=M[0];
	for(auto&it:M)it-=v;
	deque<int64_t> qq(N.begin(),N.begin()+m);
	set<fraction> a;
	set<int64_t> b;
	for(int64_t i=0;i<=n-m;++i){
		fraction vv(qq[1]-qq[0],M[1]);
		for(int64_t j=2;j<m;++j){
			if(vv==fraction(qq[j]-qq[0],M[j]))continue;
			goto asd;
		}
		a.insert(vv);
		b.insert(qq[1]-qq[0]);
asd:	qq.pop_front();
		if(i+m<n)qq.push_back(N[i+m]);
	}
	cout<<a.size()<<'\n';
	int64_t cnt=b.size();
	for(auto&it:b)cout<<it<<" \n"[--cnt==0];
	return 0;
}

Test 1

Verdict: ACCEPTED

Test 2

Verdict: ACCEPTED

Test 3

Verdict: ACCEPTED

Test 4

Verdict: ACCEPTED

Test 5

Verdict: ACCEPTED

Test 6

Verdict: ACCEPTED