| What: | Lecture |
| When: | Monday, 21 September 2020, 22:30–23:50 |
| Where: | Конференция в zoom, Онлайн |
Эффективные системы доказательств. Класс NP. Критерий Пратта и доказательство простоты числа. Класс P. Сведения, полные задачи. NP-полнота задачи об ограниченной остановке. Булевы схемы. Сведение Circuit-SAT к 3SAT.
Текущая версия конспекта.
