摘要： 参考 题解 P4718/论 Miller-Rabin 算法的确定性化 - 洛谷专栏 Miller Rabin 算法 该算法能够 \(O(\log^3p)\) 判定 \(p\) 是否是质数。 费马素性检测 定理：若 \(p\) 为素数，则 \(\forall a,1\leq a<p\)，有 \(a^{ 阅读全文