Найти

9

Пусть будет языком всех -CNF-формул таким образом, чтобы по крайней мере из предложений можно было выполнить.Lϵ2φ(12+ϵ)φ

Мне нужно доказать, что существует st is -hard для любого .ϵLϵNPϵ<ϵ

Мы знаем, что может быть приближен к проценту пунктов из сокращения . Как я должен решить это?Max2Sat5556Max3Sat

Joni
источник

Ответы:

8

В своей знаменитой статье, Håstad показывает , что она является NP-трудной приблизительным MAX2SAT лучше , чем . Это , вероятно , означает , что это является NP-трудно отличить экземпляры , которые являются & le ; & alpha ; выполнима и примеры , которые являются ( 22 / 21 ) & alpha ; выполнимо, для некоторых & alpha ; 1 ¬21/22α(22/21)α . Теперь представьте себедополняя экземпляр таким образомчто он становится р группы фракций нового экземпляра, остальная часть которых ровно 1 / +2 -satisfiable (скажемсостоит из групп статей видаα1/2p1/2a¬a). Числа теперь становятся и . Последнее число может быть сделано так близко к как мы хотим.1 / 2 + р ( ( 22 / 21 ) α - 1 / 2 ) 1 / 21/2+p(α1/2)1/2+p((22/21)α1/2)1/2

Юваль Фильмус
источник
Работает ли ваш метод, когда ε - произвольное (но достаточно малое) действительное число? Я не могу понять, как выбрать подходящее количество предложений для заполнения, если я не предполагаю что-то относительно ε. (Обратите внимание, что ε не является частью ввода, и, следовательно, он хорошо определен для рассмотрения действительного числа ε.)
Tsuyoshi Ito
Вот где разрыв между и 1 / 2 + р ( ( 22 / 21 ) α - 1 / 2 ) может быть полезным. Предполагая, что α рационально, возьмите некоторое рациональное p , и у вас все получится. 1/2+п(α-1/2)1/2+p((22/21)α1/2)αp
Юваль Фильмус
Ага, почему-то я думал, что этот метод не работает, когда я попробовал его в первый раз, но теперь я вижу, как он работает. Спасибо!
Цуёси Ито
5

Если вы знаете, что ε - рациональное число, то вам не нужна неприемлемость для Max-2-SAT, чтобы доказать свое утверждение. Типичное доказательство NP-твердости Max-2-SAT (например, в учебном пособии по вычислительной сложности от Papadimitriou) фактически доказывает NP-полноту L 1/5 . Чтобы доказать NP-твердость L ε для положительных рациональных чисел ε <1/5, мы можем уменьшить L 1/5 до L ε следующим образом: учитывая формулу 2CNF φ (пример для L 1/5 ), пусть m будет количество статей в нем. Пусть г иs - положительные целые числа, такие что (1 / 5− ε ) mr = 2 ε s . Затем построите формулу 2CNF (экземпляр для L ε ), повторив φ для r раз и добавив s пар противоречивых предложений. Простой расчет показывает, что это действительно сокращение от L 1/5 до L ε .

Это сокращение явно работает, только если ε рационально, потому что иначе r и s не могут быть приняты как целые числа. Общий случай, когда ε не обязательно рациональн, кажется, требует неприемлемости, как писал Юваль Фильмус в своем ответе.

Цуёси Ито
источник