В теории чисел число Лейланда — это число вида
где x и y — целые числа, большие 1. [1] Они названы в честь математика Пола Лейланда . Первые несколько чисел Лейланда — это
Требование, чтобы x и y оба были больше 1, важно, так как без него каждое положительное целое число было бы числом Лейланда вида x 1 + 1 x . Кроме того, из-за коммутативного свойства сложения условие x ≥ y обычно добавляется, чтобы избежать двойного покрытия множества чисел Лейланда (поэтому мы имеем 1 < y ≤ x ).
Простое число Лейланда — это число Лейланда, которое также является простым числом. Первые такие простые числа:
соответствующий
Можно также зафиксировать значение y и рассмотреть последовательность значений x , которая дает простые числа Лейланда, например, x 2 + 2 x является простым числом для x = 3, 9, 15, 21, 33, 2007, 2127, 3759, ... ( OEIS : A064539 ).
К ноябрю 2012 года наибольшее число Лейланда, которое, как было доказано, является простым, было 5122 6753 + 6753 5122 с25 050 цифр. С января 2011 года по апрель 2011 года это было самое большое простое число, простота которого была доказана методом доказательства простоты эллиптической кривой . [3] В декабре 2012 года это было улучшено путем доказательства простоты двух чисел 3110 63 + 63 3110 (5596 цифр) и 8656 2929 + 2929 8656 (30 008 цифр), последний из которых превзошел предыдущий рекорд. [4] В феврале 2023 года 104824 5 + 5 104824 (73 269 цифр) было доказано как простое число, [5] и это было также самое большое простое число, доказанное с помощью ECPP, пока три месяца спустя с помощью ECPP не было доказано большее (не Лейландово) простое число. [6] Существует много больших известных вероятных простых чисел, таких как 314738 9 + 9 314738 , [7] но простоту больших чисел Лейланда трудно доказать. Пол Лейланд пишет на своем веб-сайте: «Совсем недавно было осознано, что числа этой формы являются идеальными тестовыми примерами для программ доказательства простоты общего назначения. Они имеют простое алгебраическое описание, но не имеют очевидных циклотомических свойств, которые могли бы использовать специальные алгоритмы».
Существует проект под названием XYYXF по факторизации составных чисел Лейланда. [8]
Число Лейланда второго рода — это число вида
где x и y — целые числа, большие 1. Первые такие числа:
Простое число Лейланда второго рода — это число Лейланда второго рода, которое также является простым. Первые несколько таких простых чисел:
Для вероятных простых чисел см. Анри Лифшиц и Рено Лифшиц, поиск PRP Top Records. [7]