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; }