【学习笔记】Miller–Rabin素数测试

最新推荐文章于 2024-02-01 15:09:49 发布

cz_xuyixuan

最新推荐文章于 2024-02-01 15:09:49 发布

阅读量4.4k

点赞数 10

分类专栏：【类型】学习笔记【算法】Miller–Rabin素数测试【算法】数学

本文链接：https://blog.csdn.net/qq_39972971/article/details/82317212

版权

本文介绍了Miller-Rabin素数测试算法，该算法用于判断一个数是否为质数，单次测试时间复杂度不超过O(Log2N)，具有较高的效率。虽然不是确定性算法，但通过选择特定的测试底数，可以提高判断准确性。文章详细解释了算法原理，包括费马小定理和相关引理，并给出了测试过程。此外，还提供了在不同数值范围内的安全测试底数选择，以确保正确结果。最后，提及该算法在实际问题中的应用。

摘要由CSDN通过智能技术生成

【算法简介】

$MillerRabin$ 素数测试是一种判断一个数是否是质数的方式。

其单次测试的时间复杂度不会超过 $O(Log^2N)$ ，期望为 $O(LogN)$ ，几乎不需要额外的空间。

$MillerRabin$ 素数测试不是一个确定算法，其单次测试有不超过 $\frac{1}{4}$ 的概率会将一个合数误判为一个素数。但当被测试数在某一个范围内时，我们可以通过选取适当的测试底数让 $MillerRabin$ 素数测试对于这个范围内的每一个数都能够正确地得出结果。

【算法流程】

一个质数具有许多合数不具有的性质，例如：

定理 $1$ ：若 $p$ 是质数，则对于任意 $0<a<p$ ，有 $a^{p-1}\equiv1\ (mod\ \ p)$ 。

引理 $2$ ：若 $p$ 是质数，且 $x^2\equiv1\ (mod\ \ p)$ ，那么 $x\equiv1\ (mod\ \ p)$ 和 x≡p−1 (mod