ЛекториумМедиатека
Личный кабинет

Сложность вычислений и основы криптографии. Лекция 6

Вероятностно проверяемые доказательства

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

Страница лекции на сайтеComputer Science Center.

Лекции курса

12
  1. Сложность вычислений и основы криптографии. Лекция 1
  2. Сложность вычислений и основы криптографии. Лекция 2
  3. Сложность вычислений и основы криптографии. Лекция 3
  4. Сложность вычислений и основы криптографии. Лекция 4
  5. Сложность вычислений и основы криптографии. Лекция 5
  6. Сложность вычислений и основы криптографии. Лекция 6▶ Вы тут
  7. Сложность вычислений и основы криптографии. Лекция 7
  8. Сложность вычислений и основы криптографии. Лекция 8
  9. Сложность вычислений и основы криптографии. Лекция 9
  10. Сложность вычислений и основы криптографии. Лекция 10
  11. Сложность вычислений и основы криптографии. Лекция 11
  12. Сложность вычислений и основы криптографии. Лекция 12

Онлайн-курсы по программированию

3