Inapproximability of Minimum Vertex Cover on k-Uniform k-Partite Hypergraphs

We study the problem of computing the minimum vertex cover on $k$-uniform $k$-partite hypergraphs when the $k$-partition is given. On bipartite graphs (k=2), the minimum vertex cover can be computed in polynomial time. For $k \ge 3,$ this problem is known to be NP-hard. For general $k$, the problem was studied by Lovasz, who gave a $\frac{k}{2}$-approximation based on the standard LP relaxation. Subsequent work by Aharoni, Holzman, and Krivelevich showed a tight integrality gap of $(\frac{k}{2} - o(1))$ for the LP relaxation. We further investigate the inapproximability of minimum vertex cover on $k$-uniform $k$-partite hypergraphs and present the following results (here $\varepsilon > 0$ is an arbitrarily small constant): NP-hardness of obtaining an approximation factor of $(\frac{k}{4} - \varepsilon)$ for even $k$ and $(\frac{k}{4} - \frac{1}{4k} - \varepsilon)$ for odd $k$, NP-hardness of obtaining a nearly optimal approximation factor of $(\frac{k}{2}-1+\frac{1}{2k}-\varepsilon)$, and an optimal uniqu...

[1]  Rajeev Motwani,et al.  Online Distributed Predicate Evaluation , 2003 .

[2]  Roberto Solis-Oba,et al.  Reducing the Size of NFAs by Using Equivalences and Preorders , 2005, CPM.

[3]  Venkatesan Guruswami,et al.  A New Multilayered PCP and the Hardness of Hypergraph Vertex Cover , 2005, SIAM J. Comput..

[4]  Georg Gottlob,et al.  Schema mapping discovery from data instances , 2010, JACM.

[5]  Jonas Holmerin,et al.  Improved Inapproximability Results for Vertex Cover on k -Uniform Hypergraphs , 2002, ICALP.

[6]  Prasad Raghavendra,et al.  Optimal algorithms and inapproximability results for every CSP? , 2008, STOC.

[7]  Venkatesan Guruswami,et al.  On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs , 2010, ICALP.

[8]  Noga Alon,et al.  Uniformly cross intersecting families , 2009, Comb..

[9]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.

[10]  Sanjeev Arora,et al.  Probabilistic checking of proofs; a new characterization of NP , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[11]  Subhash Khot,et al.  Vertex cover might be hard to approximate to within 2-epsilon , 2008, J. Comput. Syst. Sci..

[12]  Ran Raz,et al.  A parallel repetition theorem , 1995, STOC '95.

[13]  Rishi Saket,et al.  Nearly Optimal NP-Hardness of Vertex Cover on k-Uniform k-Partite Hypergraphs , 2011, APPROX-RANDOM.

[14]  Nisheeth K. Vishnoi,et al.  On LP-based approximability for strict CSPs , 2011, SODA '11.

[15]  Subhash Khot,et al.  Inapproximability of Hypergraph Vertex Cover and Applications to Scheduling Problems , 2010, ICALP.

[16]  S. Safra,et al.  On the hardness of approximating minimum vertex cover , 2005 .

[17]  Elchanan Mossel,et al.  Gaussian Bounds for Noise Correlation of Functions and Tight Analysis of Long Codes , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[18]  Ron Holzman,et al.  On a theorem of lovász on covers inr-partite hypergraphs , 1996, Comb..

[19]  Luca Trevisan,et al.  Non-approximability results for optimization problems on bounded degree instances , 2001, STOC '01.

[20]  Carsten Lund,et al.  Proof verification and the hardness of approximation problems , 1998, JACM.

[21]  Subhash Khot On the power of unique 2-prover 1-round games , 2002, STOC '02.

[22]  Eran Halperin,et al.  Improved approximation algorithms for the vertex cover problem in graphs and hypergraphs , 2000, SODA '00.

[23]  R. Graham,et al.  Handbook of Combinatorics , 1995 .

[24]  Subhash Khot,et al.  Inapproximability of Vertex Cover and Independent Set in Bounded Degree Graphs , 2009, Computational Complexity Conference.

[25]  George Karakostas,et al.  A better approximation ratio for the vertex cover problem , 2005, TALG.

[26]  Venkatesan Guruswami,et al.  Vertex Cover on k-Uniform Hypergraphs is Hard to Approximate within Factor (k-3-epsilon) , 2002, Electron. Colloquium Comput. Complex..