Вероятностно проверяемые доказательства. Лекция 1
Вероятностно проверяемые доказательства и приближенные алгоритмы
Приближенные алгоритмы для MAX3SAT, вершинного покрытия. Класс PCP(r(n),q(n)), формулировка PCP-теоремы, эквивалентность PCP-теоремы и NP-трудности задачи -GAP-q-CSP, связь с трудностью приближения. Переформулировка для -GAP-3-SAT.
Страница лекции на сайтеComputer Science клуба
АвторДмитрий Ицыксон
ОрганизаторComputer Science клуб при ПОМИ РАН
Лекции курса
9- Вероятностно проверяемые доказательства. Лекция 1▶ Вы тут
- Вероятностно проверяемые доказательства. Лекция 2
- Вероятностно проверяемые доказательства. Лекция 3
- Вероятностно проверяемые доказательства. Лекция 4
- Вероятностно проверяемые доказательства. Лекция 5
- Вероятностно проверяемые доказательства. Лекция 6
- Вероятностно проверяемые доказательства. Лекция 7
- Вероятностно проверяемые доказательства. Лекция 8
- Вероятностно проверяемые доказательства. Лекция 9
Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный