CF922C Cave Painting题解--zhengjun

其实是一道结论题。

因为模完之后一定有 \(k\) 个取模后的结果，而每一个取模之后的结果都在 \([0,k-1]\)中。

\(n\%1=0\)。

而 \(n\%2\) 不能和 \(n\%1\) 的结果相同，所以\(n\%2=1\)

同理得，\(n\%3=2\)

\(\cdots\)

\(n\%k=k-1\)

所以，直接验证皆可以了。

优化：如果 \(k>20\) 直接输出 \(No\)

代码

#include<bits/stdc++.h>
using namespace std;
#define ll long long
ll n,k;
int main(){
    scanf("%lld%lld",&n,&k);
    if(!n&&!k)return 1;
    if(k>20)return printf("No\n"),0;
    ll p=1;
    for(int i=1;i<=k;i++)if(n%i!=i-1)return printf("No\n"),0;
    printf("Yes");
    return printf("\n"),0;
}