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

Описание

Приближенные алгоритмы для задачи MAXSAT и минимальном вершинном покрытии. Вероятностно проверяемые доказательства. Формулировка PCP-теоремы. Эквивалентные формулировки.