费马素性检验

✍ dations ◷ 2025-07-11 15:28:29 #素性测试,同余

费马素性检验是一种素数判定法则,利用随机化算法判断一个数是合数还是素数。

根据费马小定理:如果是素数, 1 a p 1 {\displaystyle 1\leq a\leq p-1} 是否是素数,我们在中间选取,看看上面等式是否成立。如果对于数值等式不成立,那么是合数。如果有很多的能够使等式成立,那么我们可以说可能是素数,或者伪素数。

在我们检验过程中,有可能我们选取的都能让等式成立,然而n却是合数。这时等式

被称为。如果我们选取满足下面等式的

那么也就是对于的合数判定的。

整个算法可以写成是下面两大部:

若使用模指数运算的快速算法,这个算法的运行时间是O(×log3),这里是一个随机的需要检验的次数,是我们想要检验的数。

众所周知,对于卡米歇尔数,全部令gcd(,)=1的都是费马骗子数(Fermat liars)。尽管卡米歇尔数很是稀有,但是却足够令费马素性检验无法像如米勒-拉宾和Solovay-Strassen的素性检验般,成为被经常实际应用的素性检验。

一般的,如果不是卡米歇尔数,那么至少一半的

是费马证人数(Fermat witnesses)。在这里,令为费马证人数、1, 2, ..., 为费马骗子数。那么

所有的×i for = 1, 2, ..., 都是费马证人数。

加密程序PGP在算法当中用到了这个素性检验方法。

相关

  • 胚胎发育胚胎发生(英语:embryogenesis)也称为胚胎形成或胚胎发育,是胚胎构造由简单到复杂的过程。最早的起源是将只有单套染色体的细胞,融合成具有双套染色体的卵,可以经由卵子与精子受精
  • 波本威士忌波本威士忌(英语:Bourbon Whiskey)是多种美式威士忌的一种,使用比例占总原料51%以上的玉米作为原料(通常是70%,至于其他的原料则包括小麦、裸麦或其他谷物),蒸馏后酒精度不超过160°
  • 阳明山阳明山国家公园是中华民国设置的第三个国家公园,由内政部营建署管辖,前身为台湾日治时期成立之大屯国立公园(1937-1945)。位于台北都会区近郊,行政区域 包括台北市北投区、士林区
  • 绷带绷带为一重要急救用品,通常缠绕成卷成为绷带卷,用途如下:绷带卷有不同的阔度,以应付不同伤处。此绷带亦有不同尺寸,价钱较贵但效果较佳。使用时需借助钳形工具。具有网孔,适用于肢
  • 大气电学大气电学(英语:Atmospheric electricity)研究的是地球(也包括其它星球)大气中电磁场的变化规律。地表、电离层以及大气组成全球电路。大气电学是一个交叉性学科。
  • 史卡兹代尔斯科茨代尔(英语:Scottsdale;奥哈姆语:Vaṣai S-vaṣonĭ;雅基语:Eskatel)位于美国亚利桑纳州的中南部,总面积约为477.7 平方公里,2012年统计人口数约为223,514人。据其官方宣称为“
  • 无腔动物无腔动物亚门(学名:Acoelomorpha)是异无腔动物门下的一个亚门。它们拥有浮浪幼虫样动物的特征,以往被认为是属于后口动物,但有学者将它们成立为一个独立于后口动物的门。经过miRN
  • 吴允谦 (朝鲜)吴允谦(1559年-1636年),字汝益,号楸滩、土塘,朝鲜王朝文臣。本贯海州吴氏。1617年,吴允谦以朝鲜通信使的身份出使日本。在此次使命中,吴允谦的官方头衔是“回答兼刷还使”,目的是庆祝
  • 贝恩 (DC漫画)贝恩(英语:Bane)是一位出现在DC漫画中的超级反派,蝙蝠侠的强敌之一。首次登场于蝙蝠侠的外传漫画《蝙蝠侠:贝恩的复仇》(Batman: Vengeance of Bane)#1 (1993年1月),为Chuck Dixon、Do
  • 李培南李培南(1905年-1993年),男,江苏邳县人,中华人民共和国政治人物,曾任上海交通大学党委书记兼代理校长,上海市人大常委会副主任。