Сложность вычислений. Лекция 4 (9.3.2021)

Сводимость Карпа. Теорема Фишера - Рабина о нижней оценке временной сложности разрешения элементарной теории упорядоченного поля действительных чисел.