BSGS（大步小步） 算法 学习小记

问题

以下方程
$$x^y\equiv z(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
已知$x$,$z$求$y$

解法

根据费马小定理有$a^{\varphi (p)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$
所以答案上界是$\varphi (p)$
令$m=\sqrt{\varphi (p)}$
那么假设$y=am+b$
则
$$x^{am+b}\equiv z(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
$$x^b\equiv z\ast x^{-am}(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
那么将$x^b$用hash存起来，显然只有m个。
然后枚举a，右边与左边匹配就行了，也是只有m个。
复杂度就是根号级别的了。

由于没找到程序，就不贴了。