P12540 [XJTUPC 2025] 离散对数

· · 题解

不难发现左式只和 b \bmod (p-1) 有关，右式只和 b \bmod p 有关。而 p \perp (p-1)，于是两个取模的结果可以任取，总能 CRT 得到一个答案。

于是直接令 b \equiv 0 \pmod {(p-1)} 且 b \equiv 1 \pmod p 即可。解得 b=(p-1)^2。