题解：P12540 [XJTUPC 2025] 离散对数

· · 题解

注意到 b=(c-a)p+a 符合条件，如果此时 b<0 则令 b\to b+p(p-1) 即可，复杂度 \mathcal{O}(1)。

证明：a^b\equiv a^{b-(p-1)(c-a)}=a^c\equiv a^b\pmod p。