Город: Санкт-Петербург Казань Язык: Русский English
Что: Лекция
Когда: Вторник, 12 сентября 2017, 18:30–20:00
Где: ПОМИ РАН

Описание

Системы доказательств, классы NP и coNP. Пропозициональные системы доказательств. Примеры систем доказательств: таблицы истинностей, деревья решений. Оценки на глубину деревьев решений. Игры Прувера-Делэера. Асимметричные игры Прувера-Делэера и точная оценка на размер дерева решений для принципа Дирихле.

Материалы

Текущая версия конспекта тут.