前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >除法取模与逆元/费马小定理

除法取模与逆元/费马小定理

作者头像
Angel_Kitty
发布2018-04-09 10:22:58
2K0
发布2018-04-09 10:22:58
举报
文章被收录于专栏:小樱的经验随笔

推导过程如下(摘自Acdreamer博客)

这个为费马小定理,m为素数是费马小定理的前置条件。

求a/b=x(mod M)

只要M是一个素数,而且b不是M的倍数,就可以用一个逆元整数b1,通过 a/b=a*b1 (mod M),只能来以乘换除。 费马小定理:对于素数 M 任意不是 M 的倍数的 b,都有:b ^ (M-1) = 1 (mod M) 于是可以拆成:b*b^(M-2)=1(mod M) 于是:a/b=a/b*(b * b ^ (M-2))=a*(b ^ (M-2)) (mod M)

求a/b=x(mod M)

用扩展欧几里德算法算出b1,然后计算a*b1(mod M)

exgcd(b,M,x,y);   b1=x;

当p是个质数的时候有 inv(a) = (p - p / a) * inv(p % a) % p

证明:

设x = p % a,y = p / a 于是有 x + y * a = p (x + y * a) % p = 0 移项得 x % p = (-y) * a % p x * inv(a) % p = (-y) % p inv(a) = (p - y) * inv(x) % p 于是 inv(a) = (p - p / a) * inv(p % a) % p

然后一直递归到1为止,因为1的逆元就是1

代码语言:javascript
复制
 1 #include<cstdio>
 2 typedef long long LL;
 3 LL inv(LL t, LL p) 
 4 {//求t关于p的逆元,注意:t要小于p,最好传参前先把t%p一下 
 5     return t == 1 ? 1 : (p - p / t) * inv(p % t, p) % p;
 6 }
 7 int main()
 8 {
 9     LL a, p;
10     while(~scanf("%lld%lld", &a, &p))
11     {
12         printf("%lld\n", inv(a%p, p));
13     }
14 }

它可以在O(n)的复杂度内算出n个数的逆元

代码语言:javascript
复制
 1 #include<cstdio>
 2 const int N = 200000 + 5;
 3 const int MOD = (int)1e9 + 7;
 4 int inv[N];
 5 int init()
 6 {
 7     inv[1] = 1;
 8     for(int i = 2; i < N; i ++)
 9         inv[i] = (MOD - MOD / i) * 1ll * inv[MOD % i] % MOD;
10 }
11 int main()
12 {
13     init();
14 }
本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2017-05-12 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档