63
правки
Изменения
→Алгоритм
Дано целое число <tex>N</tex>. Определить является ли оно простым.
====Алгоритм====
Нам нужен детерминированный алгоритм работающий за <tex>p(\log|n|)</tex>, где <tex>p</tex> {{---}} полином. Однако Хоть и не существует такого эффективного детерминированного алгоритма. Однако , существует эффективный рандомизированный алгоритм.
Формально, нам нужно проверить принадлежит ли число языку <tex>PRIMES = \{ \llcorner N \lrcorner : N -</tex> простое <tex>\}</tex>. Для каждого <tex>N</tex> и <tex>A \in [N - 1]</tex>, определим:
