逆元相关知识点、求法(快速幂,拓展欧几里得,线性算法,阶乘的逆元)及拓展欧几里得算法的应用

本文主要是介绍逆元相关知识点、求法(快速幂,拓展欧几里得,线性算法,阶乘的逆元)及拓展欧几里得算法的应用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

概念:

若xy≡1 (mod p),且gcd(x,p)=1(gcd函数是求x,y的最大公约数),则称x关于模p的乘法逆元为y。
那么除以y相当于乘以x(模p情况下)。值得注意的是x
(y+k*p)≡1(mod p),逆元不止一个,求最小的就可以;

几个定理or算法:

1.费马小定理:x^(p-1) ≡1 (mod p),p为素数,x不为p的倍数,若x为p的倍数则x^p ≡p (mod p)。那么当gcd(x,p)=1时,x * x^(p-2) ≡ 1(mod p),即x关于模p的逆元为x^(p-2)。则快速幂可求得逆元。

2.欧拉定理:a^φ(n)≡1(mod n) ,gcd(a,n)=1,函数φ(n)求数1到n与n互质的数的个数,当n为素数p的时候则为费马小定理。

3.欧几里得算法:即辗转相除法。

4.扩展欧几里得算法:已知整数a, b一定可以求解一组x,y(整数),使它们满足贝祖等式: ax+by = gcd(a, b) =d。

5 贝祖定理,方程ax+by=c有整数解的条件是gcd(a,b) | c。

用法:
1)这个算法可以用来求已知a,b的二元一次方程ax+by =z的整数解。但是前提是gcd(a,b) | z,否则没有整数解。(增加一个判断,例题POJ1061青蛙的约会)

2) 还可以用来求乘法的逆元a∗x≡1(mod p)—>a∗x+y∗p=1—>a∗x+b∗y=1(把p换成b),那么x是a关于b( p )的乘法逆元,y是b( p )的关于a的乘法逆元。(gcd(a*x,b)=1,b=p)

然而无论是用来求整数解还是求逆元都要对贝祖方程求解。

具体求法,代码及例题

拓展欧几里得算法:

1 求法

首先要对贝祖方程进行求解:
1)当b=0时,gcd(a,b)=a , ax+by=a–>x=1,y=0
2) 当b!=0时,
设方程1:ax+by=gcd(a,b),
方程2:bx1+(a%b)x1=gcd(b,a%b)
由欧几里得算法可得gcd(a,b)=gcd(b,a%b)=…=gcd(c,0) (///欧几里得算法的递推过程,c为a,b的最大公约数)
那么ax+by=bx1+(a-a/b*b)y1—>ax+by=ay1+b(x1-a/by1)—>x=y1 , y=x1-a/by1,由此我们可以知道x,y的解可由下一个x1,y1的解的得到,而递归到最后时,b=0,gcd(a,b)=a , ax+by=a–>x=1,y=0,这个时候x,y的值根据x=y1 , y=x1-a/by1一层一层的往回带,最后可以得到初始的x,y值。

2 代码:

typedef long long ll;
ll exgcd(ll a,ll b,ll &x,ll &y)
{if(a==0&&b==0) return -1;///注意这种极端情况if(b==0){x=1,y=0;return a;}int r=exgcd(b

这篇关于逆元相关知识点、求法(快速幂,拓展欧几里得,线性算法,阶乘的逆元)及拓展欧几里得算法的应用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/646128

相关文章

SpringBoot3应用中集成和使用Spring Retry的实践记录

《SpringBoot3应用中集成和使用SpringRetry的实践记录》SpringRetry为SpringBoot3提供重试机制,支持注解和编程式两种方式,可配置重试策略与监听器,适用于临时性故... 目录1. 简介2. 环境准备3. 使用方式3.1 注解方式 基础使用自定义重试策略失败恢复机制注意事项

一文详解如何在idea中快速搭建一个Spring Boot项目

《一文详解如何在idea中快速搭建一个SpringBoot项目》IntelliJIDEA作为Java开发者的‌首选IDE‌,深度集成SpringBoot支持,可一键生成项目骨架、智能配置依赖,这篇文... 目录前言1、创建项目名称2、勾选需要的依赖3、在setting中检查maven4、编写数据源5、开启热

CSS3中的字体及相关属性详解

《CSS3中的字体及相关属性详解》:本文主要介绍了CSS3中的字体及相关属性,详细内容请阅读本文,希望能对你有所帮助... 字体网页字体的三个来源:用户机器上安装的字体,放心使用。保存在第三方网站上的字体,例如Typekit和Google,可以link标签链接到你的页面上。保存在你自己Web服务器上的字

Python使用Tkinter打造一个完整的桌面应用

《Python使用Tkinter打造一个完整的桌面应用》在Python生态中,Tkinter就像一把瑞士军刀,它没有花哨的特效,却能快速搭建出实用的图形界面,作为Python自带的标准库,无需安装即可... 目录一、界面搭建:像搭积木一样组合控件二、菜单系统:给应用装上“控制中枢”三、事件驱动:让界面“活”

如何确定哪些软件是Mac系统自带的? Mac系统内置应用查看技巧

《如何确定哪些软件是Mac系统自带的?Mac系统内置应用查看技巧》如何确定哪些软件是Mac系统自带的?mac系统中有很多自带的应用,想要看看哪些是系统自带,该怎么查看呢?下面我们就来看看Mac系统内... 在MAC电脑上,可以使用以下方法来确定哪些软件是系统自带的:1.应用程序文件夹打开应用程序文件夹

Python Flask 库及应用场景

《PythonFlask库及应用场景》Flask是Python生态中​轻量级且高度灵活的Web开发框架,基于WerkzeugWSGI工具库和Jinja2模板引擎构建,下面给大家介绍PythonFl... 目录一、Flask 库简介二、核心组件与架构三、常用函数与核心操作 ​1. 基础应用搭建​2. 路由与参

Spring Boot中的YML配置列表及应用小结

《SpringBoot中的YML配置列表及应用小结》在SpringBoot中使用YAML进行列表的配置不仅简洁明了,还能提高代码的可读性和可维护性,:本文主要介绍SpringBoot中的YML配... 目录YAML列表的基础语法在Spring Boot中的应用从YAML读取列表列表中的复杂对象其他注意事项总

MybatisX快速生成增删改查的方法示例

《MybatisX快速生成增删改查的方法示例》MybatisX是基于IDEA的MyBatis/MyBatis-Plus开发插件,本文主要介绍了MybatisX快速生成增删改查的方法示例,文中通过示例代... 目录1 安装2 基本功能2.1 XML跳转2.2 代码生成2.2.1 生成.xml中的sql语句头2

8种快速易用的Python Matplotlib数据可视化方法汇总(附源码)

《8种快速易用的PythonMatplotlib数据可视化方法汇总(附源码)》你是否曾经面对一堆复杂的数据,却不知道如何让它们变得直观易懂?别慌,Python的Matplotlib库是你数据可视化的... 目录引言1. 折线图(Line Plot)——趋势分析2. 柱状图(Bar Chart)——对比分析3

电脑系统Hosts文件原理和应用分享

《电脑系统Hosts文件原理和应用分享》Hosts是一个没有扩展名的系统文件,当用户在浏览器中输入一个需要登录的网址时,系统会首先自动从Hosts文件中寻找对应的IP地址,一旦找到,系统会立即打开对应... Hosts是一个没有扩展名的系统文件,可以用记事本等工具打开,其作用就是将一些常用的网址域名与其对应