码迷,mamicode.com
首页 > 编程语言 > 详细

对拓展欧几里得算法的一点理解

时间:2019-10-23 22:10:02      阅读:129      评论:0      收藏:0      [点我收藏+]

标签:拓展欧几里得   需求   拓展   font   过程   数学   算法   产生   有关   

首先需要明确的一点是:这是一种算法,而非一个证明题。

算法的需求与数学证明题是不一样的,数学证明题要求严谨完整,而算法只需要证明我用到的某个的性质成立即可,相当于是“恰好发现了这一点”。

于是对于拓展欧几里得,我们是从欧几里得算法中发现了一个递推的性质,从而受到启发,产生猜想:可不可以利用递推求出二元一次方程的解?

我们把猜想建立在欧几里得算法之上,利用该算法的递推过程,贯穿该过程来得到想要解决问题的答案。

也就是说,我们仅仅需要证明我们得到的答案是正确的,而并非深刻挖掘欧几里得算法的过程。

拓展欧几里得算法及证明如下:

ax+by=gcd(a,b)

bx`+{a/b}by`=gcd(b,{a/b}b)

由于gcd(a,b)=gcd(b,{a/b}b),

得到ax+by=bx`+{a/b}by`

∵{a/b}=a/b-[a/b]

∴ax+by=bx`+(a/b-[a/b])by`

∴ax+by=bx`+(a-[a/b]b)y`

∴a(x-y`)=b(x`-y-[a/b]y`)

由于当x=y`,y=[a/b]y`-x`时该等式一定成立

//注意这里并不代表x=y`,y=[a/b]y`-x`是该等式的唯一解,而是我们取出了在实际情况中所需要的解

所以我们主观上取这一组解做我们的递归项

//因为这样可以解决我们的问题,可以求解方程

于是我们得到了这个递归公式

★那么说到底我们为什么会想到利用这个方法?

因为当b=0时这个方程的根是已知的x=c,y=任意值.

我们要通过辗转相除法求出与原方程有关联的一个满足b=0的方程。

这里的关联就是递推式,先递到底得到满足b=0的方程,

再把这个b=0的方程的根带入递推式回归到原方程,得到原方程的根。

对拓展欧几里得算法的一点理解

标签:拓展欧几里得   需求   拓展   font   过程   数学   算法   产生   有关   

原文地址:https://www.cnblogs.com/AppleC/p/11332872.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!