0.935 - Approximation Randomized Algorithm for MAX 2SAT and Its Derandomization

In this paper, we propose 0.935-approximation algorithm for MAX 2SAT. The approximation ratio is better than the previously known result by Zwick, which is equal to 0.93109. The algorithm solves the SDP relaxation problem proposed by Goemans and Williamson for the first time. We do not use the ‘rotation’ technique proposed by Feige and Goemans. We improve the approximation ratio by using hyperplane separation technique with skewed distribution function on the sphere. We introduce a class of skewed distribution functions defined on the 2-dimensional sphere satisfying that for any function in the class, we can design a skewed distribution functions on any dimensional sphere without decreasing the approximation ratio. We also searched and found a good distribution function defined on the 2-dimensional sphere numerically. And we propose the derandomized algorithm for the introduced distribution functions.

[1]  Tomomi Matsui,et al.  63-Approximation Algorithm for MAX DICUT , 2001, RANDOM-APPROX.

[2]  Uri Zwick,et al.  Combinatorial approximation algorithms for the maximum directed cut problem , 2001, SODA '01.

[3]  Tomomi Matsui,et al.  0.863-Approximation Algorithm for MAX DICUT , 2001 .

[4]  Refael Hassin,et al.  An approximation algorithm for MAX DICUT with given sizes of parts , 2000, APPROX.

[5]  U. Zwick Analyzing the MAX 2-SAT and MAX DI-CUT approximation algorithms of Feige and Goemans , 2000 .

[6]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[7]  Ramesh Hariharan,et al.  Derandomizing semidefinite programming based approximation algorithms , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[8]  Farid Alizadeh,et al.  Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization , 1995, SIAM J. Optim..

[9]  Uriel Feige,et al.  Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

[10]  László Lovász,et al.  Two-prover one-round proof systems: their power and their problems (extended abstract) , 1992, STOC '92.

[11]  László Lovász,et al.  On the Shannon capacity of a graph , 1979, IEEE Trans. Inf. Theory.

[12]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .