Пусть будет языком всех -CNF-формул таким образом, чтобы по крайней мере из предложений можно было выполнить.
Мне нужно доказать, что существует st is -hard для любого .
Мы знаем, что может быть приближен к проценту пунктов из сокращения . Как я должен решить это?
Если вы знаете, что ε - рациональное число, то вам не нужна неприемлемость для 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 не могут быть приняты как целые числа. Общий случай, когда ε не обязательно рациональн, кажется, требует неприемлемости, как писал Юваль Фильмус в своем ответе.
источник