Search
Complexity seminar
Пятница 11.11. Ицыксон Д.М.: "Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств."
Пятница, 11 ноября, ауд. 203. Начало в 17:15.
Докладчик: Ицыксон Д.М. (ПОМИ РАН).
Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..
Abstract
Миникурс предназначен для студентов, аспирантов и всех интересующихся сложностью пропозициональных доказательств.В первой лекции будет рассказано о резолюционной системе доказательств. В частности, мы изучим теорему Бен-Сассона и Вигдерсона о связи ширины и размера резолюционных доказательств. В качестве следствия будет приведены доказательства экспоненциальных нижних оценок на размер доказательства цейтинских формул и принципа Дирихле.