素性判别课件.ppt

第8章 素性判别 8.1 Fermat小定理 8.2 拟素数和Fermat素性判别 8.3 Euler拟素数与Solovay-StaSSen判别 8.4 强拟素数与Miller-Rabin判别 8.5 利用n-1的因子分解的素性判别 8.6 利用n+1的因子分解的素性判别 8.7 基于椭圆曲线的素性判别 8.1 Fermat小定理 给定一个自然数n，判断n是不是素数，称为素性判别。 若n是素数，整数b与n互素，由Fermat小定理可知 （8-1） 如果能够找到一个与n互素的整数b，使式（8-1）不成立，则可判断n是合数。但相反结论并不成立，即式（8-1）成立时，并不能断定n是素数。实际上，存在这样的合数n，能使式（8-1）对任意与其互素的b都成立。我们称这样的合数为卡米歇尔（Carmichael）数。 例1 例2 故不能用8否定63是素数，但也不能由8肯定63是素数。 8.1 Fermat小定理 在计算模n的方幂 时，将u表成二进制 将b逐次平方得 ，然后将对应 的那些方幂 连乘，并模n。 下面给出Carmichael数的充要条件的分析过程。 设 为Carmichael数，存在整数 ，使 其中 为模 的原根。 模n的阶为 因n为Carmichael数，故 8.1 Fermat小定理 若 ，则 ，但 ，故对一切i有 ，即n没有重因子。 若 ，则 ，由于 ，故 同理 ，因而 ，这不可能，即n至少是三个素因子的乘积。 由分析可知，n为Carmichael数满足上述三个条件，后面会给出严格证明。这里有当 时，当且仅当 n为Carmichael数。 下列这些数都是Carmichael数： 8.1 Fermat小定理 例 561是Carmichael数。 证：因为 ，如果 ，则 由费马小定理知， 由于 ，故 即得 ，故 。所以561是Carmichael数。 8.2 拟素数和Fermat素性判别 定义8-1 设n是一个奇合数，若整数b ，使得 成立，则n是对于基为b的拟素数。 定理8-1 如果n是一个基为2的拟素数，则 也是一个基为2的拟素数。因此，有无限多个基为2的拟素数。 证： 设 ，因为 ，故 ，令 我们有 故