博客
关于我
最大公约数gcd和最小公倍数lcm
阅读量:306 次
发布时间:2019-03-01

本文共 1288 字,大约阅读时间需要 4 分钟。

众所周知,求最大公约数一般辗转相除,代码很短,主要在于证明

int gcd(int x,int y){       if(y==0) return x;    else return gcd(y,x%y);}

也可以写为

int gcd(int a,int b){   	return b ? gcd(b,a%b) : a;}

时间复杂度是 O ( l o g ( a + b ) ) O(log(a+b)) O(log(a+b)),比试除法划算多了。

代码很短,主要看证明。

一开始我想的是设 x x x y y y的最大公约数为 a a a

x = m × a x=m \times a x=m×a y = n × a y=n \times a y=n×a,(这里先保证 x > y x>y x>y)
m m m n n n为互质数
所以 x − y = ( m − n ) × a x-y=(m-n) \times a xy=(mn)×a
此时 x − y x-y xy x x x的最大公约数还是 a a a

但是这里就忽略了一个问题:

我不会证明当 m m m n n n为互质数的时候 ( m − n ) (m-n) (mn) m m m n n n中的任意一个数也是互质数!

所以此方法不够严谨。

当这个博客发出去第一次后,我突发奇想可以加上反证法:

已知 m m m n n n为互质数,若 ( m − n ) (m-n) (mn) m m m不为互质数

则有 ( m − n ) = q × t (m-n)=q \times t (mn)=q×t m = p × t m=p \times t m=p×t,( t t t为大于 1 1 1的整数)
那么 n = ( m − ( m − n ) ) = ( p − q ) × t n=(m-(m-n))=(p-q) \times t n=(m(mn))=(pq)×t
这样的话 n n n m m m就不是互质数了
所以假设不成立
这样的话 g c d ( x , y ) gcd(x,y) gcd(x,y)就等于 g c d ( y , x − y ) gcd(y,x-y) gcd(y,xy)
m o d mod mod就相当于是减去了 a a%b a就相当于 a a a减去了 k k k b b b
这样就省去了很多减的运算
辗转相除到最后,其中一个数为 0 0 0
另一个数即为原来两数的最大公因数

由定义“ ∀ x , y ∈ N \forall x,y\in \N x,yN g c d ( a , b ) × l c m ( a , b ) = a × b gcd(a,b) \times lcm(a,b)=a \times b gcd(a,b)×lcm(a,b)=a×b”可得
int lcm(int x,int y){   	return (a*b/gcd(a,b));}

例题:

∙ \bullet
∙ \bullet

转载地址:http://slro.baihongyu.com/

你可能感兴趣的文章
mysql排序查询
查看>>
MySQL排序的艺术:你真的懂 Order By吗?
查看>>
MySQL排序的艺术:你真的懂 Order By吗?
查看>>
Mysql推荐书籍
查看>>
Mysql插入数据从指定选项中随机选择、插入时间从指定范围随机生成、Navicat使用存储过程模拟插入测试数据
查看>>
MYSQL搜索引擎
查看>>
mysql操作数据表的命令_MySQL数据表操作命令
查看>>
mysql操作日志记录查询_如何使用SpringBoot AOP 记录操作日志、异常日志?
查看>>
MySQL支持的事务隔离级别,以及悲观锁和乐观锁的原理和应用场景?
查看>>
mysql支持表情
查看>>
MySQL支撑百万级流量高并发的网站部署详解
查看>>
MySQL改动rootpassword的多种方法
查看>>
mysql数据分组索引_MYSQL之索引配置方法分类
查看>>
mysql数据取差,mysql屏蔽主外键关联关系
查看>>
MySQL数据和Redis缓存一致性方案详解
查看>>
MySQL数据和Redis缓存一致性方案详解
查看>>
Mysql数据库 InnoDB存储引擎中Master Thread的执行流程
查看>>
MySQL数据库 范式
查看>>
Mysql数据库B-Tree索引
查看>>
mysql数据库io空闲_mysql数据库磁盘io高的排查
查看>>