费马素检验.docVIP

费马素性检验是一种 HYPERLINK /wiki/%E9%9A%8F%E6%9C%BA%E5%8C%96%E7%AE%97%E6%B3%95 \o 随机化算法 随机化算法，判断一个数是 HYPERLINK /wiki/%E5%90%88%E6%95%B0 \o 合数 合数还是可能是素数。 根据 HYPERLINK /wiki/%E8%B4%B9%E9%A9%AC%E5%B0%8F%E5%AE%9A%E7%90%86 \o 费马小定理 费马小定理：如果p是素数，，那么 。 如果我们想知道n是否是素数，我们在中间选取a，看看上面等式是否成立。如果对于数值a等式不成立，那么n是合数。如果有很多的a能够使等式成立，那么我们可以说n 可能是素数，或者 HYPERLINK /wiki/%E4%BC%AA%E7%B4%A0%E6%95%B0 \o 伪素数 伪素数。 在我们检验过程中，有可能我们选取的a都能让等式成立，然而n却是合数。这时等式 被称为Fermat liar。如果我们选取满足下面等式的a 那么a也就是对于n的合数判定的Fermat witness。 [ HYPERLINK /wiki?title=%E8%B4%B9%E9%A9%AC%E7%B4%A0%E6%80%A7%E6%A3%80%E9%AA%8Caction=editsection=2 \o 编辑本节 编辑] 算法以及运行时间 整个算法可以写成是下面两大部： 输入：n需要检验的数；k：参数之一来决定检验需要进行的次数。 输出：当n是合数时，否则可能是素数： 重复k次： 在[1, n ? 1]范围内随机选取a 如果an ? 1 mod n ≠ 1 那么返回合数 返回可能是素数 若使用 HYPERLINK /wiki?title=%E6%A8%A1%E6%8C%87%E6%95%B8%E9%81%8B%E7%AE%97action=edit \o 模指數運算 模指數運算的快速算法，这个算法的运行时间是O(k × log3n)，这里k是一个随机的a需要检验的次数，n是我们想要检验的数。 [ HYPERLINK /wiki?title=%E8%B4%B9%E9%A9%AC%E7%B4%A0%E6%80%A7%E6%A3%80%E9%AA%8Caction=editsection=3 \o 编辑本节 编辑] 缺点 众所周知，对于 HYPERLINK /wiki?title=%E5%8D%A1%E7%B1%B3%E6%AD%87%E7%88%BE%E6%95%B8action=edit \o 卡米歇爾數 卡米歇爾數n，全部的a都會令gcd(a,n)=1，我们称之为fermat liars。尽管卡米歇爾數很是稀有，但是却足够令费马素性检验无法像如 HYPERLINK /wiki?title=%E7%B1%B3%E5%8B%92-%E6%8B%89%E8%B3%93%E7%B4%A0%E6%80%A7%E6%A3%80%E9%AA%8Caction=edit \o 米勒-拉賓素性检验 米勒-拉賓和 HYPERLINK /wiki?title=Solovay-Strassen_primality_testaction=edit \o Solovay-Strassen primality test Solovay-Strassen的 HYPERLINK /wiki/%E7%B4%A0%E6%80%A7%E6%A3%80%E9%AA%8C \o 素性检验 素性检验般，成為被经常實際应用的素性检验。 一般的，如果n 不是卡米歇爾數，那么至少一半的 是 Fermat witnesses。在这里，令 a 为Fermat witness 、 a1, a2, ..., as 为 Fermat liars。那么 所有的 a × ai for i = 1, 2, ..., s 都是 Fermat witnesses 。 [ HYPERLINK /wiki?title=%E8%B4%B9%E9%A9%AC%E7%B4%A0%E6%80%A7%E6%A3%80%E9%AA%8Caction=editsection=4 \o 编辑本节 编辑] 应用 HYPERLINK /wiki/%E5%8A%A0%E5%AF%86 \o 加密 加密程序 HYPERLINK /wiki/PGP \o PGP PGP在算法当中用到了这个素性检验方法。