Integral Array(因数/思维/前缀和/排序)

题目
题意：给定一个长度为$n$的数组$a$，其中$a_i<=c,1<=n,c<=10^6$。判断$a$是否为Integral数组，数组为Integral数组，当前仅当，任意元素$x,y\in a,x>=y$，有$\lfloor x/y\rfloor \in a$。

思路：留意到$a_i\in 10^6$，我们取反证法。对于数组中的任意元素$y$，如果存在$r\notin a$，而存在元素$x\in a,\lfloor x/y\rfloor ==r$，则说明数组$a$不是Integral数组。
我们遍历数组的每个元素$y$，遍历所有的不属于$a$的元素$r$，观察$[y\ast r,y\ast (r+1)-1]$是否存在元素（前缀和）属于$a$。$y\ast r<=10^6$。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn = 1000010;

int n, c;
int a[maxn];
int mp[maxn], sum[maxn];
void solve()  {
	scanf("%d%d", &n, &c);
	for (int i = 1; i <= c; ++i) {
		mp[i] = 0;
		sum[i] = 0;
	}
	for (int i = 0; i < n; ++i) {
		scanf("%d", &a[i]);
		mp[a[i]] = 1;
	}
	sum[0] = 0;
	for (int i = 1; i <= c; ++i) {
		sum[i] = sum[i-1] + mp[i];
	}
	bool flag = 1;
	sort(a, a + n);
	for (int i = 0; i < n && flag; ++i) {
		if (i && a[i] == a[i-1]) {// 去重 ,防TLE
			continue;
		}
		int &y = a[i];
		for (int r = 1; r <= c && flag; ++r) {
			if (1LL * y * r > c) break;
			if (mp[r]) continue;
			// 检查是否存在x属于a，使得 x/y == r，而r不属于a 
			int dl = y * r, dr = min(1LL * y * (r + 1) - 1, 1LL * c);
			if (sum[dr] - sum[dl-1]) {
				flag = 0;
			}
		}
	}
	printf("%s\n", flag ? "Yes" : "No");
	
}
int main() {
	int t;
	scanf("%d", &t);
	while (t--) {
		solve();
	}
}