欧几里得算法(辗转相除法)

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了欧几里得算法(辗转相除法)相关的知识,希望对你有一定的参考价值。

欧几里得算法   gcd(a,b)=gcd(b,a mod(b));

   $start:

     hypo: r=a mod b,  d=gcd(a,b);

     $: a=kb+r;        

     $: r/d= a/d-(kb)/d;

     $: r mod d=0;

       $: if d=gcd(a,b) then d <- gcd(r);

     $: if d=gcd(a,b) then  d|r; 

     hypo:  A=gcd(a,b) :set;  B= gcd(b,r) :set; C=gcd(a,r) :set;

     $: A<- B && A<- C;

    hypo:  d‘=gcd(b,r);

     $: a/d‘= kb/d‘ +r/d‘;

     $: d‘|a $: B<-A;

     $:A=B;              

     $end; 

以上是关于欧几里得算法(辗转相除法)的主要内容,如果未能解决你的问题,请参考以下文章

欧几里得算法(辗转相除法)

欧几里得算法(辗转相除法)计算最大公约数

欧几里得算法

[算法]求满足要求的进制(辗转相除(欧几里得算法),求最大公约数gcd)

欧几里得算法和扩欧

欧几里得&扩展欧几里得算法