卢卡斯-莱默检验法

✍ dations ◷ 2025-07-06 07:31:51 #素性测试

数学中,卢卡斯-莱默检验法(英语:Lucas–Lehmer primality test)是检验梅森数的素性检验,是由爱德华·卢卡斯于1878年完善,德里克·亨利·莱默随后于1930年代将其改进。

因特网梅森素数大搜索用这个检验法找到了不少很大的素数,最近几个最大的素数就是这个项目发现的。由于梅森数比随机选择的整数更有可能是素数,因此他们认为这是一个极有用的方法。

卢卡斯-莱默检验法原理是这样:
令梅森数 = 2− 1作为检验对象(预设是素数,否则就是合数了)。

定义序列{ }:所有的 ≥ 0

这个序列的开始几项是4, 14, 194, 37634, ... (OEIS中的数列A003010)

那么是素数当且仅当

否则, 是合数。
− 2的余数叫做的卢卡斯-莱默余数。

假设我们想验证M3 = 7是素数。我们从=4开始,并更新3−2 = 1次,把所有的得数模7:

由于我们最终得到了一个能被7整除的,因此M3是素数。

另一方面,M11 = 2047 = 23×89就不是素数。我们仍然从=4开始,并更新11−2 = 9次,把所有的得数模2047:

由于最终仍未能被2047整除,因此M11=2047不是素数。但是,我们从这个检验法仍然无法知道2047的因子,只知道它的卢卡斯-莱默余数1736。

我们注意到 s i {\displaystyle {\langle }s_{i}{\rangle }} ,都有 s i = ω 2 i + ω ¯ 2 i {\displaystyle s_{i}=\omega ^{2^{i}}+{\bar {\omega }}^{2^{i}}} ,有 ω 2 p 2 + ω ¯ 2 p 2 = k M p {\displaystyle \omega ^{2^{p-2}}+{\bar {\omega }}^{2^{p-2}}=kM_{p}} 是合数,其非平凡素因子 > 2(所有梅森素数都是奇数)。定义含有2个元素的集合 X = { a + b 3 | a , b Z q } {\displaystyle X=\{a+b{\sqrt {3}}|a,b\in \mathbb {Z} _{q}\}} 的整数,是一个有限域。中的乘法运算定义为:

由于 > 2,因此 ω {\displaystyle \omega } 内的数的乘积也一定位于内,但它不是一个群,因为不是所有的元素都有逆元素,使得 = 1。如果我们只考虑有逆元素的元素,我们便得到了一个群*,它的大小最多为 q 2 1 {\displaystyle q^{2}-1} *内,它的目能整除 2 p {\displaystyle 2^{p}} M p {\displaystyle M_{p}} 的二次非剩余,这是因为对于奇数 > 1,2  − 1只取得值7 mod 12,因此从勒让德符号的性质可知 ( 3 | M p ) {\displaystyle (3|M_{p})} *为 { a + b 3 | a , b Z M p } {\displaystyle \{a+b{\sqrt {3}}|a,b\in \mathbb {Z} _{M_{p}}\}} (费马小定理)。

那么,在群*中,我们有:

简单计算可知 ω = ( 6 + σ ) 2 / 24 {\displaystyle \omega =(6+\sigma )^{2}/24} *中的 ω ( M p + 1 ) / 2 {\displaystyle \omega ^{(M_{p}+1)/2}} −2是整数,且在*内是零,因此它也是零mod 

相关

  • 双簧双簧为一种民间艺术,源于北京的一种曲艺名字,由前面的一个演员表演动作,藏在后面的一个人或说或唱,互相配合,好像前面的演员在自演自唱一样。“双簧”作为一种节目,出现于清朝末年
  • 越南.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Ming-Lt-HKSCS-ExtB","FZKaiT-
  • 德克萨斯诉怀特案德克萨斯州诉怀特案(74 U.S. 700 (1869)),是1869年在美国联邦最高法院进行诉讼的一个重要案例。在该案中,德克萨斯州的内战后重建政府声称德克萨斯州的邦联政府在内战期间非法
  • 嘌呤受体嘌呤受体(Purinergic receptors)为一类近来才被标定的膜分子家族,与细胞内许多功能及作用有关,如血管反应力(vascular reactivity)、细胞凋亡(apoptosis)及细胞素分泌 (cytikine
  • 伊斯坦布尔国际书展伊斯坦布尔国际书展(土耳其语:İstanbul Kitap Fuarı)创办于1982年,是中东地区规模最大的专业书展之一。2018年11月10日开始举办的第37届伊斯坦布尔国际书展上,中国教育图书进出
  • 王微 (创业家)王微,1973年出生,福建福州人,创业家、作家。视频分享网站土豆网的创始人及前CEO,现为追光动画创始人。王微于2005年1月创立土豆网。2011年8月份,土豆网在美国纳斯达克上市。2012
  • 欢乐暗沙欢乐暗沙位于南沙群岛南部,是南康暗沙东端的一个暗沙,地处潭门礁东南约10海里。水深约8米。1983年中华人民共和国中国地名委员会公布的标准名称为“欢乐暗沙”。有些外文资料
  • 鲁里埃尔·鲁比尼鲁里埃尔·鲁比尼(英语:Nouriel Roubini,1959年3月29日-),美国凯因斯派经济学家及纽约大学的教授,专栏作家,因为对经济持悲观论,人称“末日博士”。他出生于土耳其的犹太家庭,2岁时全
  • 二宫善基二宫善基(1904年11月23日-1984年10月9日),日本东京都人,东洋碱业公司董事长、伊豆观光开发公司董事长。1927年,东京帝国大学经济学科毕业后,入日本兴业银行工作,历任部长、理事,1947
  • 保罗·霍夫曼 (1956年)保罗·霍夫曼(英语:Paul Hoffman,1956年3月30日-)是一位美国科普作家,现居于新泽西州泽西市,主要作品有《数字情种:埃尔德什传》()等。