扩展欧几里德定理.pptVIP

扩展欧几里德定理 对于与不完全为 0 的非负整数 a，b， gcd（a，b）表示 a，b 的最大公约数 那么存在唯一的整数 x，y 使得 gcd（a，b）=ax+by “扩展欧几里德原理”是由“欧几里德原理”扩展来的（PS：废话），有的书上叫“费蜀（Bezout）定理”，总之有个这个事 ? c=gcd(a,b)表示a，b两数的最大公约数，则存在：ax+by=c一定存在整数x，y使等式成立 ? 先说一下“欧几里德原理”，其实就是“辗转相除法”，也就是中国老祖先的“更相减损之术”，这个算法的主要目的是求出两个数的最大公约数，具体是一个递归的过程，简单说来是： ? gcd（a,b）=gcd(b,a mod b) ? 终止条件是：gcd（a,b）中的a mod b=0，然后输出b ? 证明“欧几里德原理（算法）”： （如果看不明白就跳过，本来我是不想写的，如果你达到高中毕业的数学水平就看一看，否则就会像我一样看半天明白了一点）（PS：本人高二） ? 设a,b,c为三个不全为零的整数，且有整数t使：a=b*t+c，则a、b与b、c有相同的公约数，因而，gcd(a,b)=gcd(b,c)，即gcd(a,b)=gcd(b,a-b*t)（证明这个：d是a,b的公约数，则设a=d*i，b=d*j，由a=b*t+c = c=a-b*t = c=d*(i-j*t)，所以，d也是c的公约数） ? 欧几里德算法（辗转相除法）的工作过程如下： 1、a=b*q[1]+r[1] 2、b=r[1]*q[2]+r[2] 3、r1=r[2]*q[3]+r[4] . . . n、r[n-2]=r[n-1]*q[n]+r[n] n+1、r[n-1]=r[n]*q[n+1]+r[n+1] 此时，r[n+1]=0，因为每次带余除法，余数至少减一（因为余数比除数小，这里以第一个式子为例，这个式子相当于a除以b商q[1]余r[1]，这里一定存在br[1]），即br[1]r[2]r[3]…r[n]r[n+1]=0，而b为有限数，因此必有一个最多不超过b的正整数n存在，使得r[n]0，而r[n+1]0，故有 r[n]=gcd(r[n+1],r[n])=gcd(r[n],r[n-1])=…=gcd(r[2],r[1])=gcd(r[1],b)=gcd(a,b) ? 这就是“欧几里德原理（算法）”的证明 ? 扩展“欧几里德原理（算法）”的证明： （同样，如果没有一定的数学水平也是看不了的） ? 其实，刚才已经证明了，因为就是辗转相除法的递推过程，大家如果不明白的话，就自己递归一下（小提示：推出的等式应该是这样的——c=r[n]=ax+by） ? 有一种特殊情况，就是当gcd(a,b)=1时，存在ax+by=1，x,y存在整数解 ? 结论（大家都可以记住的）： a*x+b*y=gcd（a，b）x，y一定有整数解 粗略证明 存在唯一的整数 x，y 使得 gcd（a，b）=ax+by a是gcd的倍数，可设a=i*gcd b是gcd的倍数，可设b=j*gcd 现在要用整数个a,b凑出gcd来 为了分析方便，不妨设ab 不难看出：a-b可被表示出来，且它也是gcd的倍数 因此gcd(a,b)=gcd(b,a-b)=gcd(a,a-b) 实际上如果a=n个b+余数，则可以把n个b都减去 再怎么减，都是gcd的倍数 当n足够大时：a-nb=a mod b 因此gcd(a,b)=gcd(b,a mod b) 欧几里德定理证明结束 从上边证明过程可以看出a-b,a-2b,a-3b,…a-nb都可以被表示出来，且x,y都是整数解 当n足够大时：a-nb=a mod b 即 a mod b可被表示出来，且x,y为整数解 gcd(a,b)=gcd(b,a mod b)等价，且x,y都为整数解 相同子问题 最终gcd可以被表示出来 过河 扩展欧几里德定理 对于与不完全为 0 的非负整数 a，b， 那么存在唯一的整数 x，y 使得 gcd（a，b）=xa+yb 如果a,b互质，则1=xa+yb存在整数解(x,y) 1都能表示了，那其它的数呢？ 所有的正数L都能被表示成ax+by！ 细节x,y可能为负，所以L=a*b就可以保证x,y为正了。 结论：若青蛙每次只能跳a和b,则任意点M后距离超过L的每个点都可被M覆盖到。 在两个石头间转移状态方程变为 f(i)=min{f(j)} （j属于[i-t,i-s]) 若两个石头间距离超过L，则可以变成L 因为超过L后f值不变了，且后边每个位置都可被前边所有的点跳到 L取最坏值(9*10) * a b *