exBSGS算法学习笔记

BSGS算法(北上广深算法

用于求解 $a^x\equiv b(modp)$ 的非负整数解 $x$，其中 $(a,p)=1$。

算法过程

令 $x=A\lceil \sqrt{p}\rceil -B$，其中 $A,B\le \lceil \sqrt{p}\rceil$。
那么问题也就转化为找到一组 $A,B$，满足 $a^{A\lceil \sqrt{p}\rceil -B}\equiv b(modp)$。
由于 $(a,p)=1$。
所以 $a^{A\lceil \sqrt{p}\rceil }\equiv b{a}^B(modp)$
暴力枚举 $B$，计算 $b{a}^B$ 的所有值，用哈希表记下该值所对应的最大 $B$。然后暴力枚举 $A$，看 $a^{A\lceil \sqrt{p}\rceil }$ 能否对应到一个 $b{a}^B$。那么一个 $x$ 的值就为 A ⌈ p ⌉ −