ฝัง
- เผยแพร่เมื่อ 15 ก.ย. 2024
- Лекция №4 в курсе "Сложность пропозициональных доказательств".
Содержание лекции: Игровая характеризация ширины резолюционного доказательства. Оценка памяти нужной для реализации доказательства через ширину.
Система доказательств секущие плоскости (cutting planes). Моделирование резолюции, короткое доказательство принципа Дирихле.
Преподаватель курса: Дмитрий Михайлович Ицыксон - кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.
