首先我们来认识一下离散对数


离散对数是一种在整数中基于同余运算和原根的对数运算。当模

离散对数(关于方程x^A=B(mod C)的解)_离散对数

有原根时,设

离散对数(关于方程x^A=B(mod C)的解)_同余方程_02

为模

离散对数(关于方程x^A=B(mod C)的解)_离散对数

的一个原根,则当

离散对数(关于方程x^A=B(mod C)的解)_原根_04

时,

离散对数(关于方程x^A=B(mod C)的解)_离散对数_05

。此处的

离散对数(关于方程x^A=B(mod C)的解)_离散对数_06


离散对数(关于方程x^A=B(mod C)的解)_同余方程_07

以整数

离散对数(关于方程x^A=B(mod C)的解)_同余方程_02

为底模

离散对数(关于方程x^A=B(mod C)的解)_原根_09

的离散对数值。


之前做过一个题,题意是这样的:求同余方程

离散对数(关于方程x^A=B(mod C)的解)_同余方程_10

的解,其中

离散对数(关于方程x^A=B(mod C)的解)_离散对数_11

是素数。


分析:对于本题,我们利用离散对数的知识,先求模

离散对数(关于方程x^A=B(mod C)的解)_离散对数_11

的一个原根

离散对数(关于方程x^A=B(mod C)的解)_同余方程_02

,那么就有

离散对数(关于方程x^A=B(mod C)的解)_原根_14

,对于

离散对数(关于方程x^A=B(mod C)的解)_原根_15

,用Baby Step Giant Step能很好地解决,那么这样我们再用扩展欧几里得算法可以计算出

离散对数(关于方程x^A=B(mod C)的解)_离散对数_16

,快速幂再进一步求

离散对数(关于方程x^A=B(mod C)的解)_同余方程_07

,所以这样本题完美解决。


那么,如果

离散对数(关于方程x^A=B(mod C)的解)_离散对数_11

为合数呢?


其实,如果

离散对数(关于方程x^A=B(mod C)的解)_离散对数_11

为合数,我们要做的第一件事就是把

离散对数(关于方程x^A=B(mod C)的解)_离散对数_11

素因子分解,即

离散对数(关于方程x^A=B(mod C)的解)_离散对数_21

,那么我们分别计算

离散对数(关于方程x^A=B(mod C)的解)_离散对数_22

,然后用CRT合并即可。


那么对于

离散对数(关于方程x^A=B(mod C)的解)_离散对数_22

,有两种情况:


   (1)

离散对数(关于方程x^A=B(mod C)的解)_同余方程_24

   (2)

离散对数(关于方程x^A=B(mod C)的解)_原根_25


对于情况(1),我们就直接先求原根,然后利用离散对数来解决。

而对于情况(2),我们有

离散对数(关于方程x^A=B(mod C)的解)_离散对数_26

,这样就转化为情况(1)了。


假设对于每个

离散对数(关于方程x^A=B(mod C)的解)_离散对数_22

的解的个数为

离散对数(关于方程x^A=B(mod C)的解)_原根_28

,那么方程

离散对数(关于方程x^A=B(mod C)的解)_同余方程_10

的解的个数为

离散对数(关于方程x^A=B(mod C)的解)_离散对数_30




题目:http://acm.hdu.edu.cn/showproblem.php?pid=3731

题目:http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1123