论文信息 - (2+ε)-Sat Is NP-hard

(2+ε)-Sat Is NP-hard

We prove the following hardness result for a natural promise variant of the classical CNF-satisfiability problem: Given a CNF-formula where each clause has width w and the guarantee that there exis ...

[1] Venkatesan Guruswami,et al. Strong Inapproximability Results on Balanced Rainbow-Colorable Hypergraphs , 2015, SODA.

[2] Leen Stougie,et al. Scheduling over Scenarios on Two Machines , 2014, COCOON.

[3] Aleksandar Nikolov,et al. The geometry of differential privacy: the sparse and approximate cases , 2012, STOC '13.

[4] Cenny Wenner. Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width Four - (Extended Abstract) , 2012, APPROX-RANDOM.

[5] Johan Håstad,et al. On the Usefulness of Predicates , 2012, 2012 IEEE 27th Conference on Computational Complexity.

[6] Aleksandar Nikolov,et al. Tight hardness results for minimizing discrepancy , 2011, SODA '11.

[7] Elchanan Mossel. Gaussian Bounds for Noise Correlation of Functions , 2007, FOCS 2007.

[8] Subhash Khot,et al. On the power of unique 2-prover 1-round games , 2002, Proceedings 17th IEEE Annual Conference on Computational Complexity.

[9] Evangelos Kranakis,et al. Rigorous results for random (2+p)-SAT , 2001, Theor. Comput. Sci..

[10] Johan Håstad,et al. Some optimal inapproximability results , 2001, JACM.

[11] Ran Raz,et al. A parallel repetition theorem , 1995, STOC '95.