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

Лекция 3. Ширина и размер резолюционных доказательств
Сложность пропозициональных доказательств


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

Описание

Ширина резолюционных доказательств. Связь ширины и размера для древовидных и обычных резолюционных доказательств. Цейтинские формулы, расширительная способность графа, нижние оценки.