本原根和离散对数

1、本原根

根据欧拉定理a^Φ(n)≡ 1 (mod n)，

我们知道，a^Φ(n) (mod n) 会生成一个循环序列集，该序列是周期性的。其周期长是使 a^m≡ 1 (mod n) 成立的最小正幂 m。

当这个最小正幂 m = Φ(n)的时候（简单说就是序列的最小周期为Φ(n)，即 n - 1），我们称 a 是 n 的本原根。

2、离散对数

对任何整数 b 和素数 p 的本原根 a，有唯一的幂 i 使得：

                                                 b ≡ a ⁱ (mod p)，     其中0 ≤ i ≤ (p - 1)

该指数 i 称为以 a 为底（模p）b 的离散对数，记 dlog_{a, p}（b）

针对方程，

                                              y ≡ g^x mod p

对于给定的 g，x，p，很容易求出y。

但是给定 y，g，p，计算 x 非常困难。