Simple Approximation Algorithms for MAXNAESP and Hypergraph 2-colarability

  • Daya Ram Gaur
  • Ramesh Krishnamurti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1741)


Hypergraph 2-colorability, also known as set splitting, is a widely studied problem in graph theory. In this paper we study the maximization version of the same. We recast the problem as a special type of satisfiability problem and give approximation algorithms for it. Our results are valid for hypergraph 2-colorability, set splitting and MAX-CUT (which is a special case of hypergraph 2-colorability) because the reductions are approximation preserving. Here we study the MAXNAESP problem, the optimal solution to which is a truth assignment of the literals that maximizes the number of clauses satisfied. As a main result of the paper, we show that any locally optimal solution (a solution is locally optimal if its value cannot be increased by complementing assignments to literals and pairs of literals) is guaranteed a performance ratio of \( \frac{1} {2} + \in \) . This is an improvement over the ratio of \( \frac{1} {2} \) attributed to another local improvement heuristic for MAX-CUT [6]. In fact we provide a bound of \( \frac{k} {{k + 1}} \) for this problem, where k ≥ 3 is the minimum number of literals in a clause. Such locally optimal algorithms appear to subsume typical greedy algorithms that have been suggested for problems in the general domain of satisfiability. It should be noted that the NAESP problem where each clause has exactly two literals, is equivalent to MAX-CUT. However, obtaining good approximation ratios using semi-definite programming techniques [3] appears difficult. Also, the randomized rounding algorithm as well as the simple randomized algorithm both [4] yield a bound of \( \frac{1} {2} \) for the MAXNAESP problem. In contrast to this, the algorithm proposed in this paper obtains a bound of \( \frac{1} {2} + \in \) for this problem.


Approximation Algorithms Hypergraph 2-colorability Set Splitting MAXNAESP MAX-CUT 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Garey and D. Johnson. Computers and intractability: a guide to the theory of NP-Completeness. W. H. Freeman, 1979.Google Scholar
  2. 2.
    M. R. Garey, D. S. Johnson, and L. J. Stockmeyer. Some simplified np-complete graph problems. Theoretical Computer Science, 1:237–267, 1976.zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    M. Goemans and D. P. Williamson. 0.878 approximation algorithms for MAX-CUT and max-2sat. In Proceedings of the 26th. annual ACM symposium on theory of computing, pages 422–431, 1994.Google Scholar
  4. 4.
    M. Goemans and D. P. Williamson. New 3/4 approximation algorithms for MAX-CUT. SIAM J. Disc. Math., 7:656–666, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    D. Johnson. Approximation algorithms for combinatorial problems. Journal of Computer and Systems Science, 9:256–278, 1974.zbMATHCrossRefGoogle Scholar
  6. 6.
    C. Papadimitriou. Computational Complexity. Addison Wesley, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Daya Ram Gaur
    • 1
  • Ramesh Krishnamurti
    • 1
  1. 1.School of Computing ScienceSimon Fraser UniversityB.C

Personalised recommendations