Approximation algorithms for MAX-3-CUT and other problems via complex semidefinite programming

• Authors: Michel X. Goemans;David Williamson
• Venue: STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
• Year: 2001

A number of recent papers on approximation algorithms have used the square roots of unity, -1 and 1 to represent binary decision variables for problems in combinatorial optimization, and have relaxed these to unit vectors in real space using semidefinite programming in order to obtain near optimal solutions to these problems. In this paper, we consider using the cube roots of unity, 1, ei2&pgr;/3, to represent ternary decision variables for problems in combinatorial optimization. Here the natural relaxation is that of unit vectors in complex space. We use an extension of semidefinite programming to complex space to solve the natural relaxation, and use a natural extension of the random hyperplane technique introduced by the authors in [8] to obtain near-optimal solutions to the problems. In particular, we consider the problem of maximizing the total weight of satisfied equations xu-xv≡cmod 3 and inequations xu-xv≢cmod 3 , where xu∈0,1,2 u. This problem can be used to model the MAX-3-CUT problem and a directed variant we call MAX-3-DICUT. For the general problem, we obtain a .79373-approximation algorithm. If the instance contains only inequations (as it does for MAX-3-CUT), we obtain a performance guarantee of 712+34p 2arccos2 -1/4≈.83601. This compares with proven performance guarantees of .800217 for MAX-3-CUT (by Frieze and Jerrum [7]) and 13+10-8 for the general problem (by Andersson, Engebretson, and Håstad [2]). It matches the guarantee of .836008 for MAX-3-CUT found independently by de Klerk, Pasechnik, and Warners [4]. We show that all these algorithms are in fact identical in the case of MAX-3-CUT.