数论同余基础之--拓展欧几里得定理的解题套路与逆元求法

公式：

存在整数x,y满足x*a+y*b=gcd(a,b)  

 

套路：

①列出式子，x*a-y*b=C(a,b,C为常数)

②调用拓展欧几里得函数，其中x,y为传值调用，可以得到x*a-y*b=gcd(a,b)的x0,y0（是一组特解）

③判断有整数解：C一定要是gcd(a,b)的倍数(gcd(a,b)%C==0)      即 裴蜀定理

④还原特解：*(C/gcd(a,b))      

⑤写出通解：

x=x0+(b/gcd(a,b))*k  (k为整数)

y=y0-(a/gcd(a,b))*k   

（注意正负号！！记下来）

参考：https://blog.csdn.net/sdutstudent/article/details/78795643

 

应用：

经典例题：poj 1061青蛙的约会

①求解不定方程   x*a+y*b=C  

 

②求解同余方程  a*x=C(mod b)，化成ax-by=C 

注意：c=0不用扩展欧几里得，一般求最小公倍数

 

③求解模的逆元   a*x=1(mod b)     a,b互质

  比如A/B %MOD是写成B*x=1(mod MOD)   

而不是直接写成B*X+B*MOD*Y=A,这样得出x后，还要*(A/B)还要%m，相当于没求

 

第二种逆元方法求a^(p-2)，快速幂解决，还可以用递推公式

第三种，不互质通用逆元求法：