问题：
给出a,b,p,求x使得a^x对p取模是b。
1.令r是一个小于根号p范围的数。
2.循环a^0,a^1,a^2......a^r-1，如果有满足条件的，算法结束。
3.否则我们设x=cr-d(为什么是-d呢，主要是为了方便后面把a^d放到右边),然后我们得到了：a^cr对p取模是b*a^d
4.现在我们观察这个式子，其中b*a^d是不变的（0<=d<r），所以我们把所有的b*a^d存入Hash，枚举c小于根号p，再看(a^r)^c是否在Hash中出现
复杂度O(p^(1/2))
原文：http://www.cnblogs.com/gshdyjz/p/7277855.html