ユークリッドの互除法の拡張
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/03 20:59 UTC 版)
「Guarded Command Language」の記事における「ユークリッドの互除法の拡張」の解説
a , b , x , y , u , v := A , B , 1 , 0 , 0 , 1 ; {\displaystyle a,b,x,y,u,v:=A,B,1,0,0,1;} do {\displaystyle {\mbox{do}}} b ≠ 0 → {\displaystyle b\neq 0\rightarrow } q , r := a div b , a mod b ; {\displaystyle q,r:=a\ {\mbox{div}}\ b,a\ {\mbox{mod}}\ b;} a , b , x , y , u , v := b , r , u , v , x − q ∗ u , y − q ∗ v {\displaystyle a,b,x,y,u,v:=b,r,u,v,x-q*u,y-q*v} od {\displaystyle {\mbox{od}}} この繰り返しは b = 0 のとき終了し、その際に各変数は xa + yb = gcd(a,b) の解を格納している。
※この「ユークリッドの互除法の拡張」の解説は、「Guarded Command Language」の解説の一部です。
「ユークリッドの互除法の拡張」を含む「Guarded Command Language」の記事については、「Guarded Command Language」の概要を参照ください。
- ユークリッドの互除法の拡張のページへのリンク