logo
Рожков_Ниссенбаум_ТЧМК_лекции

Тест Соловея-Штрассена:

Вход: n – нечетное, t – параметр надежности.

1. Повторять t раз:

1.1 Случайно выбираем a:

1.2. Если “n – составное”. Выход.

1.3. Вычисляем ,

1.4. Если r ≠s “n –составное ”. Выход.

2. “n –простое с вероятностью 1— εt ”. Выход.

Как и тест Ферма, этот тест может принять составное число за простое, но не наоборот. Вероятность ошибки (то есть вероятность принять составное число за простое) составляет εt, где t – число итераций теста, параметр надежности, а <.

Как видим, оценка надежности теста Соловея–Штрассена гораздо лучше, чем для теста Ферма, даже в том случае, когда φ(n) ненамного меньше n.