upd--7.6 原线性求逆元代码有另一种更优写法

  • 题目链接:

    https://www.luogu.org/problemnew/show/P3811

  • 概念:

    一想到JXOI 2018考场上忘记逆元怎么打就觉得好笑,白白让T1落得如此下场.

    推荐阅读:https://www.luogu.org/blog/zjp-shadow/cheng-fa-ni-yuan

    我们可能经常遇到这样的情况(如JXOI2018 T1)

    计算一个类似\(a/b\)%\(p\)的式子,根据同余性质我们是不能$a \(%p\) /b \(%p\) $这样计算的

    但如果在普通算式中,显然\(a/b\)=\(a*b^-1\)。

    在\(\pmod p\)中的意义下,我们不妨也构造一个\(b^-1\),使得\(b*b^{-1} \equiv 1 \pmod{p}\);

    那么\(a/b \pmod p \equiv a*b^{-1} \pmod p\),对于一开始的问题,我们可以放心地将\(a\)%\(p\),然后乘上\(b\)在\(\pmod p\)意义下的逆元,太方便了

    这就引出了逆元的定义:

    若\(b*x \equiv 1 \pmod{p}\)且\(b,p\)互质,则\(x\)为\(b\)在\(\pmod p\)意义下的逆元 ,记作\(b^-1\)

  • 思路:

    算逆元一般有三种算法

    • 拓展欧几里得

      根据定义,若要求\(b\)在\(\pmod p\)意义下的逆元,就是求\(b*x \equiv 1 \pmod{p}\)中的x,转化成线性同余方程\(b*x+p*y=1\),接着就用拓欧跑一遍就好

    • 费马小定理

      若p是质数,则对于任意正整数b,有\(b^{p} \equiv b \pmod{p}\)

      所以\(b^{p-1} \equiv 1 \pmod{p}\) 把b继续拆得到

      \(b*b^{p-2} \equiv 1 \pmod{p}\)

      对照上面逆元定义,我们只用求\(b^{p-2} \pmod p\)

    • 线性递推

      设\(p=k*i+r\) 所以\(k=\left \lfloor \frac{p}{i} \right \rfloor,r=p \mod i\)

      所以\(k*i+r \equiv 0 \pmod p\) 同时乘以\(i^{-1},r^{-1}\)

      \(k*r^{-1}+i^{-1} \equiv 0 \pmod p\)移项

      \(i^{-1} \equiv -k*r^{-1} \pmod p\)

      \(i^{-1} \equiv -\left \lfloor \frac{p}{i} \right \rfloor*{(p \mod i)}^{-1}\pmod p\)

      我们把所有的逆元存在inv[]数组里,那么

      inv[i]=-((p/i)*inv[p%i]%p);
      while(inv[i]<0)inv[i]+=p;

      或者更优的写法

      inv[i]=(ll)(p-(p/i))*inv[p%i]%p;

      当然inv[1]=1;

  • 代码:

    • 拓欧+费马小定理

include

include

include

include

include

define LL long long

using namespace std;

LL mod(LL a,LL b)

{

if(a<b)return a;

if(a==b)return 0;

else return a-a/b*b;

}

LL pow_mod(LL a, LL b, LL p){//a的b次方求余p

LL ret = 1;

while(b){

if(b & 1) ret = mod((ret * a) ,p);

a =mod((a * a) ,p);

b >>= 1;

}

return ret;

}

LL Fermat(LL a, LL p){//费马求a关于b的逆元

return pow_mod(a, p-2, p);

}

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, mod(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 ? (mod(x,p) + p) % p : -1;

}

int main()

{

int op;

LL a,p;

cin>>a>>p;

for(int i=1;i<=a;i++)cout<<inv(i,p)<<endl;

return 0;

}

```

  • 线性递推
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <cctype>
#include <cmath>
#deinfe ll long long
using namespace std;
const int maxn=3000005;
int n,p;
ll inv[maxn];
template <class T>inline void read(T &x){
x=0;int ne=0;char c;
while(!isdigit(c=getchar()))ne=c=='-';
x=c-48;
while(isdigit(c=getchar()))x=(x<<3)+(x<<1)+c-48;
x=ne?-x:x;
return ;
}
inline void make_inv(){
printf("1\n"); //inv[1];
for(register int i=2;i<=n;i++){
inv[i]=-((p/i)*inv[p%i]%p);
while(inv[i]<0)inv[i]+=p;
printf("%lld\n",inv[i]);
}
return ;
}
int main()
{
read(n),read(p);
inv[1]=1;
make_inv();
return 0;
}

luogu题解 P3811 【【模板】乘法逆元】的更多相关文章

  1. 【洛谷P3811】[模板]乘法逆元

    乘法逆元 题目链接 求逆元的三种方式: 1.扩欧 i*x≡1 (mod p) 可以化为:x*i+y*p=1 exgcd求x即可 inline void exgcd(int a,int b,int &a ...

  2. 【ZOJ 3609】Modular Inverse 最小乘法逆元

    The modular modular multiplicative inverse of an integer a modulo m is an integer x such that a-1≡x  ...

  3. 题解 P3811 【【模板】乘法逆元】

    P3811 [模板]乘法逆元 一个刚学数论的萌新,总结了一下这题的大部分做法 //一.费马小定理+快速幂 O(nlogn) 64分 #include<cstdio> using names ...

  4. 逆元-P3811 【模板】乘法逆元-洛谷luogu

    https://www.cnblogs.com/zjp-shadow/p/7773566.html -------------------------------------------------- ...

  5. luogu P3811 【模板】乘法逆元

    题目背景 这是一道模板题 题目描述 给定n,p求1~n中所有整数在模p意义下的乘法逆元. 输入输出格式 输入格式: 一行n,p 输出格式: n行,第i行表示i在模p意义下的逆元. 输入输出样例 输入样 ...

  6. P3811 【模板】乘法逆元

    P3811 [模板]乘法逆元 线性递推逆元模板 #include<iostream> #include<cstdio> #include<cstring> #def ...

  7. [洛谷P3811]【模板】乘法逆元

    P3811 [模板]乘法逆元 题意 求1-n所有整数在模p意义下的逆元. 分析 逆元 如果x满足\(ax=1(\%p)\)(其中a p是给定的数)那么称\(x\)是在\(%p\)意义下\(a\)的逆元 ...

  8. 模板【洛谷P3811】 【模板】乘法逆元

    P3811 [模板]乘法逆元 给定n,p求1~n中所有整数在模p意义下的乘法逆元. T两个点的费马小定理求法: code: #include <iostream> #include < ...

  9. 洛谷 P3811 【模板】乘法逆元

    P3811 [模板]乘法逆元 题目背景 这是一道模板题 题目描述 给定n,p求1~n中所有整数在模p意义下的乘法逆元. 输入输出格式 输入格式: 一行n,p 输出格式: n行,第i行表示i在模p意义下 ...

随机推荐

  1. Flume-Exec Source 监控单个本地文件

    实时监控,并上传到 HDFS 中. 一.Flume 要想将数据输出到 HDFS,须持有 Hadoop 相关 jar 包 若 Hadoop 环境和 Flume 在同一节点,那么只要配置 Hadoop 环 ...

  2. P4127 [AHOI2009]同类分布

    P4127 [AHOI2009]同类分布 题解 好的,敲上数位DP  DFS板子 记录一下填的各位数字之和 sum ,然后记录一下原数 yuan 最后判断一下  yuan%sum==0 不就好啦??? ...

  3. 微信一键登录(微信OAuth2.0)

    1.注册微信开放平台https://open.weixin.qq.com,一定要清楚微信开放平台和微信公众平台是分别独立的,不能共用. 2.登录进入——管理中心,网站应用,创建网站应用.填写申请,企业 ...

  4. Matlab获取一个文件夹下所有文件名

    Matlab获取一个文件夹下所有文件名: fileFolder=fullfile('D:\MATLAB\bin\trc'); dirOutput=dir(fullfile(fileFolder,'*. ...

  5. 在业务控制方法中写入模型变量收集参数,且使用@InitBind来解决字符串转日期类型

    1)  在默认情况下,springmvc不能将String类型转成java.util.Date类型,所有我们只能在Action 中自定义类型转换器 <form action="${pa ...

  6. CSS 背景色变化 结构化伪类的练习

    CSS3的nth-child() 选择器(兼容性不好),在做表格偶数行变色的时候,我通常在绑定的时候,做一个js判断,来加一个css,从而使表格偶数行和奇数行颜色不一样.这样的兼容性很好. 但是最近在 ...

  7. 改进后的socket轮子,欢迎挑战

    运行环境.net core2.1 下载地址

  8. Product - 产品经理 - 转型

    特别说明 本文是已读书籍的学习笔记和内容摘要,原文内容有少部分改动,并添加一些相关信息,但总体不影响原文表达. - ISBN: 9787568041591 - https://book.douban. ...

  9. 小程序插件使用wx.createSelectorQuery()获取不到节点信息

    发现小程序一个bug, 在小程序插件中使用wx.createSelectorQuery()获取不到节点信息,需要在后面加入in(this) 例如: const query = wx.createSel ...

  10. UUID相同导致的网络连接问题

    目录 场景 思路 解决过程 提升虚拟机配置 直连交换机 最终解决方案 总结 场景 有同事从公司寄了一台服务器到现场,用来安装数据库.缓存等组件供开发使用.到了之后,连接电源.网线,设置IP,用vSph ...