AGC 018 A题 AtCoder Grand Contest 018 A题 Getting Difference

构造，思维

题意：给定一非负整数集合，每次可插入集合任意两个数字之差的绝对值，给定一个整数Y，问是否可把Y构造出来

考虑这么一个事实：每次添加a-b进入集合，由欧几里得定理，a-b一定是gcd(a,b)的倍数，现在我们可以说，如果Y可以构造出来，那么他一定是某两个数的gcd的倍数。以此推广，对于整个集合来说，Y一定是这个集合gcd的倍数，否则一定构造不出来，可以证明，集合一定存在两个数字，他们的gcd等于整个集合的gcd，通过这两个数字不断相减，最终可以得到集合的gcd，对这个集合的最大值x来说，通过不断-gcd，就一定能够得到Y

#define _CRT_SECURE_NO_WARNINGS
#include<bits/stdc++.h>
#define endl '\n'
using namespace std;
#define int  long long 
typedef pair<int, int>pii;
typedef pair<int, double>pid;
typedef pair<pii, int>piii;
const int mod = 998244353;
const int N = 2e5 + 100;
int poww(int a, int b) { if (a == 0 && b == 0)return 1; int ans = 1; for (int i = 1; i <= b; i++)ans = ans * a; return ans; }
int sqrtt(int x) { int l = 0, r = 3e9; while (l < r) { int mid = (l + r + 1) >> 1; if (mid * mid == x)return mid; else if (mid * mid > x)r = mid - 1; else l = mid; }return l; }
int a[N];
void solve()
{
	int n; cin >> n;
	int k; cin >> k;
	int gc = 0;

	for (int i = 1; i <= n; i++)cin >> a[i], gc = gcd(gc, a[i]);
	if (k % gc == 0 && k <= *max_element(a + 1, a + 1 + n))cout << "POSSIBLE" << endl;
	else cout << "IMPOSSIBLE" << endl;
	

}


signed main()
{
	ios::sync_with_stdio(0); cout.tie(0); cin.tie(0);
	int t = 1;
	//	cin >> t;
	while (t--)solve();
}