摘要: 欧几里得算法 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); 阅读全文
posted @ 2017-02-04 11:30 变巨 阅读(212) 评论(0) 推荐(0)