转：https://blog.csdn.net/deaidai/article/details/76474018
编程竞赛有相当一部分题目的结果过于庞大，整数类型无法存储，往往只要求输出取模的结果。
例如(a+b)%p,若a+b的结果我们存储不了，再去取模，结果显然不对，我们为了防止溢出，可以先分别对a取模,b取模，再求和，输出的结果相同。
a mod b表示a除以b的余数。有下面的公式：
(a + b) % p = (a%p + b%p) %p
(a - b) % p = ((a%p - b%p) + p) %p
(a * b) % p = (a%p)*(b%p) %p
注意对于除法取模，我们不能直接分别取模了，详见逆元。
快速幂取模
typedef long long LL;
LL pow_mod(LL a,LL b,LL p){//快速幂取模
LL ans=1,base=a;
while(b>0){
if(b&1) //n%2==1
ans=ans*base%p;
base=base*base%p;
b>>=1;// b/=2
}
return ans;
}
1
2
3
4
5
6
7
8
9
10
11
快速乘法取模
当我们计算a*b%mod的时候，往往较大的数计算a＊b会超出数据的范围，这个时候使用快速乘法方法能解决上述问题．
快速乘法的原理是把数分解为多项式相加。举个例子：
30*14 = 30*(1110)2 = 30*(2^3)1+30(2^2)1+30(2^1)1+30(2^0)*0=240+120+60=420
typedef long long LL;
LL q_mul(LL a, LL b, LL p){//快速乘法取模
LL ans = 0;
while (b){
if(b&1LL) ans=(ans+a)%p;
//or ans=(ans+(b%2*a)%p)%p;
a = (a +a) % p;
b >>= 1;
}
return ans;
}
逆元/数论的倒数 - 对于倒数取模运算用逆元
逆元概念引入
(a + b) % p = (a%p + b%p) %p （对）
(a - b) % p = (a%p - b%p) %p （对）
(a * b) % p = (a%p * b%p) %p （对）
(a / b) % p = (a%p / b%p) %p （错）
对于除法取模不能这样，例如(100/50)%20 = 2 ≠ (100%20) / (50%20) %20 = 0
对于一些题目，我们必须在中间过程中进行求余，否则数字太大，电脑存不下，那如果这个算式中出现除法，我们是不是对这个算式就无法计算了呢？
这时就需要逆元了
a*inv(a)=1
又对于a*b=1(mod p) b不一定是a的倒数，但是如果求余，我们可以把b看作a的倒数，并称b叫做a关于p的逆元。记b=inv（a）。
前提条件a和p互质，a才有关于p的逆元
那么对于除法取模我们就好解决了。
(a / b) % p = (a * inv(a) ) % p = (a % p * inv(a) % p) % p
具体实现
费马小定理
定理内容，如果p为质数，gcd(a,p)=1，那么a^(p-1) ≡1 (mod p)
- a^(p-2) ≡1/a (mod p)
a^(p-2) ≡ inv(a) (mod p)
inv(a) = a^(p-2) (mod p)
- 时间复杂度为O(logn)
typedef long long LL;
LL fermat(LL a,LL p)//费马求a关于b的逆元
{
return pow_mod(a,p-2,p);
}
扩展欧几里德算法
公式a∗x+b∗y=gcd(a,b) 。
若a，b互质且有解，则有a∗x+b∗y=1。
当我们要求a关于b的逆元，我们可以这样看。
a*x % b + b*y % b = 1 % b
a*x % b = 1 % b
a*x = 1 (mod b)
可见，扩展欧几里德算法可以实现逆元。
typedef long long LL;
void ex_gcd(LL a, LL b, LL &x, LL &y, LL &d){//扩展欧几里德
if (!b) {d = a, x = 1, y = 0;}
else{
ex_gcd(b, a % b, y, x, d);
y -= x * (a / b);
}
}
LL inv(LL t, LL p){//如果不存在，返回-1
LL d, x, y;
ex_gcd(t, p, x, y, d);
return d == 1 ? (x % p + p) % p : -1;
}
---------------------
作者：HyperDai
来源：CSDN
原文：https://blog.csdn.net/deaidai/article/details/76474018?utm_source=copy
版权声明：本文为博主原创文章，转载请附上博文链接！
