搞懂gcd

最新推荐文章于 2023-04-10 09:00:30 发布

snow zhao

最新推荐文章于 2023-04-10 09:00:30 发布

阅读量921

点赞数

分类专栏： Algorithm 文章标签： gcd

本文链接：https://blog.csdn.net/qq_45359344/article/details/107774539

版权

本文详细介绍了最大公约数（GCD）的概念，包括辗转相除法的证明和实现，裴蜀定理及其推论的阐述，以及拓展欧几里得算法的运用。通过递归和线性组合探讨了GCD的性质，提供了相关代码示例，并讨论了方程解的推广。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

gcd是指最大公约数，如gcd(6, 4)就是指6和4的最大公约数，结果显然是2。

辗转相除法：两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数，即 $\% b)\qquad (a > b且a \% b \neq 0)$

证明：

不妨设 $d = g c d (a, b)$

那么一定存在正整数m和n使得 $a = n d, b = m d$

令 $r=a\%b，k=\lfloor\frac{a}{b}\rfloor$

则 $r = a - k b = (n d) - k (m d) = (n - k m) d$

显然r同样可被d整除，d同样是b和r的公约数

假设t是b和r的公约数，显然t也是a和b的公约数

即a和b的公约数，与b和 $a\%b$ 的公约数是相同的，那么它们的最大公约数肯定也是相同的

代码：

int gcd(int x, int y){
   
	if(y == 0) return x;//倘若y为0了，说明上一次x和y是相等的且都等于最大公约数
    //上一次的y变成了这一次的x，那么我们直接返回x就好了
	return gcd(y, x % y);
}

你也可以用三元操作符?:来简化代码

int gcd(int x, int y){
   
	return y ? gcd(y, x % y) : x;
}

在c++中还有一个函数__gcd()可以直接用来求最大公因数

cout << __gcd(x, y) << endl;

裴蜀定理：若a,b是整数,且 $g c d (a, b) = d$ ，那么对于任意的整数x,y,ax+by都一定是d的倍数，特别地，一定存在整数x,y，使 $a x + b y = d$ 成立。

裴蜀定理的证明：

对于任意的整数x,y,ax+by都一定是d的倍数，这一点很容易证明。我们只证明后面的一定存在整数x,y，使ax+by=d成立