首先我们来认识一下离散对数。
离散对数是一种在整数中基于同余运算和原根的对数运算。当模
有原根时,设
为模
的一个原根,则当
时,
。此处的
是
以整数
为底模
的离散对数值。
之前做过一个题,题意是这样的:求同余方程
的解,其中
是素数。
分析:对于本题,我们利用离散对数的知识,先求模
的一个原根
,那么就有
,对于
,用Baby Step Giant Step能很好地解决,那么这样我们再用扩展欧几里得算法可以计算出
,快速幂再进一步求
,所以这样本题完美解决。
那么,如果
为合数呢?
其实,如果
为合数,我们要做的第一件事就是把
素因子分解,即
,那么我们分别计算
,然后用CRT合并即可。
那么对于
,有两种情况:
(1)
(2)
对于情况(1),我们就直接先求原根,然后利用离散对数来解决。
而对于情况(2),我们有
,这样就转化为情况(1)了。
假设对于每个
的解的个数为
,那么方程
的解的个数为
。
题目:http://acm.hdu.edu.cn/showproblem.php?pid=3731
题目:http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1123