Город: Санкт-Петербург Казань Язык: Русский English

Лекция 4. Игровая интерепретация ширины
Сложность пропозициональных доказательств


Что: Лекция
Когда: Вторник, 03 октября 2017, 18:30–20:00
Где: ПОМИ РАН

Описание

Оценка на ширину для принципа Дирихле на графе. Игровая интерпретация ширины. Связь ширины и памяти (clause space) резолюционных доказательств.