[蓝桥杯 2022 国 C] 取模
题目描述
给定 n , m n, m n,m,问是否存在两个不同的数 x , y x,y x,y 使得 1 ≤ x < y ≤ m 1 \le x < y \le m 1≤x<y≤m 且 n m o d x = n m o d y n \bmod x = n \bmod y nmodx=nmody。
输入格式
输入包含多组独立的询问。
第一行包含一个整数 T T T 表示询问的组数。
接下来 T T T 行每行包含两个整数 n , m n,m n,m,用一个空格分隔,表示一组询问。
输出格式
输出
T
T
T 行,每行依次对应一组询问的结果。如果存在,输出单词 Yes
;如果不存在,输出单词 No
。
样例 #1
样例输入 #1
3
1 2
5 2
999 99
样例输出 #1
No
No
Yes
提示
对于 20 % 20\% 20% 的评测用例, T ≤ 100 T \le 100 T≤100, n , m ≤ 1000 n, m \le 1000 n,m≤1000;
对于 50 % 50\% 50% 的评测用例, T ≤ 10000 T \le 10000 T≤10000, n , m ≤ 1 0 5 n, m \le 10^5 n,m≤105;
对于所有评测用例, 1 ≤ T ≤ 1 0 5 1\le T \le 10^5 1≤T≤105, 1 ≤ n ≤ 1 0 9 1\le n\le 10^9 1≤n≤109, 2 ≤ m ≤ 1 0 9 2\le m \le 10^9 2≤m≤109。
蓝桥杯 2022 国赛 C 组 C 题。# [蓝桥杯 2022 国 C] 取模
思路
看到这道题,有些困难,首先考虑打表找规律。
然后发现打表出来的数据奇奇怪怪,根本没有规律。于是果断考虑用数学知识证明。
证明
若不存在满足条件的 x,y ,使得题述条件成立。
由于任何数模 1 都为 0而任何数模 2 只能为 0 或 1
故必须有 nmod2=1。
因此 nmod3 不能等于 0 或 1
故只能有nmod3=2 。
以此类推可得当且仅当 nmodi=i−1(i=1,2,3,…,m) 都成立时,不存在满足条件的 x,y 。
而当 m 很大时,一定存在符合条件的 x,y ,打表知 m>18 时一定存在。
因此就可以打出代码了。
代码
#include <bits/stdc++.h>
using namespace std;
#define LL long long
int T,i;LL n,m;
int main() {
cin>>T;
while(T--){
cin>>n>>m;
if(m>=19){puts("Yes");continue;}
for(i=2;i<=m;i++)
if(n%i!=i-1){puts("Yes");--i;break;} //依次判断是否符合条件
if(i==m+1)puts("No");
}
return 0;
}