拓展欧几里得解线性同余方程(exgcd)
拓展欧几里得解线性同余方程裴蜀定理:ax+by=gcd(a,b)必有解下面用g表示gcd(a,b)证明:两侧同除g,令a’=a/g,b’=b/g;则有:ax+by=gcd(a,b) <=> a’x+b’y=1;证明:(1)根据欧几里得算法,bx+(a%b)y=gcd(a,b)成立与 ax+by=gcd(a,b)成立 互为充要条件(2)当欧几里得算法进行到最后一步时,a=1,b=0,此时令x=1,y=0即构造出一个特解,使得a’x+b’y=1成立,(3)对递归过程应用应用数
原创
2021-10-03 23:49:03 ·
252 阅读 ·
0 评论