City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Вероятностно проверяемые доказательства и приближенные алгоритмы
Probabilistically checkable proofs

What: Lecture
When: Sunday, 07 October 2012, 11:15–12:50
Where: ПОМИ РАН

Description

Приближенные алгоритмы для MAX3SAT, вершинного покрытия. Класс PCP(r(n),q(n)), формулировка PCP-теоремы, эквивалентность PCP-теоремы и NP-трудности задачи-GAP-q-CSP, связь с трудностью приближения. Переформулировка для-GAP-3-SAT.