WikiDer > Теорема Вэлианта – Вазирани

В Теорема Вэлианта – Вазирани это теорема в теория сложности вычислений заявив, что если есть алгоритм полиномиального времени за Однозначно-SAT, тогда НП = RP. Это было доказано Лесли Валиант и Виджай Вазирани в их статье под названием NP - это так же просто, как найти уникальные решения опубликовано в 1986 г.^[1] Доказательство основано на теории Малмули – Вазирани – Вазирани. лемма об изоляции, который впоследствии использовался для ряда важных приложений в теоретическая информатика.

Из теоремы Валианта – Вазирани следует, что Проблема логической выполнимости, который НП-полный, остается вычислительно сложной проблемой, даже если во входных экземплярах обещано не более одного удовлетворительного присваивания.

Схема доказательства

Однозначно-SAT это проблема обещания решения, является ли данная логическая формула, которая имеет не более одного удовлетворяющего присвоения, неудовлетворительной или имеет только одно удовлетворяющее присвоение. В первом случае алгоритм для Unambiguous-SAT должен отклонить, а во втором он должен принять формулу. Если формула имеет более одного удовлетворительного присваивания, то нет никаких условий для поведения алгоритма. Проблема обещания Однозначно -SAT может быть определено недетерминированная машина Тьюринга у которого есть не более одного принимающего пути вычисления. В этом смысле эта проблема обещания относится к классу сложности ВВЕРХ (который обычно определяется только для языков).

Доказательство теоремы Вэлианта – Вазирани состоит в вероятностной редукции от SAT к SAT так, что с вероятностью не менее ${ Displaystyle Omega (1 / п)}$, выходная формула имеет не более одного удовлетворительного назначения и, таким образом, удовлетворяет обещанию однозначной задачи SAT. Точнее говоря, редукция представляет собой рандомизированный алгоритм с полиномиальным временем, который отображает булеву формулу ${ Displaystyle F (x_ {1}, dots, x_ {n})}$ с ${ displaystyle n}$ переменные ${ displaystyle x_ {1}, dots, x_ {n}}$ к булевой формуле ${ displaystyle F '(x_ {1}, dots, x_ {n})}$ такой, что

• каждое удовлетворительное задание ${ displaystyle F '}$ также удовлетворяет ${ displaystyle F}$, и
• если ${ displaystyle F}$ выполнимо, то с вероятностью не менее ${ Displaystyle Omega (1 / п)}$, ${ displaystyle F '}$ имеет уникальное удовлетворительное задание ${ Displaystyle (а_ {1}, точки, а_ {п})}$.

Запустив редукцию полиномиального числа ${ displaystyle t}$ раз, каждый раз со свежими независимыми случайными битами, мы получаем формулы ${ displaystyle F '_ {1}, dots, F' _ {t}}$.Выбор ${ Displaystyle т = О (п)}$, получаем, что вероятность того, что хотя бы одна формула ${ displaystyle F '_ {i}}$ однозначно выполнимо, по крайней мере ${ displaystyle 1/2}$ если ${ displaystyle F}$ Это дает сокращение Тьюринга от SAT к Unambiguous-SAT, поскольку предполагаемый алгоритм для Unambiguous-SAT может быть запущен на ${ displaystyle F '_ {i}}$. Тогда случайная самовосстановление SAT можно использовать для вычисления удовлетворительного задания, если оно существует. В целом это доказывает, что NP = RP, если однозначно-SAT может быть решено в RP.

Идея редукции состоит в том, чтобы пересечь пространство решений формулы ${ displaystyle F}$ с ${ displaystyle k}$ случайные аффинные гиперплоскости над ${ Displaystyle { текст {GF}} (2) ^ {п}}$, куда ${ Displaystyle к в {1, точки, п }}$ выбирается равномерно случайным образом. Альтернативное доказательство основано на лемма об изоляции Малмулей, Вазирани и Вазирани. Они рассматривают более общую настройку, и применительно к настройке здесь это дает вероятность изоляции только ${ displaystyle Omega (1 / n ^ {8})}$.

Рекомендации