Abstract:We study a general family of problems that form a common generalization of classic hitting (also referred to as covering or transversal) and packing problems. An instance of X-HitPack asks: Can removing k (deletable) vertices of a graph G prevent us from packing $\ell$ vertex-disjoint objects of type X? This problem captures a spectrum of problems with standard hitting and packing on opposite ends. Our main motivating question is whether the combination X-HitPack can be significantly harder than these two base problems. Already for a particular choice of X, this question can be posed for many different complexity notions, leading to a large, so-far unexplored domain in the intersection of the areas of hitting and packing problems. On a high-level, we present two case studies: (1) X being all cycles, and (2) X being all copies of a fixed graph H. In each, we explore the classical complexity, as well as the parameterized complexity with the natural parameters k+l and treewidth. We observe that the combined problem can be drastically harder than the base problems: for cycles or for H being a connected graph with at least 3 vertices, the problem is \Sigma_2^P-complete and requires double-exponential dependence on the treewidth of the graph (assuming the Exponential-Time Hypothesis). In contrast, the combined problem admits qualitatively similar running times as the base problems in some cases, although significant novel ideas are required. For example, for X being all cycles, we establish a 2^poly(k+l)n^O(1) algorithm using an involved branching method. Also, for X being all edges (i.e., H = K_2; this combines Vertex Cover and Maximum Matching) the problem can be solved in time 2^\poly(tw)n^O(1) on graphs of treewidth tw. The key step enabling this running time relies on a combinatorial bound obtained from an algebraic (linear delta-matroid) representation of possible matchings.

An Improved Kernelization for P2-packing

On Rectangle Packing: Maximizing Benefits.

A 17/10-approximation algorithm for κ-bounded space on-line variable-sized bin packing

Maximizing the Number of Packed Rectangles

The Path Set Packing Problem

An Improved Pyramid Matching Kernel.

A 17/10-Approximation Algorithm for K -Bounded Space On-Line Variable-Sized Bin Packing

The FFD Algorithm for the Bin Packing Problem with Kernel Items

No Polynomial Kernels for Knapsack

Improved pyramid matching kernel for high dimension

Hardness of lazy packing and covering

Parameterized Complexity of Path Set Packing

Kernelizing Problems on Planar Graphs in Sublinear Space and Polynomial Time

An Improved Kernel and Parameterized Algorithm for Almost Induced Matching

On the Parameterized Complexity of Compact Set Packing

Hitting Meets Packing: How Hard Can it Be?

Kernelization of Counting Problems

Kernelization for Counting Problems on Graphs: Preserving the Number of Minimum Solutions

Deterministic Parameterized Algorithms for Matching and Packing Problems

Lower Bounds for Kernelizations and Other Preprocessing Procedures

On polynomial kernelization for Stable Cutset