EXBSGS

上一篇：$\mathrm{B}\mathrm{S}\mathrm{G}\mathrm{S}算法$
建议先看完上一篇再来看这篇，否则可能就毫无阅读体验了QAQ

本篇虽然是转载文章，但是作者根据自己的理解修改了一些内容。

---

$\text{EXBSGS}算法$可以解决 $p$ 不为质数的情况。

还是这个式子： $a^x\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}p)$
设 $d=\gcd (a,p)$

1. 如果 $d\nmid b$ ，唯一可能的解是 $x=0$ 。如果 $b=1$ ，方程有解。
2. 如果 $d\mid b$ 且 $d=1$ ，这时 $a,p$ 互质，直接用 $\text{BSGS}$ 解即可。

---

3. 如果 $d\mid b$ 且 $d\ne 1$ ，这种情况要重点讨论：
   $\because a^x\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}p)$
   $\therefore a^{x-1}\times \frac{a}{d}\equiv \frac{b}{d}(\mathrm{m}\mathrm{o}\mathrm{d}\frac{p}{d})$
   也就是 $a^{x-1}\equiv \frac{b}{a}(\mathrm{m}\mathrm{o}\mathrm{d}\frac{p}{d})$
   $a^{x-1}\equiv b\times a^{-1}(\mathrm{m}\mathrm{o}\mathrm{d}\frac{p}{d})$
   这个时候，我们发现式子又变成了 $a^x\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 的形式，而且规模也变小了。
   于是我们接着做下去，不断重复上述操作。
   设 $k$ 次后 $a,p$ 互质，那么这时就可以停止操作了。我们记第 $i$ 次时求出的 $d$ 为 $d_i$。
   此时，方程就可以写成 $a^{x-k}\equiv b\times a^{-k}(\mathrm{m}\mathrm{o}\mathrm{d}\frac{p}{{\prod }_{i=1}^k{d}_i})$ 。
   我们已经达到了自己的目的：式子变成了 $a^x\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 的形式，并且式子中 $a,p$ 两部分互质。于是就可以用 $\text{BSGS}$ 解这个方程了。
   然而 $x-k$ 并不能是负的，所以先暴力枚举 $x<k$ 的情况，如果此范围内无解再套用 $\mathrm{B}\mathrm{S}\mathrm{G}\mathrm{S}$ 解方程。显然，算出来的解 $x^{\prime }=x-k$ ，真正的答案 $x$ 就等于 $x^{\prime }+k$ 。
   时间复杂度就是 $枚举+\mathrm{B}\mathrm{S}\mathrm{G}\mathrm{S}$ 的复杂度。容易发现 $k\le \log b$ ，所以算法的时间复杂度就是 $\mathcal{O}(\log b+\sqrt{p})$ 。

---