扩展欧几里得算法证明过程
来源:互联网 发布:有哪些大数据查询的app 编辑:程序博客网 时间:2024/05/23 16:38
扩展欧几里得算法的证明方法,看了很多书,还是算法导论的证明思路比较容易理解
要证内容gcd(a,b)=ax+by,其中gcd(x,y)是ax+by的最小正元素。x,y是整数
设s是a和b的线性组合集中最小正元素,对某个x,y有s=ax+by。设q=a/s,
则a mod s=a-qs=a-q(ax+by)=a(1-qx+b(-qy),
因此,a mod s也是a,b的一个线性组合,s是这个线性组合中的最小正数,由于0<=a mod s<s,因此有a mod s=0,因此有s|a.类似的可得s|b。s是a和b的公约数,所以gcd(a,b)>=s,由于gcd(a,b)整除a,b.s是a,b的一个线性组合,所以gcd(a,b)|s。(d|a,d|b=>d|(ax+by))所以gcd(a,b)<=s。综上gcd(a,b)=s,因此ax+by的最小正元素s等于gcd(a,b);
要证内容gcd(a,b)=ax+by,其中gcd(x,y)是ax+by的最小正元素。x,y是整数
设s是a和b的线性组合集中最小正元素,对某个x,y有s=ax+by。设q=a/s,
则a mod s=a-qs=a-q(ax+by)=a(1-qx+b(-qy),
因此,a mod s也是a,b的一个线性组合,s是这个线性组合中的最小正数,由于0<=a mod s<s,因此有a mod s=0,因此有s|a.类似的可得s|b。s是a和b的公约数,所以gcd(a,b)>=s,由于gcd(a,b)整除a,b.s是a,b的一个线性组合,所以gcd(a,b)|s。(d|a,d|b=>d|(ax+by))所以gcd(a,b)<=s。综上gcd(a,b)=s,因此ax+by的最小正元素s等于gcd(a,b);
0 0
- 扩展欧几里得算法证明过程
- 欧几里得算法,扩展欧几里得算法及裴蜀定理证明
- 欧几里得&扩展欧几里得算法及相关的数学证明
- 扩展欧几里得算法的非递归实现的证明
- 欧几里得算法(辗转相除)及其扩展证明
- 欧几里得算法的证明
- 证明欧几里得算法
- 证明:欧几里得算法
- 欧几里得算法(辗转相除法)证明过程
- 欧几里得算法&&扩展欧几里得算法
- 欧几里得算法/扩展欧几里得算法
- 欧几里得算法&&扩展欧几里得算法
- 欧几里得、扩展的欧几里得算法
- 欧几里得及欧几里得扩展算法
- 欧几里得、扩展的欧几里得算法 .
- 欧几里得与扩展欧几里得算法
- 欧几里得和扩展欧几里得算法
- 欧几里得和扩展欧几里得算法
- 电子设计不得不说的接地技术
- 修改ubuntu终端的傻不垃圾的背景颜色
- XMG UITabBarController
- Java汉字转拼音pinyin4j用法
- 滤波器
- 扩展欧几里得算法证明过程
- android插件化开发——加载广播
- 轻量级日志类Log
- C# 编码转换 UTF8转GB2312 GB2312转UTF8
- HDU--ACM1004
- ASPX文件转HTML
- Logistic Regression的理解
- 无锁编程
- 4557: [JLoi2016]侦察守卫|树形DP