题意
给定(s,n),把(s+1,s+2,...,s+n)这(n)个数填到(1,2,...,n)里,要求(x)只能填到(x)的因子的位置(即题目中(x\%y=0)那么x才能放在y位置的要求),问是否能够把所有数都填上去。
分析
建模之后就是条二分图的板子题。
注意到一个有趣的事实:如果([s+1,s+n])中有两个质数,那他们肯定完蛋。因为它们一定都会和1连边然后翻车。
这意味着什么呢?在(10^9)的范围里面,质数最大的间隔是282(我抄网上的结论的,正确不保证,反正不多),那么我们就可以认定如果n比这个数更大一定是No。
然后就可以快乐建图了,把取模为0的建一条有向边,看看最后能否找到完美匹配即可。
实现上,s应当比n大。为什么?如果(s<n),那么([s+1,n])直接放在自己的位置上即可,因为不可能放在比他们更大的地方了(集合的交):那爽死了,我们只需要考虑([1,s])与剩下([n+1,s+n])的匹配即可,这个东西的实质就是n、s交换。有没有其他数(k)放在这些位置上面(如一个数(x))然后这些数字没法放到其他数字的反例呢?没有哦,因为如果(k)能放在([s+1,n])的对应位置,那么作为这个数本身的(x)一定能放在(k)上。所以得到结论:可以直接将(s)和(n)调换来缩小(n)。
代码
#include <iostream>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <stack>
#define MP make_pair
#define PB push_back
#define fi first
#define se second
#define ZERO(x) memset((x), 0, sizeof(x))
#define ALL(x) (x).begin(),(x).end()
#define rep(i, a, b) for (int i = (a); i <= (b); ++i)
#define per(i, a, b) for (int i = (a); i >= (b); --i)
#define QUICKIO
ios::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
#define MS(x,y) memset(x,y,sizeof(x))
using namespace std;
typedef long long ll;
const int MAXN=2018;// actually, max distance: 282
bool mat[MAXN][MAXN];
bool is_prime(int x)
{
if(x<=1) return false;
else for(ll k=2;k*k<=ll(x);++k)
{
if(x%k==0) return false;
}
return true;
}
int linker[MAXN];
bool vis[MAXN];
int n;
bool dfs(int x)
{
rep(i,1,n) if(mat[x][i] && !vis[i])
{
vis[i]=true;
if(linker[i]==-1 || dfs(linker[i]))
{
linker[i]=x;
return true;
}
}
return false;
}
int hungary()
{
MS(linker,-1);
int ans=0;
rep(i,1,n)
{
ZERO(vis); // 注意这一行,应当是每一次清空
if(dfs(i)) ans++;
}
return ans;
}
int main()
{
int T; scanf("%d",&T);
rep(kase, 1, T)
{
int primecnt=0;
int s;
ZERO(mat);
scanf("%d%d", &n, &s);
if(s<n) swap(s,n); // s should be bigger
if(n>1000)
{
printf("Case #%d: No
", kase);
continue;
}
rep(i,1,n)
{
if(is_prime(s+i)) primecnt++;
if(primecnt>1) break;
}
if(primecnt<=1)
{
rep(i,1,n)
{
int t=s+i;
rep(j,1,n) if(t%j==0)
mat[i][j]=true;
}
if(hungary()!=n)
printf("Case #%d: No
", kase);
else printf("Case #%d: Yes
", kase);
}
else printf("Case #%d: No
", kase);
}
return 0;
}