摘要：
BSGS $Big\ Step\ Giant\ Step$,大步小步法，一种在$O(\sqrt{p})$内求解方程$a^x\equiv b (mod\ p)$的算法。 先考虑$p$为质数的情况。 令$x=im-j$，$m=\lceil \sqrt{p} \rceil$（注意是上取整，要保证大步比小步 阅读全文
摘要：
Miller-Rabin素性测试算法： 根据费马小定理当p为素数时成立，所以如果存在一个a使x不满足此定理，则x必然不为素数。 但这是充分条件而不是必要条件，所以对于每个a，可能存在满足定理的x，这时就要选取多个a同时检测，这种验证素性的方法即为Miller-Rabin算法。 当a取2,3,5,7时 阅读全文