gcd算法证明&&递归终止条件证明

于 2021-04-16 14:35:26 发布
阅读量378 收藏 1
点赞数
分类专栏： acm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/capsnever/article/details/115759380
版权
本文探讨了计算最大公因子(GCD)的算法，重点在于算法的正确性和终止条件的证明。算法正确性通过数学逻辑进行阐述，而终止条件的证明基于余数递减原理，指出当a%b等于0时返回b为GCD，否则最终会递归至gcd(c,c-1)，即1，确保了算法的终止。
摘要由CSDN通过智能技术生成

在这里插入图片描述
gcd算法需要注意两件事情
1.算法的正确性。
答：证明如上

2.算法的终止条件的证明（为什么终止条件一定是b==0?）
答：在这里插入图片描述
在这里插入图片描述
也可以这么理解：对于两个数字a,b,他们的最大公因子要么是1 （互素），要么大于1，因为余数是越来越小的，所以如果最后a%b == 0 ,那么直接return a%b即可，如果不是，因为这两个数字是固定的，所以最后a%b一定可以到 1(因为余数一定是最大公因数的倍数)，

此时这个就变成了gcd(c,c-1)即为1
所以得证

Capsfly
关注
专栏目录
数据结构 算法与应用（c++ 描述） 自练答案
qq_57065913的博客
09-12 4492
有不正确请提出 第一章 1.1 应该把形参 换成引用 int x--> int &x 1.2 #include<iostream> using namespace std; template <class T,class T1> //模板形参的类型 int count (T array,int end,T1 value){ int i =0,count=0; while(i<...
【gcd/辗转相除法】gcd/辗转相除法的证明
ZJL_OIJR的博客
02-04 1219
gcd/辗转相除法的证明 此文仅供蒟蒻参考，dalao请我也不记得是左上角还是右上角了。 前言 这不是小学奥数吗？ 数学上来先打表，数论只会gcd。 上面几句话一直打击我学习数论的信心。 不仅只会gcd，连gcd都不会证明，可见我有多菜了。 直到受到某位dalao的指教，我终于证明了gcd。 dalao曰：”数论，数字之理论也。有术曰辗转相除，欲证此术，必先知反对称矣。
关于GCD的证明
qq_33859479的博客
10-15 1044
关于GCD欧几里得算法的证明过程： 证明一： 有两个数 a b 设这两个数的gcd(a,b) = g 那么假设其中比较大的数 a a = k*b +r; 那么当我们对a求对b的最大公约数时 如果没有余数r 那么gcd 就等于b 那么现在有r了 所以gcd 的取值就取决于r了 因为现在我们来看r r一定是个小于b的值 所以a和b的GCD问题就变成了我们现在求得就是r和b的GCD
欧几里得（GCD）算法正确性证明，LCM正确性证明
P19777的博客
11-29 1672
欧几里得算法要解决的是求两个数最大公约数的问题。 gcd(a,b) = gcd(b,a%b) 这个算法的过程可以举个例子来展示，如果我要求168和44的最大公约数，用欧几里得算法可以这样求： 168=44*3+32 44=32*1+12 32=12*2+8 12=8*1+4 8=4*2+0 最终这个4就是最大公约数 证明gcd也就是要证明gcd(a,b) = gcd(b,a%b...
gcd 证明
shqshq110110123的专栏
03-20 847
gcd(m,n) = gcd(n,m mod n);证明 : 令 k = gcd(m , n) ， j = gcd(n, m mod n); 1 因为 m = pn + (m mod n),p为任意正整数 而 j | n 且 j | ( m mod n), 所以 j 是 m 和 n 的公约数 又因为 k是m,n的最大公约数 所以 j <= k . 2
最大公约数(gcd):Euclid算法证明
邱孝兵的博客
11-16 1250
1个常识： 如果 a≥b 并且 b≤a，那么 a=b.   2个前提： 1）只在非负整数范围内讨论两个数 m 和 n 的最大公约数，即 m, n ∈ N. 2）0可以被任何数整除，但是0不能整除任何数，即 ∀x(x|0) and ∀x(0| x).   1个引理： 假设 k|a, k|b，则对任意的 x,y  ∈ Z， k|(xa+yb)均成
递归-欧几里得算法
weisili2000_2000的博客
01-30 2381
注：本文核心部分全部转自leader_one的文章，这里表示十分感谢，这里主要记录学习过程供以后复习！ leader_one：https://blog.csdn.net/leader_one/article/details/75222771 算法描述： 欧几里德算法（Euclidean Algorithm）又称辗转相除法，是指用于计算两个正整数a，b的最大公约数，gcd(a,b )表示a和b的最大...
递归算法习题
04-18
在解决递归算法问题时，重要的是要确保每一步递归操作都能够简化问题规模，且最终能够达到一个递归终止条件。对于每个具体问题，都需要明确递归函数的参数和返回值，确保每次递归调用都是向终止条件靠近，避免产生...
Python基于递归算法求最小公倍数和最大公约数示例
09-20
此外，理解递归算法的关键在于理解基础情况（Base Case）和递归情况（Recursive Case），确保递归函数在某一点会终止，并且每次递归调用都向基础情况靠近。在上述例子中，GCD的基础情况是当a等于b时，而LCM的基础...
基于C语言的递归算法研究.pdf
09-19
基本情况通常是递归终止的条件，而递归步骤则是函数调用自身的部分。在最大公约数的例子中，基本情况是当b为0时，返回a作为最大公约数；递归步骤则是返回b和a%b的最大公约数，其中%表示取余操作。 文章中提到递归...
[算法系列] 搞懂递归, 看这篇就够了 !! 递归设计思路 + 经典例题层层递进
热门推荐
lawfree的博客
01-30 1万+
[算法系列] 搞懂递归, 看这篇就够了 !! 递归设计思路 + 经典例题层层递进 从学习写代码伊始, 总有个坎不好迈过去, 那就是遇上一些有关递归的东西时, 看着简短的代码, 怎么稀里糊涂就出来了. 今天我们就来好好好探讨递归这个东西. 本文结合他的相关概念,引出有关递归程序设计的一些例子,并加以说明, 其旨在更好地理解递归,使用递归. 0 什么是递归? 很多文章对于递归有很深刻的字面上的解释, ...
[HDU 5780] gcd (公式证明)
ymzqwq的博客
08-10 477
做出这题你需要推出一个重要的式子：gcd(xa−1,xb−1)=xgcd(a,b)−1gcd(xa−1,xb−1)=xgcd(a,b)−1gcd(x^a-1,x^b-1)=x^{gcd(a,b)}-1 我这证明可能不算严谨吧。。。。 反正OI不需要证明，只需要感性理解。然而我个人觉得感性理解反而比证明重要啊，证明不就是几个式子套来套去，过几天就忘光了。 不妨设a&amp;gt;ba&amp;gt;ba&gt;b，...
《算法导论》学习笔记——GCD定理的证明
蒟蒻柴犬首相的博客
02-04 574
GCD定理 GCD定理是欧几里得算法的灵魂。欧几里得算法就是我们以前说的“辗转相除法”。 GCD定理： gcd(a,b)=gcd(b,a%b)'>gcd(a,b)=gcd(b,a%b)gcd(a,b)=gcd(b,a%b)gcd(a,b)=gcd(b,a\%b) 证明 我们的证明就是要证明上面两者相互能整除。 设gcd(a,b)=d'>gcd(a,b)=dgcd(a,b)
关于gcd的一些证明思路。
YG爱木木
04-19 403
我们都知道gcd(n,i)=gcd(n,n-i)对于所有的0<=i<=n都是成立的。那么我们来证明一下这个结论： 首先假设gcd(n,i)=k,gcd(n,n-i)=m,那么： 所以我们可以得出：gcd(n,i)=gcd(n,n-i)。同理，我们也可以得出：gcd(n,i)=gcd(n,n+i) 其实我们用这个思路可以证明很多关于gcd的东西。...
关于辗转相除法求gcd的证明
fyc的博客
08-01 499
今晚调半平面交死调不出，不知为什么想到了这个，闲着蛋疼来写一发（其实就是骗访问量） 其实是证明(a,b)=(b%a,a) 假设(a,b)=d,b=ak+r 即(a,ak+r)=d。证(a,r)=d。 因为d|b，d|a，所以d|ak+r 显然有d|r 可以用反证法：设d整除ak且不整除r,但d|ak+r 即ak%d=0,r%d!=0,显然(ak+r)%d!=0。 所以d|r且d|a
扩展欧几里得
01-21 322
转自：http://www.cnblogs.com/frog112111/archive/2012/08/19/2646012.html 欧几里德算法 欧几里德算法又称辗转相除法，用于计算两个整数a,b的最大公约数。 基本算法：设a=qb+r，其中a，b，q，r都是整数，则...
证明：当gcd(a, b) = 1,则gcd(a + b, a) = 1
SprintfWater的专栏
04-16 3253
假设： gcd(a, b) = 1 证明：     gcd(a + b,  b)  = 1 反证法： 假设gcd(a + b, b) = k != 1; 则： b = k * r1 a + b =a +  k * r1 = k * R 两边同时除以k a / k + r1 = R 则要使相等，则a 必须整除k, 则 a = k * r2; 所以gcd(a,
证明：gcd(m,n)=gcd(n mod m,m)成立，m,n为正整数，m＞0. 【Euclid算法证明】
DesertHero2013的博客
04-15 6383
--本文证明部分转载自：http://www.cnblogs.com/ider/archive/2010/11/16/gcd_euclid.html 作者： Ider 网上证明如他所说确实多，但他的我读完刚开始也没理解，后来查下其他资料，比较了下，还是他写的最好， 后面文字说明是我写的心得，建议先看他的证明，再结合我最后的思路。不懂得地方就举一个例子，还是好理解的，我觉得我
欧几里得算法求最大公因数gcd原理证明
chaoguo1234的专栏
06-28 2041
要证明欧几里得算法原理，首先需要证明下面两个定理(其中a，b都是整数)： 1 如果c可以整除a，同时c也可以整除b，那么c就可以整除au + bv(u，v是任意的整数)。 这个定理的证明很简单，$\frac{au + bv}{c} = u\frac{a}{c} + v\frac{b}{c}$，因为c可以整除a、b，那么可以得到c可以整除au + bv。 2 如果a = qb + r，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值