An SDP primal-dual algorithm for approximating the Lovász-theta function

The Lovasz ϑ-function [Lov79] on a graph G = (V,E) can be defined as the maximum of the sum of the entries of a positive semidefinite matrix X, whose trace Tr(X) equals 1, and X ij = 0 whenever {i, j} ∈ E. This function appears as a subroutine for many algorithms for graph problems such as maximum independent set and maximum clique. We apply Arora and Kale's primal-dual method for SDP to design an approximate algorithm for the ϑ-function with an additive error of δ ≫ 0, which runs in time O(α2n2/δ2 log n · M e ), where α = ϑ(G) and M e = O(n3) is the time for a matrix exponentiation operation. Moreover, our techniques generalize to the weighted Lovasz ϑ-function, and both the maximum independent set weight and the maximum clique weight for vertex weighted perfect graphs can be approximated within a factor of (1+∊) in time O(∊−2n5 log n).

[1]  Gene H. Golub,et al.  Matrix computations (3rd ed.) , 1996 .

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

[3]  L. Lovász,et al.  Geometric Algorithms and Combinatorial Optimization , 1981 .

[4]  Sanjeev Arora,et al.  O(/spl radic/log n) approximation to SPARSEST CUT in O/spl tilde/(n/sup 2/) time , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[5]  Sanjeev Arora,et al.  A combinatorial, primal-dual approach to semidefinite programs , 2007, STOC '07.

[6]  Friedrich Eisenbrand,et al.  A combinatorial algorithm for computing a maximum independent set in a t-perfect graph , 2003, SODA '03.

[7]  Marlis Hochbruck,et al.  Preconditioning Lanczos Approximations to the Matrix Exponential , 2005, SIAM J. Sci. Comput..

[8]  P. Seymour,et al.  The Strong Perfect Graph Theorem , 2002, math/0212070.

[9]  Madhu V. Nayakkankuppam,et al.  Primal-dual interior-point methods for semidefinite programming: numerical experience with block-diagonal problems , 1996, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design.

[10]  Elad Hazan,et al.  O(/spl radic/log n) approximation to SPARSEST CUT in O/spl tilde/(n/sup 2/) time , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[11]  David R. Karger,et al.  Approximate graph coloring by semidefinite programming , 1998, JACM.

[12]  P. Seymour How the proof of the strong perfect graph conjecture was found , 2006 .

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

[14]  Claude E. Shannon,et al.  The zero error capacity of a noisy channel , 1956, IRE Trans. Inf. Theory.

[15]  Éva Tardos,et al.  Fast Approximation Algorithms for Fractional Packing and Covering Problems , 1995, Math. Oper. Res..

[16]  M. Golumbic Algorithmic graph theory and perfect graphs , 1980 .

[17]  Jochen Könemann,et al.  Faster and simpler algorithms for multicommodity flow and other fractional packing problems , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[18]  Victor Y. Pan,et al.  The complexity of the matrix eigenproblem , 1999, STOC '99.

[19]  Paul D. Seymour,et al.  Recognizing Berge Graphs , 2005, Comb..

[20]  Gene H. Golub,et al.  Matrix computations , 1983 .

[21]  Hsueh-I Lu,et al.  Efficient approximation algorithms for semidefinite programs arising from MAX CUT and COLORING , 1996, STOC '96.

[22]  Donald E. Knuth The Sandwich Theorem , 1994, Electron. J. Comb..

[23]  Vijay V. Vazirani Primal-Dual Schema Based Approximation Algorithms (Abstract) , 1995, COCOON.

[24]  L. Lovász,et al.  Polynomial Algorithms for Perfect Graphs , 1984 .

[25]  Oded Regev,et al.  Simulating Quantum Correlations with Finite Communication , 2007, FOCS.