❗️В следующую среду, 29 ноября, в 13:55, вместо лекции будет вторая контрольная работа. Место - Актовый зал, как и у первой.

Темы задач:
* Классификация в полиномиальной иерархии
* Полнота на втором уровне полиномиальной иерархии
* Полнота в PSPACE
* Доказательство принадлежности к L
* Принадлежность и полнота в NL
* Диагонализация
* (только д/з) Случайные оракулы

Формальный тренировочный вариант подготовим в ближайшее время.

По третьей к/р, вероятнее всего, сделаем выбор: либо написать на зачётной неделе с оценкой в 10 баллов на к/р и 5 в дорешке, либо решать дома с оценкой в 8 баллов. (Т.е. любая причина пропуска будет уважительной).