【学习总结】数学-欧几里德定理

描写叙述

欧几里德算法
别名：辗转相除法
用途：计算两个正整数a,b的最大公约数

欧几里德拓展算法
扩展欧几里德算法是用来在已知a, b求解一组x，y，使它们满足等式： ax+by=gcd(a,b)=d(解一定存在，依据数论中的相关定理)。扩展欧几里德经常使用在求解模线性方程及方程组中。

代码

C++ 欧几里德

LL gcd (LL a, LL b) { return b ? gcd(b, a%b) : b; }

C++ 拓展欧几里德

void exgcd (LL a, LL b, LL& d, LL& x, LL& y) { if (b) { d = a; x = 1; y = 0; } else { exgcd(b, a%b, d, y, x); y -= (a/b)*x; } }

简单推导

对于ax+by=c，用拓展欧几里德算法求一对解，|x|+|y|最小的值。当c=k∗gcd(a,b)有整数解，当c!=gcd(a,b)时无解。

• g=gcd(a,b),设x0,y0为ax+by=g的一组解
• 那么ax+by=c的一组解即为x0∗c/g,y0∗c/g
• 若xi=x0∗c/g为整数解，那么有c=k∗g

通解

• x=x0+k∗b′(b′=b/gcd(a,b)
• y=y0+k∗a′(a′=a/gcd(a,b)