Approximate graph coloring by semidefinite programming
- 1 March 1998
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 45 (2) , 246-265
- https://doi.org/10.1145/274787.274791
Abstract
We consider the problem of coloring k -colorable graphs with the fewest possible colors. We present a randomized polynomial time algorithm that colors a 3-colorable graph on n vertices with min{ O (Δ 1/3 log 1/2 Δ log n ), O ( n 1/4 log 1/2 n )} colors where Δ is the maximum degree of any vertex. Besides giving the best known approximation ratio in terms of n , this marks the first nontrivial approximation result as a function of the maximum degree Δ. This result can be generalized to k -colorable graphs to obtain a coloring using min{ O (Δ 1-2/ k log 1/2 Δ log n ), O ( n 1−3/( k +1) log 1/2 n )} colors. Our results are inspired by the recent work of Goemans and Williamson who used an algorithm for semidefinite optimization problems , which generalize linear programs, to obtain improved approximations for the MAX CUT and MAX 2-SAT problems. An intriguing outcome of our work is a duality relationship established between the value of the optimum solution to our semidefinite program and the Lovász θ-function. We show lower bounds on the gap between the optimum solution of our semidefinite program and the actual chromatic number; by duality this also demonstrates interesting new facts about the θ-function.Keywords
All Related Versions
This publication has 22 references indexed in Scilit:
- Approximating the independence number via theϑ-functionMathematical Programming, 1998
- An algorithm for 3-colorable graphsInformation Processing Letters, 1997
- Interactive proofs and the hardness of approximating cliquesJournal of the ACM, 1996
- Interior Point Methods in Semidefinite Programming with Applications to Combinatorial OptimizationSIAM Journal on Optimization, 1995
- New approximation algorithms for graph coloringJournal of the ACM, 1994
- Approximating maximum independent sets by excluding subgraphsBIT Numerical Mathematics, 1992
- Proof verification and hardness of approximation problemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Probability Approximations via the Poisson Clumping HeuristicPublished by Springer Nature ,1989
- Forbidden intersectionsTransactions of the American Mathematical Society, 1987
- Register allocation via coloringComputer Languages, 1981