知识点简单总结——BSGS与EXBSGS

知识点简单总结——BSGS与EXBSGS

BSGS

给出 $ A,B,C,(A,C)=1 $ ，要你求最小的 $ x $ ，使得 $ A^x \equiv B(mod \ C) $ 。

在数论题中经常会看见这样的式子，而它的用处确实也不少，例如：
求指标
。。。想不到了（被打）

解题思路

众所周知 $ A^{x} \equiv A^{x \ mod \ \phi (C) }(mod \ C) $

所以考虑暴力枚举就可以。

但是我们显然要考虑一个更快的。

分块就好了。

设块大小 $ m $ ，预处理出 $ A^{1,2,...,m-1} $ 扔进哈希表。

剩下的应该不难了，经典分块一般的操作。

枚举每一个 $ i $ ,左式 $ =A^{im} $ 时哈希表里是否存在一个值 $ z $ 使得 $ A^{im}*z \equiv B(mod \ C) $ ，存在的话就返回该最小答案。

EXBSGS

同上，唯一变化就是不保证 $ (A,C)=1 $ 。

既然它不给保证那就我们自己让它转化成 $ (A,C)=1 $ 。

对于 $ A^x \equiv B(mod \ C),(A,C)=d $ ，直接全都除以 $ d $ ，

（如果 $ B \ mod \ d \neq 0 $ 直接无解）

变成 $ (A/d)*A^{x-1} \equiv B/d(mod \ C/d) $ 。

此时仍然无法保证 $ A $ 与 $ C/d $ 互质，

那么就重复以上操作直到互质。

然后就没了。