离散对数-BSGS算法

口胡

参考：扩展大步小步法解决离散对数问题

离散对数主要是求解这样一类问题：

$$a^x\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$$ 大概就是$(\mathrm{m}\mathrm{o}\mathrm{d}m)$意义下的对数

这里只考虑 $(m,a)$为1的情况。一般来说，给出的m是一个质数。

设$x=A\lceil \sqrt{p}\rceil +B$，其中 $0\le B<\lceil \sqrt{p}\rceil$， $0\le A<\lceil \sqrt{p}\rceil$。则方程变成

$$a^{A\lceil \sqrt{p}\rceil +B}\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
两边同时乘以$A\lceil \sqrt{p}\rceil$的逆元，则方程变为
a B ≡ b ⋅ a − A ⌈ p ⌉ ( m o d p ) a^{B} \equiv b\cdot a^{-A\l