数论
Gcd 以及 EX_Gcd
学习了一下gcd和拓展gcd。之前一直以为是十分难得东西, 其实好像没有那么复杂。
Gcd(最小公倍数) 我们使用欧几里得算法来求解最小公倍数问题, 代码如下:
1 | int gcd(int x, int y ){ |
这个一行的代码可以快速求出两数的gcd, 时间复杂度为O(logn),效率还算不错。
lcm 如果我们已经求出了两个数的gcd,那么只需要一个式子就可以求出两数的lcm了:
1 | inline int lcm(int a, int b) { |
引理
有一个叫做裴蜀等式或者贝祖等式的东西, 可以方便我们来求拓展gcd。 大概内容就是 ax+by=z 有整数解当且仅当 gcd(a,b) | z时存在整数解。并且当裴蜀等式有解时该方程必然有无穷多个整数解,每组解x、y都称为裴蜀数,可用扩展欧几里得算法(Extended Euclidean algorithm)求得。
然后就是拓展欧几里得算法了, 这个算法的目的是求出类似于ax+by=z 形势的一个二元一次方程的可行解,因为二元一次方程是不定方程, 可能存在多组解的情况。而拓展gcd就是求出一组可行解。证明如下, 之后再加上代码:
从网上摘了一个证明:
1 | 设:a>b。 |
这样我们就找到了递推关系:
递推的终止条件再上面也已经给出:
Code:
1 | void Ex_gcd(int a, int b, int& d, int &x, int &y) { |
附带一个很良心的手推过程:
1 | exgcd(47, 30, x, y) |
乘法逆元
下面来说一个和拓展欧几里得定理十分有关的一个东西就是乘法逆元,我们一般在模算术中出现过膜的加法, 膜的减法, 膜的乘法等。我们把一些数被一个数膜的集合叫做这个数的完全剩余系,写为:
我们还定义如果n的完全剩余系中的数字还和n互素, 那么这些数组成的集合叫做n的是简化剩余系又叫做简系
但是我们在做题的会出现一些除法取模的问题, 这时候我们发现在数论的领域里没有分数这种东西, 这时候我们会发现我们需要寻找ab = 1的b这个数,也可以叫做a^-1。 而这个b也就叫做a在膜n下的逆, 也叫作乘法逆元。
1. 拓展欧几里得
乘法逆元可以有很多种做法, 先写一下比较一般的写法:
这个式子的推导就把a的逆元x用不定方程表示了出来, 直接把这个方程带进exgcd去解即可:
1 | int inv(int a, int p) { |
如果返回负一则这个数没有逆元 复杂度O(log n) 。
2. 费马小定理
费马小定理的式子是这样的:
所以当模数是一个质数的时候,可以用费马小定理求解,即
直接快速幂: power_mod(a, p-2, mod);(一定要记清这个不是一般情况的求法, 仅限于膜数是一个质数的时候)
1 | int power(int a, int b, int p) { |
3.线性递推
O(n)O(n)的时间可以处理出1~n 在mod p 意义下的逆元。那么我们就可以做到线性递推 :
1 | inv[i] = (mod-mod/i) * inv[mod % i] % mod; |
线性递推的证明过程:
1 | 设 x = p % a,y = p / a; (y就是p/a的商, x就是p/a后的余数) |
网上扒了一段代码粘上来: 几种求逆元的方法
1 |
|
中国剩余定理
本篇博客正在编写中…