Оказывается, существует
полиномиальный детерминистский алгоритм определения простого числа, а мне это было до сего дня неизвестно. Как выучил Миллера-Рабина, так и пребывал в уверенности, что только вероятностными методами достижимо.
This entry was originally posted at
http://stas.dreamwidth.org/907911.html.