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

3-битная PCP-теорема Хастада
Вероятностно проверяемые доказательства

Что: Лекция
Когда: Воскресенье, 04 ноября 2012, 11:15–12:45
Где: ПОМИ РАН

Описание

3-битная PCP-теорема, приближение задач MAX3XORSAT и MAX3SAT. Формулировка теоремы Раза. Длинные коды. Тест на длинный код.

Computer Science Club, 2007–24 гг.