timus 1204. Idempotents【思路】

题意：给出一个等式(x*x=x(mod n) ===> x*x(mod n)=x(mod n),x<10^9,n为两个不一样的素数的乘积.

这里给出n，按增序输出所有满足上述等式条件小于n的非负整数值!

传送门:timus 1204

推:  x*x(mod n)=x(mod n)===>x*(x-1)(mod n)=0

用p，q表示n拆分的素数

求p、q这个就不推理了,分配一个数组存1~100000之间的素数

可得 x*(x-1)(mod (p*q))=0 ===>x*(x-1)=k*p*q  (k为非负整数)

其中x<p*q,所有就有两种情况 x%p==0&&x%q==1 和x%p==1&&x%q==0

其中p、q>1,所有0 和1满足条件

又gcd(p,q)=1,情况一可写成  k2*q+k1*p=1

情况二可写成  k1*p+k2*q=1

分析到这里就很清晰，可以用拓展欧几里得算法解决了

先求出一组k1和k2,这里必定有一个小于0

后面曾一度陷入不可理喻的思维中，只求出一种情况，另一种情况该怎么求呢?

曾经通过调整拓展欧几里得算法参数顺序来求出想要得到另一种情况下的k1,k2值，当然了,结果是不行的!很怂啊!

后来出现了那么一个等式,顿时就知道怎么弄了======> k1*p+k2*q=1===>k1*p+p*q-p*q+k2*q=1===>k1(k1+q)*p+(k2-p)*q=1