大步小步算法是一种可以在\(O(\sqrt{p})\)的时间内求出形如\(a^x\equivb\pmod{p}\)或\(x^a\equivb\pmod{p}\)的算法，其实思想异常的简单，这里介绍一下第一种我们发

从昨天调到今天，刚调过总结一下。exBSGS是解决\(a^{l}\equivb(\modp)(\gcd(a,p)\ne1)\)求最小非负整数\(l\)的问题。\(a^{l-1}\timesa\equivb(\modp)\)$a^{l-1}\ti

程序的语义：程序P表示一个状态的转换，而状态是指一个从变量到值得映射。大步语义：给定程序c和状态s和t，$(c,s)\Rightarrowt$表示程序c可以把状态s转换到状态t。大步语义-s

大步小步算法（babystepgiantstep，BSGS）是一种用来求解离散对数（即模意义下对数）的算法，即给出\(a^x\equivb\pmodm\)中\(a,b,m\)的值（这里保证\(a\)和\(m\)互质，求