热门标签 | HotTags
当前位置:  开发笔记 > 程序员 > 正文

专题整理:数论(1)

本博客包含:乘法逆元三种求法、同余方程、拓展欧几里得、欧拉定理等一、题目链接:https:www.luogu.com.cnproblemP3811二、题目描述&引入概念给定n,p(

本博客包含:乘法逆元三种求法、同余方程、拓展欧几里得、欧拉定理等


一、题目链接:https://www.luogu.com.cn/problem/P3811


二、题目描述&引入概念

给定n,p(1<=n<=3*106,n

20000528,p为质数)求1~n中所有整数在模p意义下的乘法逆元。

什么是逆元?

简单来说,就是某个数倒数,只不过这个倒数是在取模意义下的倒数,在某个模数下,某个数乘以其逆元后取模要等于1,。

用式子来表示就是ax≡1(mod p),此时x称为a在mod p意义下的乘法逆元。

举例来说,a=10,p=13.当x=4的时候,(4*10)%13=1,则称10为4在模13意义下的逆元。

显然某个a在模某个p意义下的逆元不止一个。


三、求逆元方法一----拓展欧几里得


3-1、辗转相除法(欧几里得法)求最小公倍数

基本原理是:两个数的最大公约数等于它们中较小的数和两数之差的最大公约数。因此不断通过辗转相除减小两数大小求得最大公约数(gcd)

简单证明:设k为a和b(a>b)的最大公约数,a=n1·k,b=n2·k。又a%b=a-(a/b)·b,故a%b=k·(n1-a/b*n2),它和b的最大公因数仍为k。

 

inline int gcd(int a,int b)
{
if(0==b) return a;
else return gcd(b,a%b);
}

3-2、同余方程

3-2-1、题目地址:https://www.luogu.com.cn/problem/P1082

题目描述:给定a和b,求关于同余方程ax≡1(mod b)的最小整数解。

可以看出此时的x就是a在%b意义下的最小逆元。

我们将ax≡1(mod b)转换一下可以得到ax+by=1,并且此时y应当是一个负数。


3-2-2、裴蜀定理

内容:若a与b是整数,且gcd(a,b)=d,则对于任意整数x,y。ax+by必定是d的倍数。特别地,一定存在x和y,使ax+by=gcd(a,b)成立。

也可以这样表述:对于不定方程ax+by=m,其有解的充要条件是m整除gcd(a,b)。

推论:a,b互质的充要条件是存在整数x,y使ax+by=1。

由此我们可以得知a和b是互质的,gcd(a,b)=1。

裴蜀定理证明

必要性的证明比较显然,由于a和b整除gcd(a,b),故m=ax+by必定整除gcd(a,b)

充分性的证明则需要用到扩展欧几里得。


3-3、拓展欧几里得


3-3-1、简述:

用于求解ax+by=gcd(a,b)的所有整数解的一种算法。

思路首先算出一组公式的一组特解,然后推广到所有解中去。


3-3-2、如何求特解:

由辗转相除法知道gcd(a,b)=gcd(b,a%b);

ax+by=gcd(a,b)------(1)

设bx+(a%b)y=gcd(b,a%b) -----(2)。

假设有一组解x0,y0满足式子(2),则有

bx0+(a%b)y0=gcd(b,a%b)=gcd(a,b)=ax+by又a%b=a-(a/b)·b

故bx0+(a%b)y0=ax+by=bx0+(a-a/b*b)y0=b(x0-a/b*y0)+ay0

即ax+by=ay0+b(x0-a/b*y0)

所以有x=y0,y=x0-a/by0

当a=gcd(a,b)时,易知有一个解为x0=1,y0=0。

利用递归法就可以求得特解。


代码:

inline void exgcd(int a,int b)
{
if(b==0){x=1;y=0;return ;} //由于x和y是不断变化的,所以x和y被设为了全局变量
else
{
exgcd(b,a
%b);
int k;
k
=x-a/b*y;
x
=y;
y
=k;
return ;
}
}

通过本方法,我们可以:

1、求得该题的同余方程的一个特解,如何得到最小解思路在后面。

2、证明裴蜀定理的充分性(即当m整除gcd(a,b)时,ax+by=m有解)

证明如下:由扩展欧几里得得知ax+by=gcd(a,b)有解x0,y0。设m=k*d,易知x=k*x0,y=k*y0为方程解。

3、求得乘法逆元。


3-3-3、如何推广所有解:

先说结论:

x=x0+(b/gcd(a,b))*t

y=y0-(a/gcd(a,b))*t

推导:

ax+by=gcd(a,b)=ax0+by0

同时除以gcd(a,b)有

a/gcd(a,b)*(x-x0)=b/gcd(a,b)*(y0-y)

已知a/gcd(a,b)和b/gcd(a,b)互质

所以通过以上式子可以看出,当x0减小的时候,y0相应的应当增加

又由于x和y为整数,距离X0和y0最近的整数解就是x+b/gcd(a,b)和y0-a/gcd(a,b)

故x=x0+b/gcd(a,b)*t

y=y0-a/gcd(a,b)*t

因此,对于同余方程那题,我们得到一个特解后,假设lim=b/gcd(a,b),只需要将(x0%lim+lim)%lim可得答案

又由于题目中的gcd(a,b)=1,故lim=b,x=(x0%lim+lim)%lim。


四、求逆元方法二------费马小定理


4-1、快速幂

利用数二进制性质快速求取ax的大小。

基本思路:二进制的每一位对应一个十进制的值,将幂次转为二进制,相当于每次将指数对半分而底数进行平方运算,然后从小往大相乘,可以将O(n)的逐个相乘的复杂度降为O(longn)。

举例:假设x=11,其二进制是1011,故可将ax=a2^0*a2^1*a2^3

代码:

inline int ksm(int a,int b)
{
int ans=1,lim=a;
while(b>0)
{
if(b&1)
{
ans
*=lim;
ans
%=p;
}
lim
*=lim;
lim
%=p;
b
>>=1;
}
return ans;
}

4-2、费马小定理


4-2-1、简述

若a是不能被质数p整除的正整数,则有ap-1≡1(mod p)

故a*ap-2推知ap-2为a的逆元。


4-2-2、证明

引论1:若a,b,c为三个整数,m为正整数,(m,c)=1则当a*cb*c(mod m)时,ab(mod p)

 引论1证明:用取模运算的性质易证,(a*b)%p=(a%p*b%p)%p。

引论2:设m为整数且m>1,b为整数且(m,b)=1若a1,a2···an为模m的一个完全剩余系,则b*a1,b*a2,b*a3···b*an亦为其完全剩余系。

剩余类由关于模m同余的数的集合,每一个集合叫做关于模m同余的剩余系

比如模5的一个剩余系:0,3,6,9...

完全剩余系:在模n的剩余类中各取一个元素,则这n个数就构成了模n的一个完全剩余系。

比如模3的一个完全剩余系:0,1,2

引论2证明:假设存在两个数b*a1和b*a2模p同余,则由取模运算性质可知((b%p)*(a1%p))%p=((b%p)*(a2%p))%p此时易知a1≡a2(mod p),与完全剩余系的定义相违背,舍去。

费马小定理证明:

构造模p的一个完全剩余系{0,1,2,3…p-1}

则{0,a1,2a1…(p-1)*a1}亦为其剩余系故将其中的正数相乘有:

1*2*3*...*(p-1)≡a1*2a1*3a1...(p-1)*a1(mod p)

→(p-1)!≡a1p-1*(p-1)!(mod p)

→a1p-1≡1(mod p)

得证。

代码:

inline ll ksm(ll a,ll b)
{
ll ans
=1,lim=a;
while(b>0)
{
if(b&1)
{
ans
*=lim;
ans
%=p;
}
lim
*=lim;
lim
%=p;
b
>>=1;
}
return ans;
}
int main()
{
read(n);read(p);
for(ll i=1;i<=n;i++)
{
printf(
"%lld\n",ksm(i,p-2));
}
return 0;
}

也可以使用欧拉函数和欧拉定理证明


4-3、欧拉函数&欧拉定理


4-3-1、欧拉函数

欧拉函数φ(x)表示小于等于n中与n互质的数的数目(故有φ(1)=1)

欧拉函数通式:

通式推导:

假设x为质数p的k次幂

φ(x)=pk-pk-1=(p-1)*pk-1

由分解质因数可知n=p1a1*p2a2*p3a3...pkak

由乘法定理有φ(n)=∏(pi-1)*papi-1=n*∏(1-1/pi)


4-3-2、性质:

欧拉函数是不完全积性函数

积性函数:若a,b互质且f(ab)=f(a)*f(b),则f(x)是积性函数

完全积性函数:若a,b不互质且也有f(ab)=f(a)*f(b),则f(x)是完全积性函数

例如φ(12)=φ(22*31)=φ(22)*φ(31)=4


4-3-3、欧拉定理

内容:若a、n(n>2)为互质正整数,则有aφ(n)≡1(mod n)

证明(和费马小定理证明方法相似):

1、设x1,x2...xn为小于n的与n互质的数字,ax1ax2...axn对n取模后模数互不相同且获得的集合是x1,x2...xn

举例:4有1,3,若a为3,则3,9对4取模后为3,1。

证明方法与4-2-2的引论2的证明方法一致。

故x1*x2*...*xn≡ax1*ax2*...*axn(mod n)

→aφ(n)≡1(mod n)

费马小定理就是当欧拉定理中的n为质数时的特殊形式。

五、求逆元方法三——线性算法

5-1、优化

费马小定理简便,拓展欧几里得算法通用,但是它们都有一个缺点,那就是耗时过多,对于这题的数据上限来说肯定是要超时的,我们考虑推导O(n)的线性算法

设p=k*i+r(1

k*i+r≡0(mod p)

同时乘以i-1和r-1

k*r-1+i-1≡0(mod p)

→i-1≡-k*r-1(mod p)

→i-1≡-[p/i]*(p%i)-1(mod p)


5-2、代码

int main()
{
read(n);read(p);
inv[
1]=1;
for(int i=2;i

p;
for(int i=1;i<=n;i++) printf("%lld\n",inv[i]);
return 0;
}

 



推荐阅读
  • 本文详细介绍了 BERT 模型中 Transformer 的 Attention 机制,包括其原理、实现代码以及在自然语言处理中的应用。通过结合多个权威资源,帮助读者全面理解这一关键技术。 ... [详细]
  • QUIC协议:快速UDP互联网连接
    QUIC(Quick UDP Internet Connections)是谷歌开发的一种旨在提高网络性能和安全性的传输层协议。它基于UDP,并结合了TLS级别的安全性,提供了更高效、更可靠的互联网通信方式。 ... [详细]
  • PyCharm下载与安装指南
    本文详细介绍如何从官方渠道下载并安装PyCharm集成开发环境(IDE),涵盖Windows、macOS和Linux系统,同时提供详细的安装步骤及配置建议。 ... [详细]
  • 资源推荐 | TensorFlow官方中文教程助力英语非母语者学习
    来源:机器之心。本文详细介绍了TensorFlow官方提供的中文版教程和指南,帮助开发者更好地理解和应用这一强大的开源机器学习平台。 ... [详细]
  • Java 中 Writer flush()方法,示例 ... [详细]
  • 技术分享:从动态网站提取站点密钥的解决方案
    本文探讨了如何从动态网站中提取站点密钥,特别是针对验证码(reCAPTCHA)的处理方法。通过结合Selenium和requests库,提供了详细的代码示例和优化建议。 ... [详细]
  • 本文探讨了如何像程序员一样思考,强调了将复杂问题分解为更小模块的重要性,并讨论了如何通过妥善管理和复用已有代码来提高编程效率。 ... [详细]
  • python的交互模式怎么输出名文汉字[python常见问题]
    在命令行模式下敲命令python,就看到类似如下的一堆文本输出,然后就进入到Python交互模式,它的提示符是>>>,此时我们可以使用print() ... [详细]
  • 火星商店问题:线段树分治与持久化Trie树的应用
    本题涉及编号为1至n的火星商店,每个商店有一个永久商品价值v。操作包括每天在指定商店增加一个新商品,以及查询某段时间内某些商店中所有商品(含永久商品)与给定密码值的最大异或结果。通过线段树分治和持久化Trie树来高效解决此问题。 ... [详细]
  • Java 中的 BigDecimal pow()方法,示例 ... [详细]
  • 本文总结了汇编语言中第五至第八章的关键知识点,涵盖间接寻址、指令格式、安全编程空间、逻辑运算指令及数据重复定义等内容。通过详细解析这些内容,帮助读者更好地理解和应用汇编语言的高级特性。 ... [详细]
  • 探讨如何高效使用FastJSON进行JSON数据解析,特别是从复杂嵌套结构中提取特定字段值的方法。 ... [详细]
  • 本文详细介绍了如何在Linux系统上安装和配置Smokeping,以实现对网络链路质量的实时监控。通过详细的步骤和必要的依赖包安装,确保用户能够顺利完成部署并优化其网络性能监控。 ... [详细]
  • 本文详细介绍了如何使用Maven高效管理多模块项目,涵盖项目结构设计、依赖管理和构建优化等方面。通过具体的实例和配置说明,帮助开发者更好地理解和应用Maven在复杂项目中的优势。 ... [详细]
  • 本文介绍了如何在具备多个IP地址的FTP服务器环境中,通过动态地址端口复用和地址转换技术优化网络配置。重点讨论了2Mb/s DDN专线连接、Cisco 2611路由器及内部网络地址规划。 ... [详细]
author-avatar
菁菁da小姐认_194
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有