WikiDer > Лукас псевдопрайм

Лукас псевдопреступник и Псевдопримеры Фибоначчи находятся составной целые числа, прошедшие определенные тесты, которые все простые числа и очень мало составных чисел проходят: в этом случае критерии относительно некоторых Последовательность Лукаса.

Псевдопреступности Бейли-Вагстаффа-Лукаса

Бэйли и Вагстафф определяют псевдопремы Лукаса следующим образом:^[1] Учитывая целые числа п и Q, куда п > 0 и ${ Displaystyle D = P ^ {2} -4Q}$,позволять U_k(п, Q) и V_k(п, Q) - соответствующий Последовательности Лукаса.

Позволять п - натуральное число и пусть ${ displaystyle left ({ tfrac {D} {n}} right)}$ быть Символ Якоби. Мы определяем

${ displaystyle delta (n) = n- left ({ tfrac {D} {n}} right).}$

Если п это основной так что наибольший общий делитель из п и Q (то есть НОД (п, Q)) равно 1, то выполняется следующее условие сравнения:

${ Displaystyle U _ { delta (n)} Equiv 0 { pmod {n}}.}$

(1)

Если это сравнение нет подожди, тогда п является нет премьер. если п является составной, то это сравнение обычно не держит.^[1] Это ключевые факты, которые делают последовательности Лукаса полезными в проверка на простоту.

Сравнение (1) представляет собой одно из двух сравнений, определяющих Псевдопросто Фробениуса. Следовательно, каждое псевдоперство Фробениуса также является псевдоперминалом Бейли-Вагстаффа-Лукаса, но обратное не всегда верно.

Некоторые хорошие ссылки - это глава 8 книги Брессуда и Вагона (с Mathematica код),^[2] страницы 142–152 книги Крэндалла и Померанса,^[3] и страницы 53–74 книги Рибенбойма.^[4]

Вероятные простые числа и псевдопростые числа Лукаса

А Лукас вероятный премьер для данного (P, Q) пара любой положительное число п для которого уравнение (1) верно (см.^[1] стр. 1398).

А Лукас псевдопрайм для данного (P, Q) пара является положительной составной целое число п для которого уравнение (1) верно (см.^[1] стр. 1391).

Вероятный простой критерий Лукаса наиболее полезен, если D выбирается так, чтобы символ Якоби ${ displaystyle left ({ tfrac {D} {n}} right)}$ равно −1 (см. страницы 1401–1409,^[1] страница 1024 из,^[5] или страницы 266–269 из ^[2]). Это особенно важно при сочетании теста Лукаса с сильная псевдопремия тест, такой как Тест на простоту Baillie-PSW. Обычно реализации будут использовать метод выбора параметра, который обеспечивает это условие (например, метод Selfridge, рекомендованный в ^[1] и описано ниже).

Если ${ displaystyle left ({ tfrac {D} {n}} right) = - 1,}$ тогда уравнение (1) становится

${ Displaystyle U_ {n + 1} Equiv 0 { pmod {n}}.}$

(2)

Если конгруэнтность (2) ложно, это доказывает, что п составной.

Если конгруэнтность (2) верно, то п является вероятным простым числом Люка. В этом случае либо п простое или псевдопервичное по Лукасу.2) верно, то п является скорее всего быть простым (это оправдывает термин вероятный премьер), но это не доказывать это п как и в случае с любым другим вероятностным тестом на простоту, если мы проведем дополнительные тесты Лукаса с разными D, п и Q, то, если один из тестов не докажет, что п составной, мы получаем больше уверенности, что п простое.

Примеры: если п = 3, Q = −1, и D = 13 последовательность U 's это OEIS: A006190: U₀ = 0, U₁ = 1, U₂ = 3, U₃ = 10 и т. Д.

Во-первых, пусть п = 19. Символ Якоби ${ displaystyle left ({ tfrac {13} {19}} right)}$ равно −1, поэтому δ (п) = 20, U₂₀ = 6616217487 = 19 · 348221973 и имеем

${ displaystyle U_ {20} = 6616217487 Equiv 0 { pmod {19}}.}$

Следовательно, 19 - вероятное простое число Люка для этого (P, Q) пара. В данном случае 19 простое число, поэтому нет псевдопремия Лукаса.

В следующем примере пусть п = 119. Имеем ${ displaystyle left ({ tfrac {13} {119}} right)}$ = −1, и мы можем вычислить

${ displaystyle U_ {120} Equiv 0 { pmod {119}}.}$

Однако 119 = 7 · 17 не является простым, поэтому 119 - это число Лукаса. псевдопремия за это (P, Q) пара. Фактически, 119 - наименьшее псевдопростое число для п = 3, Q = −1.

Посмотрим ниже что, чтобы проверить уравнение (2) для данного п, мы делаем нет нужно вычислить все первые п +1 термины в U последовательность.

Позволять Q = −1, наименьшее псевдопростое число Люка для п = 1, 2, 3, ... являются

323, 35, 119, 9, 9, 143, 25, 33, 9, 15, 123, 35, 9, 9, 15, 129, 51, 9, 33, 15, 21, 9, 9, 49, 15, 39, 9, 35, 49, 15, 9, 9, 33, 51, 15, 9, 35, 85, 39, 9, 9, 21, 25, 51, 9, 143, 33, 119, 9, 9, 51, 33, 95, 9, 15, 301, 25, 9, 9, 15, 49, 155, 9, 399, 15, 33, 9, 9, 49, 15, 119, 9, ...

Сильные псевдопреступники Лукаса

Теперь фактор ${ Displaystyle дельта (п) = п- влево ({ tfrac {D} {п}} вправо)}$ в форму ${ displaystyle d cdot 2 ^ {s}}$ куда ${ displaystyle d}$ странно.

А сильная псевдопремия Лукаса для данного (P, Q) пара - нечетное составное число п с НОД (n, D) = 1, удовлетворяющая одному из условий

${ Displaystyle U_ {d} эквив 0 { pmod {п}}}$

или

${ Displaystyle V_ {д CDOT 2 ^ {г}} эквив 0 { pmod {п}}}$

для некоторого 0 ≤ р < s; см. страницу 1396 оф.^[1] Сильное псевдопрямое преступление Лукаса также является псевдоперминалом Лукаса (для того же (P, Q) пара), но обратное не всегда верно. сильный тест - более строгий тест на простоту, чем уравнение (1).

Мы можем установить Q = −1, то ${ displaystyle U_ {n}}$ и ${ displaystyle V_ {n}}$ находятся п-Последовательность Фибоначчи и п-Последовательность Лукаса, псевдопричинения можно назвать сильный псевдопрайм Лукаса в базе п, например, наименее сильное псевдопрям Лукаса с п = 1, 2, 3, ... равны 4181, 169, 119, ...

An сверхсильный псевдопрайм Лукаса^[6]является сильным псевдопростом Люка для набора параметров (п, Q) где Q = 1, удовлетворяющее одному из условий

${ Displaystyle U_ {d} Equiv 0 { pmod {n}} { text {and}} V_ {d} Equiv pm 2 { pmod {n}}}$

или

${ Displaystyle V_ {д cdot 2 ^ {r}} эквив 0 { pmod {п}}}$

для некоторых ${ Displaystyle 0 Leq г$. Сверхсильное псевдопрямое преступление Лукаса также является сильным псевдопрямым преступлением Лукаса ${ displaystyle (P, Q)}$ пара.

Реализация вероятностного простого теста Лукаса

Прежде чем приступить к вероятному простому тесту, обычно проверяют, что п, число, которое нужно проверить на простоту, нечетное, не является полным квадратом и не делится на любое малое простое число, меньшее некоторого удобного предела. Идеальные квадраты легко обнаружить с помощью Метод Ньютона для квадратных корней.

Выберем последовательность Лукаса, в которой символ Якоби ${ displaystyle left ({ tfrac {D} {n}} right) = - 1}$, так что δ (п) = п + 1.

Данный п, одна техника выбора D использовать метод проб и ошибок, чтобы найти первый D в последовательности 5, −7, 9, −11, ... такие, что ${ displaystyle left ({ tfrac {D} {n}} right) = - 1}$. Обратите внимание, что ${ displaystyle left ({ tfrac {k} {n}} right) left ({ tfrac {-k} {n}} right) = - 1}$.(Если D и п иметь общий простой фактор, то ${ displaystyle left ({ tfrac {D} {n}} right) = 0}$). С этой последовательностью D значений, среднее количество D значения, которые необходимо попробовать, прежде чем мы встретим значение, у которого символ Якоби равен -1, составляет около 1,79; видеть,^[1] п. 1416.Как только у нас есть D, мы установили ${ Displaystyle P = 1}$ и ${ Displaystyle Q = (1-D) / 4}$.Проверьте, что п не имеет общих простых факторов с п или Q.Этот метод выбора D, п, и Q было предложено Джон Селфридж.

(Этот поиск никогда не будет успешным, если п является квадратным, и наоборот, если это удается, это доказательство того, что п не квадратный. Таким образом, можно сэкономить некоторое время, отложив тестирование. п для прямоугольности до тех пор, пока не будут выполнены все первые несколько шагов поиска.)

Данный D, п, и Q, существуют рекуррентные отношения, которые позволяют быстро вычислить ${ displaystyle U_ {n + 1}}$ и ${ displaystyle V_ {n + 1}}$ в ${ Displaystyle О ( журнал _ {2} п)}$ шаги; видеть Последовательность Лукаса § Другие отношения. Для начала

${ displaystyle U_ {1} = 1}$

${ displaystyle V_ {1} = P = 1}$

Во-первых, мы можем удвоить индекс от ${ displaystyle k}$ к ${ displaystyle 2k}$ за один шаг с использованием рекуррентных соотношений

${ Displaystyle U_ {2k} = U_ {k} cdot V_ {k}}$

${ displaystyle V_ {2k} = V_ {k} ^ {2} -2Q ^ {k} = { frac {V_ {k} ^ {2} + DU_ {k} ^ {2}} {2}}}$.

Затем мы можем увеличить индекс на 1, используя повторения

${ Displaystyle U_ {2k + 1} = (P cdot U_ {2k} + V_ {2k}) / 2}$

${ Displaystyle V_ {2k + 1} = (D cdot U_ {2k} + P cdot V_ {2k}) / 2}$.

Если ${ Displaystyle P cdot U_ {2k} + V_ {2k}}$ странно, замените его на ${ Displaystyle P cdot U_ {2k} + V_ {2k} + n}$; это даже так, что теперь его можно разделить на 2. Числитель ${ displaystyle V_ {2k + 1}}$ обрабатывается таким же образом. (Добавление п не меняет результат по модулю п.) Обратите внимание, что для каждого члена, который мы вычисляем в U последовательности, мы вычисляем соответствующий член в V последовательность. По мере продолжения мы также вычисляем те же соответствующие степени Q.

На каждом этапе уменьшаем ${ displaystyle U}$, ${ displaystyle V}$, и сила ${ displaystyle Q}$, мод п.

Мы используем биты двоичного разложения п определить который условия в U последовательность для вычисления. Например, если п+1 = 44 (= 101100 в двоичном формате), затем, беря биты по одному слева направо, мы получаем последовательность индексов для вычисления: 1₂ = 1, 10₂ = 2, 100₂ = 4, 101₂ = 5, 1010₂ = 10, 1011₂ = 11, 10110₂ = 22, 101100₂ = 44. Следовательно, мы вычисляем U₁, U₂, U₄, U₅, U₁₀, U₁₁, U₂₂, и U₄₄. Мы также вычисляем члены с одинаковыми номерами в V последовательность, вместе с Q¹, Q², Q⁴, Q⁵, Q¹⁰, Q¹¹, Q²², и Q⁴⁴.

К концу расчета мы вычислим U_{п + 1}, V_{п + 1}, и Q^{п + 1}, (мод пЗатем мы проверяем сравнение (2) с использованием нашего известного значения U_{п + 1}.

Когда D, п, и Q выбраны, как описано выше, первые 10 псевдопространств Лукаса (см. стр. 1401 ^[1]): 323, 377, 1159, 1829, 3827, 5459, 5777, 9071, 9179 и 10877 (последовательность A217120 в OEIS)

В сильный версии теста Лукаса могут быть реализованы аналогичным образом.

Когда D, п, и Q выбираются, как описано выше, первые 10 сильный Псевдопримеры Лукаса: 5459, 5777, 10877, 16109, 18971, 22499, 24569, 25199, 40309 и 58519 (последовательность A217255 в OEIS)

Чтобы рассчитать список Сверхсильный Lucas pseudoprimes, набор ${ displaystyle Q = 1}$.Тогда попробуйте п = 3, 4, 5, 6, ..., до значения ${ Displaystyle D = P ^ {2} -4Q}$ находится так, что символ Якоби ${ displaystyle left ({ tfrac {D} {n}} right) = - 1}$.С помощью этого метода выбора D, п, и Q, первые 10 Сверхсильный Псевдопреступниками Лукаса являются 989, 3239, 5777, 10877, 27971, 29681, 30739, 31631, 39059 и 72389 (последовательность A217719 в OEIS)

Проверка дополнительных условий конгруэнтности

Если мы проверили это сравнение (2) верно, существуют дополнительные условия сравнения, которые мы можем проверить, которые почти не требуют дополнительных вычислительных затрат. п оказывается сложным, эти дополнительные условия могут помочь обнаружить этот факт.

Если п нечетное простое число и ${ displaystyle left ({ tfrac {D} {n}} right) = - 1}$, то мы имеем следующее (см. уравнение 2 на стр. 1392 ^[1]):

${ Displaystyle V_ {n + 1} Equiv 2Q { pmod {n}}.}$

(3)

Хотя это условие конгруэнтности по определению не является частью критерия вероятного простого числа Лукаса, его можно почти бесплатно проверить, поскольку, как отмечалось выше, значение V_{п + 1} было вычислено в процессе вычислений U_{п + 1}.

Если либо сравнение (2) или же (3) ложно, это доказывает, что п не является простым. обе этих сопоставлений верны, то еще более вероятно, что п простое, чем если бы мы проверили только сравнение (2).

Если метод Селфриджа (см. Выше) для выбора D, п, и Q случилось установить Q = −1, то можно настроить п и Q так что D и ${ displaystyle left ({ tfrac {D} {n}} right)}$ остаются неизменными и п = Q = 5 (см. Последовательность Лукаса-алгебраические отношенияЕсли использовать этот расширенный метод выбора п и Q, то 913 = 11 · 83 - Только композит менее 10⁸ для которого сравнение (3) верно (см. стр. 1409 и Таблицу 6;^[1]).

Если ${ Displaystyle Q neq pm 1}$, то может быть реализовано еще одно условие сравнения, которое требует очень небольшого дополнительного вычисления.

Напомним, что ${ Displaystyle Q ^ {п + 1}}$ вычисляется при расчете ${ displaystyle U_ {n + 1}}$, и мы можем легко сохранить ранее вычисленную мощность ${ displaystyle Q}$, а именно ${ Displaystyle Q ^ {(п + 1) / 2}}$.

Если п простое, то по Критерий Эйлера,

${ Displaystyle Q ^ {(п-1) / 2} Equiv left ({ tfrac {Q} {n}} right) { pmod {n}}}$ .

(Здесь, ${ displaystyle left ({ tfrac {Q} {n}} right)}$ это Символ Лежандра; если п простое, это то же самое, что и символ Якоби).

Следовательно, если п простое, мы должны иметь,

${ Displaystyle Q ^ {(n + 1) / 2} Equiv Q cdot Q ^ {(n-1) / 2} Equiv Q cdot left ({ tfrac {Q} {n}} right ) { pmod {n}}.}$

(4)

Символ Якоби в правой части легко вычислить, поэтому это сравнение легко проверить. Если это сравнение не выполняется, то п не может быть простым. При условии GCD (п, Q) = 1, то проверка на конгруэнтность (4) эквивалентно дополнению нашего теста Лукаса "базовым Q" Тест на простоту Соловея – Штрассена.

Дополнительные условия конгруэнтности, которые должны быть выполнены, если п просты описаны в разделе 6.^[1] Если любой этих условий не выполняется, то мы доказали, что п не простое.

Сравнение с тестом простоты Миллера – Рабина

k заявления Тест на простоту Миллера – Рабина объявлять составной п быть, вероятно, простым с вероятностью не выше (1/4)^k.

Аналогичная оценка вероятности существует и для сильного критерия вероятного простого числа Лукаса.^[7]

За исключением двух тривиальных исключений (см. Ниже), доля (п,Q) пары (по модулю п), объявляющие составной п быть, вероятно, простым - самое большее (4/15).

Следовательно, k применения сильного теста Лукаса объявляют составной п быть, вероятно, простым с вероятностью не выше (4/15)^k.

Есть два тривиальных исключения. Один п = 9. Другой - когда п = п(п+2) - произведение двух простые числа-близнецы. Такой п легко факторизовать, потому что в этом случае п+1 = (п+1)² идеальный квадрат. Можно быстро обнаружить идеальные квадраты, используя Метод Ньютона для квадратных корней.

Комбинируя тест псевдоперминала Лукаса с Тест на простоту Ферма, скажем, по основанию 2, можно получить очень мощные вероятностные тесты на простоту, такие как Тест на простоту Baillie – PSW.

Псевдопримеры Фибоначчи

Когда п = 1 и Q = −1, U_п(п,Q) представляет собой числа Фибоначчи.

А Псевдопросто Фибоначчи часто^{[2]:264,[3]:142,[4]:127}определяется как составное число п не делится на 5, для чего сравнение (1) выполняется с п = 1 и Q = −1 (но п является ). По этому определению псевдопростые числа Фибоначчи образуют последовательность:

323, 377, 1891, 3827, 4181, 5777, 6601, 6721, 8149, 10877, ... (последовательность A081264 в OEIS).

Ссылки Андерсона и Якобсена ниже используют это определение.

Если п сравнимо с 2 или 3 по модулю 5, то Брессу,^{[2]:272–273} и Крэндалл и Померанс^[3]:143,168 отметьте, что псевдопростые числа Фибоначчи редко также являются Псевдопросто Ферма база 2. Однако, когда п сравнимо с 1 или 4 по модулю 5, верно и обратное, более 12% псевдопростых чисел Фибоначчи меньше 10¹¹ также являющиеся псевдоприемниками Ферма по основанию 2.

Если п простое и НОД (п, Q) = 1, то также имеем^[1]:1392

${ Displaystyle V_ {n} (P, Q) Equiv P { pmod {n}}.}$

(5)

Это приводит к альтернативному определению псевдопроста Фибоначчи:^[8][9]

а Псевдопросто Фибоначчи составное число п для которого сравнение (5) выполняется с п = 1 и Q = −1.

Это определение приводит к тому, что псевдопростые числа Фибоначчи образуют последовательность:

705, 2465, 2737, 3745, 4181, 5777, 6721, 10877, 13201, 15251, ... (последовательность A005845 в OEIS),

которые также называются Брукман-Лукас псевдопремы.^[4]:129Хоггатт и Бикнелл изучали свойства этих псевдоперминалов в 1974 году.^[10] Singmaster вычислил эти псевдопредставления до 100000.^[11] Якобсен перечисляет все 111443 этих псевдопростых чисел меньше 10¹³.^[12]

Было показано, что не существует даже псевдопростых чисел Фибоначчи, определенных уравнением (5).^[13][14] Однако даже псевдопримеры Фибоначчи существуют (последовательность A141137 в OEIS) согласно первому определению (1).

А сильные псевдопростые числа Фибоначчи составное число п для которого сравнение (5) выполняется для Q = −1 и все п.^[15] Следует^[15]:460 что нечетное составное целое число п является сильным псевдопервичным числом Фибоначчи тогда и только тогда, когда:

1. п это Число Кармайкла
2. 2(п + 1) | (п - 1) или 2 (п + 1) | (п − п) для каждого простого числа п разделение п.

Наименьший пример сильного псевдопростого числа Фибоначчи - 443372888629441 = 17 · 31 · 41 · 43 · 89 · 97 · 167 · 331.

Pell pseudoprimes

А Псевдопремия Пелла может быть определено как составное число п для которого уравнение (1) выше верно с п = 2 и Q = -1; последовательность U_п тогда будучи Последовательность Пелля. Тогда первыми псевдопростыми числами будут 35, 169, 385, 779, 899, 961, 1121, 1189, 2419, ...

Это отличается от определения в OEIS: A099011 который можно записать как:

${ displaystyle { text {}} U_ {n} Equiv left ({ tfrac {2} {n}} right) { pmod {n}}}$

с участием (п, Q) = (2, −1), снова определяя U_п как Последовательность Пелля. Тогда первыми псевдопростыми числами будут 169, 385, 741, 961, 1121, 2001, 3827, 4879, 5719, 6215 ...

Третье определение использует уравнение (5) с (п, Q) = (2, −1), что приводит к псевдопростым числам 169, 385, 961, 1105, 1121, 3827, 4901, 6265, 6441, 6601, 7107, 7801, 8119, ...

Рекомендации

внешняя ссылка

• Андерсон, Питер Г. Псевдопричины Фибоначчи, их факторы и точки входа.
• Андерсон, Питер Г. Псевдопричины Фибоначчи меньше 2 217 967 487 и их факторы.
• Якобсен, Дана Статистика псевдопремий, таблицы и данные (данные для Lucas, Strong Lucas, AES Lucas, ES Lucas псевдопреступности ниже 10¹⁴; Псевдопредставления Фибоначчи и Пелля ниже 10¹²)
• Вайсштейн, Эрик В. «Псевдопросто Фибоначчи». MathWorld.
• Вайсштейн, Эрик В. "Лукас Псевдопрайм". MathWorld.
• Вайсштейн, Эрик В. «Сильный Лукас Псевдопрайм». MathWorld.
• Вайсштейн, Эрик В. "Сверхсильный Лукас Псевдопрайм". MathWorld.