D. Integral Array（数学）

最新推荐文章于 2024-10-01 05:07:35 发布

Kingcarry6

最新推荐文章于 2024-10-01 05:07:35 发布

阅读量78

点赞数 1

分类专栏：数学知识文章标签： c++ 算法图论

本文链接：https://blog.csdn.net/Kingcarry6/article/details/129961915

版权

数学知识专栏收录该内容

36 篇文章 0 订阅

订阅专栏

该代码解决了一个编程竞赛中的问题，检查给定数组中是否存在满足特定条件的数对。它使用反证法，通过遍历数组并计算每个数的倍数范围，判断这些范围内是否存在数组内的数，从而确定答案。如果存在不符合条件的数对，则输出NO，否则输出YES。

摘要由CSDN通过智能技术生成

Problem - D - Codeforces

给定一段数，对于其中的如果任意两个数x,y如果满足 x>=y （x/y）(下取整) 的结果也在这段数中就输出YES否则就输出NO，我们假设这个结果是j = （x/y）(下取整)

为了验证这段数是否符合题目的定义，我们选择反证法，看看不在这段数中的数能否和这段数有关系

我们选取集合中的一个数t，和一个不在集合中的数j ，l= t * j ,r=t*j +(t-1)

在【l,r】的这些数除t下取整都等于j，如果原集合中存在[l,r]这些数的某个，就认为当前这段不满足题目的定义输出NO

#include <iostream>
#include <vector>
#include <bits/stdc++.h>
#include <unordered_map>
#include <queue>
#include <algorithm>
#define x first
#define y second
#define pb emplace_back
#define fu(i,a,b) for(int i=a;i<=b; ++ i)
#define fd(i,a,b) for(int i=a;i>=b;	-- i)
#define endl '\n'
#define ms(x,y) memset(x,y,sizeof x)
#define ios ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
using namespace std;


typedef long long LL;
typedef unsigned long long ULL;
typedef vector<vector<LL>> VVL;
typedef vector<vector<int>> VVI;
typedef vector<LL> VL;
typedef vector<bool> VB;
typedef vector<int> VI;
typedef vector<string> VS;
typedef pair<int,int> PII;
typedef vector<PII> VPII;
typedef pair<PII,int> PIII;
typedef pair<double,double> PDD;
typedef pair<double,int> PDI;
typedef pair<char,int> PCI;
typedef pair<string,int> PSI;
typedef pair<int,string> PIS;
typedef pair<int,char> PIC;
typedef pair<LL,LL> PLL;
typedef __int128 i128;
typedef unsigned long long ULL;
const int N =1e5+ 10,M = N * N ,INF = 0x3f3f3f3f,P = 131;
const double eps = 1e-8,DNF = 1e18;
const int mod = 998244353,base= 20010;
const LL LNF=(LL) INF * INF;



inline void solve()
{
	int n,c;cin >> n >> c;
	VI s(c+1),a(n);	
	VB st(c+1); 
	fu(i,0,n-1) cin >> a[i],st[a[i]] = 1;
	
	fu(i,1,c) s[i] = s[i-1] + st[i];// 存在的数 做前缀和 
	
	bool f =1;
	
	// 排序去重 
	sort(a.begin(),a.end());
	a.erase(unique(a.begin(),a.end()),a.end());
	n = a.size();
	
	
	for(int i=0;i<n && f ; i ++ )
	{
		
		int & t = a[i]; // 集合中的数 
		for(int j=1;j<=c && f ; j ++ )
		{
			if((LL)t * j > c ) break;
			if(st[j]) continue; // 找到不在集合中的数 j  
			int l = t * j ,r= min((LL)t * j + (t-1) ,(LL)c);
	// l/t == r / t  = j  ==不在原集合中		
			if(s[r] - s[l-1]) f = 0 ; 
	// 如果 存在 在 [l,r] 之间的数  
			
		}
		
	}
	
	
	cout << (f?"YES":"NO" )<<endl;

}

signed main()
{
//  freopen("1.txt","r",stdin);
//	#define int long long 
//	init(N-1);
    // ios
//	cout << fixed<<setprecision(2);
    int t=1;
    cin>>t;
    int now = 1;
    while(t -- )
    {
//      cout<<"Case "; 
//      cout<<"Case #"; 
//      cout<<"Scenario #"; 
//      cout<< now ++ <<": ";
//      cout<< now ++ <<": \n";
        solve();
    }


    return 0;
}