codeforces 数学 Factorial Divisibility

题目描述：

 

思想：数学

        先贴上 cf 上的题解：

         就是说，先用一个数组记录每一个数出现的次数，然后总和就是 , 对于大于等于 x 的项不需要考虑，只需要判断小于 x 的项相加是不是 x! 的倍数就行了。

        然后从小到大遍历，如果 要大于等于 k + 1, 那么可以  -= k+1,  += 1。最后经过操作后 对于任意的 k < x, 都有 <= k, 那么前 x-1 项中最大和可以用放缩法得到最大值 x! - 1,绝对不可能是 x! 的倍数。所以要求这些项都为 0.

AC代码：

int main() {
	
	
	int n, x;
	cin >> n >> x;
	vector<int> a(max(n + 1,x+1)); int w;
	for (int i = 1; i <= n; ++i) cin >> w , ++a[w];
		for (int i = 1; i < x; ++i) {
			if (a[i] % (i + 1) != 0) { cout << "No" << endl; return 0; }
			a[i + 1] += a[i] / (i + 1);
		}
	cout << "Yes" << endl; return 0;
	
}