离散对数介绍

前置知识

欧拉函数$\varphi (n)$

欧拉函数简介

阶

若$g$和$n$互质，则令$g^x\%n=1$的最小正整数$x$称为$g$模$n$的阶。

原根

对于互质的两个正整数$g$和$n$，如果$g$模$n$的阶为$\varphi (n)$，则称$g$为$n$的原根。

求原根

一般的原根都比较小，暴力枚举即可。

离散对数

设$g$为$m$的原根，则当

$$g^k\equiv x(\mathrm{mod}m)$$

时，有

$${\text{Ind}}_{g}x\equiv k(\mathrm{mod}\varphi (m))$$

而且能保证$\forall x\in [1,m-1]$，都存在$k\in [1,m-1]$使得$g^k=x$。

证明

若$\exists x\in [1,m-1]$，不存在$k$使得$g^k=x$

则$\exists y\in [1,m-1]$，存在至少两个$k\in [1,m-1]$使得$g^k=y$

设满足条件的$k$中不同的两个为$k_1$和$k_2$且$k_1<k_2$

则$g^{k_1}\equiv g^{k_2}(\mathrm{mod}m)$

得$g^{k_2-k_1}\equiv 1(\mathrm{mod}m)$

所以$g$不为$m$的原根，矛盾

由此即可得证

离散对数的性质

离散对数的性质与对数函数的性质相似

$${\text{Ind}}_g(xy)={\text{Ind}}_g(x)+{\text{Ind}}_g(y)(\mathrm{mod}\varphi (m))$$

$${\text{Ind}}_g(x^y)=y\cdot {\text{Ind}}_g(x)(\mathrm{mod}\varphi (m))$$

离散对数的作用

可以将模$m$意义下的乘法转换为模$\varphi (m)$意义下的加法，从而更方便地解决问题。

code

int find(int e){
	for(int i=2;i<=e;i++){
		for(int j=1,l=i;j<=e;j++,l=l*i%e){
			if(l==1){
				if(j==e-1) return i;
				break;
			}
		}
	}
}//找原根
void init(){
	int gt=find(m);
	for(int i=0,l=1;i<m-1;i++){
		ind[l]=i;
		l=l*gt%m;
	}
}//求离散对数