原根与离散对数

本文探讨了原根的概念及其性质,包括阶、原根的求法,以及模m有原根的充要条件。同时,介绍了离散对数的定义,如何通过原根将模m的乘法转换为模φ(m)的加法,并讨论了离散对数的性质。内容中包含了相关算法的实现。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

a l ≡ 1 a^l \equiv 1 al1 ( m o d (mod (mod m ) m) m) 该方程 l l l的最小正整数解成为 a a a在模 m m m意义下的阶,记为 o r d m ( a ) ord_m(a) ordm(a)

原根:设 m m m是正整数, a a a是(正)整数,若 a a a m m m等于 φ ( m ) φ(m) φ(m),则称 a a a为模 m m m的一个原根。




原根的性质

1.设 g g g为模 p p p下的原根,原根保证了 g l ≡ 1 g^{l} \equiv1 gl1 ( m o d (mod (mod p ) p) p)该方程最小正整数解为 φ ( p ) \varphi(p) φ(p),即 g 1 , g 2 . . . g φ ( p ) − 1 g^1,g^2...g^{\varphi(p)-1} g1,g2...gφ(p)1互不同余

2.模 m m m有原根的充要条件是 m = 1 , 2 , 4 , p , 2 p , p n m= 1,2,4,p,2p,p^n m=1,2,4,p,2p,pn,其中 p p p是奇质数, n n n是任意正整数。

3.当模 m m m有原根时它有 φ ( φ ( m ) ) φ(φ(m)) φ(φ(m))个原根




原根的求法

假定模数是 m m m
首先将 φ ( m ) \varphi(m) φ(m)进行素因数分解
φ ( m ) = p 1 c 1 ∗ p 2 c 2 ∗ . . . ∗ p n c n \varphi(m)=p_1^{c_1}*p_2^{c_2}*...*p_n^{c_n} φ(m)=p1c1p2c2...pncn
2 2 2 p − 1 p-1 p1枚举,如果: ∀ p i , g φ ( p ) p i ≠ 1 ( m o d   p ) \forall p_i,g^{\frac{\varphi(p)}{p_i}}\not=1(mod\ p) pi,gpiφ(p)=1(mod p)
(此处不等于就是不同余于),那么 g g g就是 p p p的一个原根

C o d e Code Code

void euler(int n){   //线性求欧拉函数
	phi[1]=1;
	for (register int i=2;i<=n;++i){
		if (!vis[i])	prime[++tot]=i,phi[i]=i-1,vis[i]=i;
		for (register int j=1;j<=tot;++j){
			if (prime[j]>vis[i] || prime[j]*i>n)	break;
			vis[i*prime[j]]=prime[j];
			phi[i*prime[j]]=phi[i]*(i%prime[j]? prime[j]-1 : prime[j]);
		}
	}
}

int PFD(int p,int *prime){    //质因数分解
	int tot=0;
	for (register int i=2;p!=1;++i){
		if (p%i==0)	prime[++tot]=i;
		while (p%i==0)	p/=i;
	}
	return tot;
}

int find_g(int p){    //求原根
	static int prime[MAXM+10];
	int tot=PFD(phi[p],prime),tmp;
	for (register int g=1;g<p;++g){
		tmp=1;
		for (register int i=1;i<=tot;++i){
			if (fastpow(g,phi[i]/prime[i],p)==1){
				tmp=0;
				break;
			}
		}
		if (tmp)	return g;
	}
	return -1;
}



离散对数

当模 m m m有原根时,设 g g g为模 m m m的一个原根,则当: g l ≡ x ( m o d   m ) g^l\equiv x(mod\ m) glx(mod m)
有:
I n d g x ≡ l   ( m o d   φ ( m ) ) Ind_gx\equiv l\ (mod\ \varphi(m)) Indgxl (mod φ(m))
I n d g x Ind_gx Indgx成为底数为 g g g,模 φ ( m ) \varphi(m) φ(m)时的离散对数值

离散对数的性质:(和普通对数相似)
I n d g ( x y ) ≡ I n d g ( x ) + I n d g ( y )   ( m o d   φ ( m ) ) Ind_g(xy)\equiv Ind_g(x)+Ind_g(y)\ (mod\ \varphi(m)) Indg(xy)Indg(x)+Indg(y) (mod φ(m))
I n d g ( x y ) ≡ y ∗ I n d g ( x )   ( m o d   φ ( m ) ) Ind_g(x^y)\equiv y*Ind_g(x)\ (mod\ \varphi(m)) Indg(xy)yIndg(x) (mod φ(m))

离散对数有什么用呢?

它可以把乘法转换成加法,所以利用它就可以将模 m m m同余系下的乘法转化为模 φ ( m ) \varphi(m) φ(m)同余系下的加法问题

只要构造映射,将 x x x映射到 I n d g x Ind_gx Indgx即可
由原根的性质一:该映射是满的单射(一一对应)

C o d e Code Code

g=math::find_g(m);    //找原根
x=g;
for (register int i=1;i<phi[m]++i){
	ind[x]=i;    //开个桶建立映射关系
	x=x*g%m;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值