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

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

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

Описание

Повышение зазора: сведение к d-регулярному экспандеру. Описание основного сведения.