Mathematical Programming

, Volume 135, Issue 1, pp 123–148

On linear and semidefinite programming relaxations for hypergraph matching

Full Length Paper Series A

DOI: 10.1007/s10107-011-0451-5

Cite this article as:
Chan, Y.H. & Lau, L.C. Math. Program. (2012) 135: 123. doi:10.1007/s10107-011-0451-5


The hypergraph matching problem is to find a largest collection of disjoint hyperedges in a hypergraph. This is a well-studied problem in combinatorial optimization and graph theory with various applications. The best known approximation algorithms for this problem are all local search algorithms. In this paper we analyze different linear and semidefinite programming relaxations for the hypergraph matching problem, and study their connections to the local search method. Our main results are the following:
  • We consider the standard linear programming relaxation of the problem. We provide an algorithmic proof of a result of Füredi, Kahn and Seymour, showing that the integrality gap is exactly \({k-1+\frac{1}{k}}\) for k-uniform hypergraphs, and is exactly k − 1 for k-partite hypergraphs. This yields an improved approximation algorithm for the weighted 3-dimensional matching problem. Our algorithm combines the use of the iterative rounding method and the fractional local ratio method, showing a new way to round linear programming solutions for packing problems.

  • We study the strengthening of the standard LP relaxation by local constraints. We show that, even after linear number of rounds of the Sherali-Adams lift-and-project procedure on the standard LP relaxation, there are k-uniform hypergraphs with integrality gap at least k − 2. On the other hand, we prove that for every constant k, there is a strengthening of the standard LP relaxation by only a polynomial number of constraints, with integrality gap at most \({\frac{k+1}{2}}\) for k-uniform hypergraphs. The construction uses a result in extremal combinatorics.

  • We consider the standard semidefinite programming relaxation of the problem. We prove that the Lovász \({\vartheta}\) -function provides an SDP relaxation with integrality gap at most \({\frac{k+1}{2}}\) . The proof gives an indirect way (not by a rounding algorithm) to bound the ratio between any local optimal solution and any optimal SDP solution. This shows a new connection between local search and linear and semidefinite programming relaxations.


Linear programming Semidefinite programming Hypergraph matching Rounding algorithm 

Mathematics Subject Classification (2000)

90C05 90C22 90C27 68W25 05C65 

Copyright information

© Springer and Mathematical Optimization Society 2011

Authors and Affiliations

  1. 1.Department of Computer Science and EngineeringThe Chinese University of Hong KongShatinHong Kong