cf1649D-Integral Array（数学+枚举+前缀和）

传送门

题意

给定一个含有 $n$ 个元素的数组，其中的最大元素不超过 $c$，在该数组中任取两个数 $x$ 、$y$（允许 $x==y$ ），要求 $\lfloor \frac{x}{y}\rfloor$ 所得结果也在该数组中，问该数组是否满足条件。

D题了怎么可能还用暴力就能过呢 ，设 $\lfloor \frac{x}{y}\rfloor$ 所得结果为 $i$ ，那么可以反推出 $x$ 的范围为 $i\ast y\le x＜(i+1)\ast y$ ，由此可以逆向的从数组中枚举每一个 $y$ ，以及不在数组中的 $i$ ，若在 $[i\ast y,(i+1)\ast y-1]$ 区间内存在数组中的数，则不可满足条件。

然而如果采用 $map$ 标记暴力寻找该区间内是否有数也是十分消耗时间的，因此衍生出了新的做法：采用前缀和查看该区间内是否有数字出现，原理如下：

（这该死的题居然卡 memset ）

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=1e6+5;
int s[N],cnt[N];

void solve(){
	int n,c,x;
	cin>>n>>c;
	for(int i=1;i<=c;i++){//memset会喜提TLE
		cnt[i]=s[i]=0;
	}
	for(int i=1;i<=n;i++){
		cin>>x;
		cnt[x]=1;
	} 
	for(int i=1;i<=c;++i)//前缀和处理
		s[i]=s[i-1]+cnt[i];
		
	for(int i=1;i<=c;++i){//枚举y
		if(!cnt[i])
			continue;
		for(int j=1;j*i<=c;++j){
			int r=min(c,(j+1)*i-1);
			int l=j*i-1;
			if(s[r]-s[l]>0&&!cnt[j]){
				cout<<"No\n";
				return ;
			}
		}
	}
	cout<<"Yes\n";
}

signed main(){
	int t;
	cin >> t;
	while(t--){
		solve();
	}
}