数论
文章平均质量分 73
整数学的
zero_orez6
这个作者很懒,什么都没留下…
展开
-
高斯消元——约旦消元法
高斯消元相关原创 2022-07-03 21:42:05 · 320 阅读 · 0 评论 -
[数论]中国剩余定理
题目给出你n个同余式,求解一个x满足一下同余式。{x≡a1(mod m1)x≡a2(mod m2)......x≡an(mod mn)\begin{cases}x\equiv a_1(mod\ m_1)\\x\equiv a_2(mod\ m_2)\\......\\x\equiv a_n(mod\ m_n)\end{cases}⎩⎪⎪⎪⎨⎪⎪⎪⎧x≡a1(mod m1)x≡a2(mod m2)......x≡an(mod mn)原创 2021-05-11 18:44:27 · 59 阅读 · 0 评论 -
[数论] 互质与欧拉函数
定义对于任意两整数a,ba,ba,b,若gcd(a,b)=1gcd(a,b)=1gcd(a,b)=1,则称a,ba,ba,b互质。对于三个数或更多数的情况,我们称gcd(a,b,c)gcd(a,b,c)gcd(a,b,c)为a,b,ca,b,ca,b,c互质,若gcd(a,b)=gcd(b,c)=gcd(a,c)=1gcd(a,b)=gcd(b,c)=gcd(a,c)=1gcd(a,b)=gcd(b,c)=gcd(a,c)=1,则称a,b,ca,b,ca,b,c两两互质。欧拉定理对于正整数n,欧拉函原创 2021-05-06 16:18:19 · 810 阅读 · 3 评论 -
[数论] 质数
定义在正整数中,若一个数的因数只有1和他本身,那么这个数被称为质数,否则为合数。注意,1既不是质数,也不是合数。证明那么如何证明一个正整数是不是质数呢(⊙o⊙)?想必很多同学想到从2枚举到n−1n-1n−1,若其中有nnn的因数,nnn就是合数,否则为质数bool pd(int n){ for(int i=2;i<n;i++) { if(n%i==0) return 0; } return 1;}这样的话复杂度较高,为O(n)O(n)O(n)。大家可以仔细思考一下,若n原创 2021-05-04 19:37:22 · 104 阅读 · 0 评论 -
[数论] 约数
定义对于两个正整数a,b,存在最大的x使得a%x== 0 ,b%x==0,那么我们称x为a,b的最大公因数,即gcd(a,b)=xgcd(a,b)=xgcd(a,b)=x.若存在一个最小的正整数y,使得y%a== 0,y%b==0,则称y为a,b的最小公倍数,即lcm(a,b)=ylcm(a,b)=ylcm(a,b)=y.gcd和lcm还满足lcm(a,b)=a∗b/hcd(a,b)lcm(a,b)=a*b/hcd(a,b)lcm(a,b)=a∗b/hcd(a,b).证明对于gcd(a,b)的计原创 2021-05-05 14:40:21 · 211 阅读 · 0 评论 -
[数论] 逆元(附扩欧证明)
定义设a在模M的情况下逆元为b,那么a,b满足a*b%M=1。a在模M意义下的存在的充要条件为gcd(a,M)=1,逆元主要用来解决数论中出发取模的问题,例如用inv(a)表示a在模M下的逆元,(a/b)%M=(a*inv(b))%M。扩展欧几里得算法求逆元扩展欧几里得算法主要用来求解a∗x+b∗y=gcd(a,b)a*x+b*y=gcd(a,b)a∗x+b∗y=gcd(a,b)我们可以发现当gcd(a,b)=1时,x刚好是a在模b下的逆元假设我们要处理a∗x+b∗y=1a*x+b*y=1a∗原创 2021-05-05 21:39:17 · 211 阅读 · 0 评论 -
基本组合数
唯一数分解定理对于大于1的自然数x,可以唯一的分解为x=p1q1∗p2q2…∗pnqnx=p_1^{q1}*p_2^{q2}…*p_n^{qn}x=p1q1∗p2q2…∗pnqn其中p1,p2…pnp_1,p_2…p_np1,p2…pn为互不相同的质数。欧拉定理对于正整数n,欧拉函数φ(n)\varphi(n)φ(n)是小于等于n中与n互质的数的个数(φ(1)=1)(\varphi(1)=1)(φ(1)=1)那么有:φ(n)=∏1m(1−1/pi)\varphi(n)=\prod_原创 2021-05-05 23:39:47 · 173 阅读 · 0 评论 -
[数论]扩展中国剩余定理(EX-CRT)
前言CRT和EX-CRT目的都是为了解决同余的问题,但他们在方法上有着本质的区别,这篇文章主要用数学归纳法来证明EX-CRT。问题给你nnn个同余式子{x≡a1(mod m1)x≡a2(mod m2)......x≡an(mod mn)\begin{cases}x\equiv a_1(mod\ m_1)\\x\equiv a_2(mod\ m_2)\\......\\x\equiv a_n(mod\ m_n)\end{cases}⎩⎪⎪⎪⎨⎪⎪⎪⎧x≡a1(mod&原创 2021-05-06 11:29:36 · 159 阅读 · 0 评论