题目描述:因为原题看不了,那就只能描述一下大意,给出两个正整数n,m(1≤n,m≤10^9),判断能否通过让n乘以一个正整数k再对m取模来生成一个余数i,使i组成的集合必定包含区间[0,m-1]内的所有整数,即{i|i=(n*k)%m,k∈N}=[0,m-1]。
分析:
这道题做的时候主要靠蒙的,就觉得当n,m互质的时候才能满足{i|i=(n*k)%m,k∈N}=[0,m-1],然后用暴力的方法输了几组发现真的都是这样,就用__gcd(n,m)==1判断直接交了。第二天推了一下,感觉就是拓展欧几里得,拓展欧几里得:给予二整数 a 与 b, 必存在有整数 x 与 y 使得ax + by = gcd(a,b)(x或y有一个可以是负数),那么互质的时候可以写成ax-by=1(x,y都为正整数),即ax÷b=y...1,那么等式两边同乘以j(j∈[1,b]),等式变成(j*x)*a-(y*j)*b=j,即(j*x)*a÷b=(y*j)...j,令j*x=k,k*a%b=j,j∈[1,b],但b模b之后为0,所以j∈[0,b-1],所以{i|i=(n*k)%m,k∈N}=[0,m-1]。