Вероятностно проверяемые доказательства. Лекция 4
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
14.10.12
Дата публикации:
14.10.12
Код для блога:
Доказательство PCP теоремы (продолжение)
Понижение алфавита (окончание). Алгебраические экспандеры. Лемма о перемешивании, следствия. Повышение зазора: Сведение к арности 2.
Страница лекции на сайте Computer Science клуба
Другие лекции курса
8