博客
这个原名我也不知道叫啥......
就是用来求 \(y^x=z(mod\ p)\)
直接把\(x\)换成\(am-b\),然后式子就变成了\(y^{am}=zy^{b}(mod\ p)\)
于是我们就把右边的所有取值弄一遍,左边所有取值弄一遍
\(m=\sqrt p\),这样复杂度最优是\(\mathcal{O(\sqrt n)}\)的
于是这个东西把数换成矩阵.....