Advertisement

Semidefinite programming and its applications to NP problems

  • Roman Bačík
  • Sanjeev Mahajan
Session 10A: Complexity Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 959)

Abstract

The graph homomorphism problem is a canonical NP-complete problem in a sense that it generalizes various other well-studied problems such as graph coloring and finding cliques. To get a better insight into a combinatorial problem, one often studies relaxations of the problem. We define fractional homomorphisms and pseudo-homomorphisms as natural relaxations of graph homomorphisms. In their paper [4], Feige and Lovász defined a semidefinite relaxation of the homomorphism problem, which allowed them to obtain polynomial time algorithms for certain special cases of the problem. Their relaxation is defined in terms of the solution to a semidefinite program. Hence a characterization of their relaxation in terms of known combinatorial notions is desirable. We show that our pseudo-homomorphism is equivalent to the relaxation defined by Feige and Lovász [4]. Although general graph homomorphism does not admit a simple forbidden subgraph characterization, surprisingly we can show that there is a simple forbidden subgraph characterization of the fractional homomorphism (the forbidden subgraph is a clique in this case). As a byproduct, we obtain a simpler proof of the NP hardness of the fractional chromatic number, first proved by Grötschel, Lovász and Schrijver using the ellipsoid method [6] Finally, we briefly discuss how to apply these techniques to general NP problems and describe a unified setting in which a wide variety of seemingly disparate polynomial time problems can be decided.

Keywords

Polynomial Time Algorithm Semidefinite Program Truth Assignment Ellipsoid Method Semidefinite Relaxation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bačík R. and Mahajan S.: Semidefinite Programming and its Applications to NP Problems. Electronic Colloquium on Computational Complexity (1995) TR95-011Google Scholar
  2. 2.
    Chvátal V.: Linear Programming. W.H. Freeman and Company (1983), New York.Google Scholar
  3. 3.
    Feder T. and Vardi M.Y.: Monotone Monadic SNP and constraint Satisfaction. 25th ACM Symposium on Theory of Computing (1993) 612–622Google Scholar
  4. 4.
    Feige U. and Lovász L.: Two-Prover One-Round Proof Systems: Their Power and Their Problems. 24th Annual ACM Symposium on Theory of Computing (1992) 733–744Google Scholar
  5. 5.
    Goemans M.X. and Williamson D.P.:. 878-Approximation Algorithms for MAX CUT and MAX 2SAT. 26th Annual ACM Symposium on Theory of Computing (1994) 422–431Google Scholar
  6. 6.
    Grötschel M., Lovász L. and Schrijver A.: The Ellipsoid Method and Its Consequences in Combinatorial Optimization. Combinatorica 1(2) (1981) 169–197Google Scholar
  7. 7.
    Häggkvist R., Hell P., Miller D. J., and Neumann Lara V.: On Multiplicative Graphs and the Product Conjecture. Combibatorica 8(1) (1988) 63–74CrossRefGoogle Scholar
  8. 8.
    Hell P., Nešetřil J. and Zhu X.: Duality and Polynomial Testing of Tree Homomorphism. Manuscript (1994)Google Scholar
  9. 9.
    Hell P., Nešetřil J. and Zhu X.: Duality of graph homomorphism. Combinatorics Paul Erdös is Eighty 2, Bolyai Society Mathematical Studies, Budapest (to appear)Google Scholar
  10. 10.
    Hell P. and Nešetřil J.: On the complexity of H-colouring. J. Combin. Th. (B) 48 (1990) 92–110CrossRefGoogle Scholar
  11. 11.
    Hell P. and Zhu X.: Homomorphism to oriented paths. Discrete Math. (to appear)Google Scholar
  12. 12.
    Karger D., Motwani R. and Sudan M.: Approximate Graph Coloring by Semidefinite Programming. 35th Annual IEEE Symposium on Foundations of Computer Science (1994) 2–13Google Scholar
  13. 13.
    Knuth D.E.: The Sandwich Theorem. The Electronic Journal of Combinatorics 1 (1994) #A1.Google Scholar
  14. 14.
    Lovász L.: On the Shannon Capacity of a Graph. Transactions on Information Theory II-25 No.1 (1979) 1–6CrossRefGoogle Scholar
  15. 15.
    Schrijver A.: A comparison of the Delsarte and Lovász Bounds. IEEE Transactions on Information Theory 25 No.4 (1979)Google Scholar
  16. 16.
    Szegedy M.: A note on the θ number of Lovász and the generalized Delsarte bound. 35th Annual IEEE Symposium on Foundations of Computer Science (1994) 36–39Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Roman Bačík
    • 1
  • Sanjeev Mahajan
    • 2
  1. 1.School of Computing ScienceSimon Fraser UniversityCanada
  2. 2.Max Planck Institut für Informatik, Im StadtwaldSaarbrückenGermany

Personalised recommendations