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

Доказательство PCP теоремы (начало)
Вероятностно проверяемые доказательства


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

Описание

Тестирование функции на линейность с помощью базиса Фурье. Общий план доказательства PCP-теоремы. Понижение алфавита (начало).