Тест Пепіна

Псевдокод $b\leftarrow 3$ ВІД $i=1$ ДО $2^n-1$ ВИКОН $b\leftarrow b^{2}mod{F}_n$ ЯКЩО $b\equiv -1(\mathrm{mod}{F}_n)$ ТО ПОВЕРНЕННЯ «$F_n$ — просте» ІНАКШЕ ПОВЕРНЕННЯ «$F_n$ — складене»

Тест Пепіна — тест простоти для чисел Ферма. Тест названий на честь французького математика Теофіла Пепіна.

Опис тесту

Тест Пепіна полягає в піднесенні числа $3$ до степені $(F_n-1)/2=2^{2^n-1}$ ($2^n-1$ послідовних піднесень до квадрату) по модулю $F_n$. Якщо результат за модулем $F_n$ дорівнює −1, то $F_n$ є простим, а в іншому випадку — складеним.

Тест базується на наступній теоремі:

Теорема. При n ≥ 1 число Ферма $F_n=2^{2^n}+1$ є простим тоді й тільки тоді, коли $3^{(F_n-1)/2}\equiv -1(\mathrm{mod}{F}_n)$.

Доведення. Припустимо, що рівність правильна. Тоді умова теореми Люка виконується при $n=F_n$, $a=3$, відповідно, $F_n$ є простим числом. Навпаки, нехай $F_n$ — просте число. Оскільки $2^n$ — парне число, то $2^{2^n}\equiv 1(\mathrm{mod}3)$, відповідно, $F_n\equiv 2(\mathrm{mod}3)$. Але $F_n\equiv 1(\mathrm{mod}4)$, тому символ Лежандра $\left(\frac{3}{F_n}\right)$ рівний −1. Звідси випливає, що 3 не є квадратичним лишком по модулю $F_n$. Необхідне порівняння випливає з критерію Ейлера.

Варіації та узагальнення

Тест Пепіна є частинним випадком тесту Люка.

Число 3 у тесті Пепіна може бути замінено на 5, 6, 7 чи 10 (Шаблон:OEIS), які також є первісними коренями за модулем кожного простого числа Ферма.

Відомо, що Пепін представив критерій з числом 5, а не з числом 3. Прот и Люка відзначили, що також можна застосувати число 3.

Складність обчислень

Оскільки тест Пепіна вимагає $2^n-1$ піднесень до квадрату за модулем $F_n$, то він виконується за поліноміальний час від довжини числа $F_n$. Проте, якщо на вхід подається лише число n, то тест Пепіна виконується за над-експоненційний час від довжини входу ($\log n$).

Історія

Через великий розмір чисел Ферма, тест Пепіна був застосований лише 8 разів (для чисел Ферма, чия простота ще не була доведена чи спростована). 2003 року, після тестування двадцять четвертого числа Ферма ($F_{24}$), Майер, Пападопулос і Крендалл висунули припущення, що мине декілька десятків років, перш ніж технології дозволять виконати тести Пепіна для ще недосліджених чисел Ферма, бо їх розміри надто великі. На листопад 2014 року найменшим неперевіреним числом Ферма було $F_{33}$, яке містить 2 585 827 973 десяткових цифр. На стандартному обладнанні тест Пепіна для перевірки такого числа потребує тисячі років. На даний моментШаблон:Коли? гостроШаблон:Нейтральність? Шаблон:Джерело?

Рік	Дослідники	Числа Ферма	Результати тесту Пепіна	Чи знайдений дільник?
1905	Джеймс С. Морхед і Альфред Вестерн	$F_7$	складене	Так (1970)
1909	Джеймс С. Морхед і Альфред Вестерн	$F_8$	складене	Так (1980)
1952	Рафаель М. Робінсон	$F_{10}$	складене	Так (1953)
1960	Г. А. Паксон	$F_{13}$	складене	Так (1974)
1961	Джон Селфрідж і Олександр Гурвіц	$F_{14}$	складене	Так (2010)
1987	Дункан Бьюел і Джеффрі Янг	$F_{20}$	складене	Ні
1993	Річард Крендалл, Дж. Діньяс, С. Норрі і Джеффрі Янг	$F_{22}$	складене	Так (2010)
1999	Ернст В. Майер, Джейсон С. Пападопулос і Річард Крендалл	$F_{24}$	складене	Ні

Література

• Шаблон:Стаття
• Шаблон:Книга