Codeforces Round #698 D. 裴蜀定理(数论）

Codeforces Round #698 D. 裴蜀定理

https://codeforces.com/contest/1478/problem/D

题意：有n个互不相同的数字在黑板上，多次重复如下操作：选取黑板上任意两个数x，y，（可以相同），将 2x-y 放回黑板上，（x,y依然存在），问经过无数次上述操作后，黑板上是否存在数字 k ？

思路：

​ 1：由观察可知，2x-y , 2(2x-y) - y, 2x-(2x-y) … 都有一个规律：系数和总是为 1

​ 所以答案的标准式子：ax + by + cz , a+b+c = 1

​ 2: 开始搞事情：凑一堆系数和为 0 的项加上一个系数为1的项 , 设每个数字为 $a_i$

​ 即：$(a_2-a_1)+(a_3-a_2)+...+(a_n-a_{n-1})+a_i$

​ 的系数和为 1

​ 3： 当且仅当可以存在 k 时，$(a_2-a_1)+(a_3-a_2)+...+(a_n-a_{n-1})+a_i=k$,

​ $(a_2-a_1)+(a_3-a_2)+...+(a_n-a_{n-1})=k-a_i$

​ 4: 由裴蜀定理得：$x_1{a}_1+x_2{a}_2+...+x_n{a}_n==t$ 有解时， $t=gcd(a_1,a_2,...,a_n)\ast k$

​ t % gcd == 0

​ 5: 最终的贪心策略就是对每个间距求其最大公约数，只要满足 $k-a_1$ 能够被gcd整除，就能满足

AC代码：

#include <bits/stdc++.h>
#define ll long long
#define maxn 210000
using namespace std;

ll t,n,k;
ll a[maxn+2];

ll gcd(ll x, ll y){
	if(x < y) return gcd(y,x);
	if(y==0) return x;
	return gcd(y, x%y);
}

int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>t;
	while(t--){
		cin>>n>>k;
		for(int i=0;i<n;i++) cin>>a[i];
		
		sort(a,a+n);
		// g为间隔的最大公约数  
		ll g = a[1] - a[0];
		for(int i=2;i<n;i++){
			g = gcd(g , a[i] - a[i-1]);
		}

		if( abs(k - a[n-1]) % g == 0){
			cout<<"YES"<<endl;
		}
		else cout<<"NO"<<endl;
		
	}
}