社区讨论

CF C 求叉/求证

学术版参与者 9已保存回复 10

讨论操作

快速查看讨论及其快照的属性,并进行相关操作。

当前回复
10 条
当前快照
1 份
快照标识符
@lo3g3n60
此快照首次捕获于
2023/10/24 06:04
2 年前
此快照最后确认于
2023/10/24 06:04
2 年前
查看原帖
CPP
#include<bits/stdc++.h>
using namespace std;
const int N = 110;
using ll = long long;
ll a[N];
int vis[N][N];
bool solve(){
    int n;cin>>n;
    memset(vis,0,sizeof(vis));
    for (int i=1;i<=n;++i) {
        cin>>a[i];
        for (int j=1;j<=n;++j) vis[j][a[i]%j]++;
    }
    for (int i=1;i<=n;++i){
        for (int j=i+1;j<=n;++j){
            if (a[i]==a[j]) return 0;
        }
    }
    for (int i=2;i<=n;++i){
        int cnt=0;
        for (int j=0;j<i;++j) {
            cnt+=vis[i][j]>=2;
        }
        if (cnt==i) return 0;
    }
    return 1;
}
int main(){
    int t;cin>>t;
    while(t--) {
        bool ed=solve();
        if (ed) puts("Yes");
        else puts("No");
    }
    return 0;
}
大题思路是枚举 nn 以内是否存在某个数 kk ,使得 原数组能构成模 kk 意义下的完全剩余系,且每个数至少出现两遍。
存在即无解,否则有解。
赛时乱写的,感觉很假,但过了 system test 。
求hack/证明

回复

10 条回复,欢迎继续交流。

正在加载回复...