Abstract

Given an undirected graph $G = (V_G, E_G)$ and a fixed “pattern” graph $H = (V_H, E_H)$ with $k$ vertices, we consider the $H$-Transversal and $H$-Packing problems. The former asks to find the smallest $S \subseteq V_G$ such that the subgraph induced by $V_G \setminus S$ does not have $H$ as a subgraph, and the latter asks to find the maximum number of pairwise disjoint $k$-subsets $S_1, \ldots, S_m \subseteq V_G$ such that the subgraph induced by each $S_i$ has $H$ as a subgraph. We prove that if $H$ is 2-connected, $H$-Transversal and $H$-Packing are almost as hard to approximate as general $k$-Hypergraph Vertex Cover and $k$-Set Packing, so it is NP-hard to approximate them within a factor of $\Omega (k)$ and $\widetilde \Omega (k)$, respectively. We also show that there is a 1-connected $H$ where $H$-Transversal admits an $O(\log k)$-approximation algorithm, so that the connectivity requirement cannot be relaxed from 2 to 1. For a special case of $H$-Transversal where $H$ is a (family of) cycles, we m...

Highlights

  • Given a collection of subsets S1, ..., Sm of the underlying set U, the Set Transversal problem asks to find the smallest subset of U that intersects every Si, and the Set Packing problem asks to find the largest subcollection Si1, ..., Sim which are pairwise disjoint

  • Set Transversal and Set Packing are known as k-Hypergraph

  • We give a simple sufficient condition that implies strong inapproximability – if H is 2-vertex connected, H-Transversal and H-Packing are almost as hard to approximate as k-HypergraphVertex cover (k-HVC) and k-Set Packing (k-SP)

Read more

Summary

Introduction

Given a collection of subsets S1, ..., Sm of the underlying set U , the Set Transversal problem asks to find the smallest subset of U that intersects every Si, and the Set Packing problem asks to find the largest subcollection Si1 , ..., Sim which are pairwise disjoint. It is clear that optimum of the former is always at least that of the latter (i.e. weak duality holds). Given a large graph G = (VG, EG) and a fixed graph H = (VH , EH ) with k vertices, one of the natural attempts to further restrict set systems is to set U = VG, and take the collection of subsets to be all copies of H in G (formally defined in the subsection) This natural representation in graphs often results in a deeper understanding of the underlying structure and better algorithms, with Maximum Matching (H = K2) being the most well-known example. We give a simple sufficient condition that implies strong inapproximability – if H is 2-vertex connected, H-Transversal and H-Packing are almost as hard to approximate as k-HVC and k-SP. We state our main results, review related work, and state potential future directions

Problems and Our Results
Related Work and Special Cases
Cycles
Cliques
Open Problems
Organization
Notation
H-Transversal
Reduction
Completeness
Soundness
H-Packing and MIS-k-g
A Approximation Algorithm for k-Star Transversal
Iterative Sherali-Adams
Constrained Set Multicover
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.