English

A note on local search for hitting sets

Discrete Mathematics 2023-04-26 v1

Abstract

Let π\pi be a property of pairs (G,Z)(G,Z), where GG is a graph and ZV(G)Z\subseteq V(G). In the \emph{minimum π\pi-hitting set problem}, given an input graph GG, we want to find a smallest set XV(G)X\subseteq V(G) such that XX intersects every set ZV(G)Z\subseteq V(G) such that (G,Z)(G,Z) has the property π\pi. An important special case is that π\pi is satisfied by (G,Z)(G,Z) exactly if G[Z]G[Z] is isomorphic to one of graphs in a finite set F\mathcal{F}; in this \emph{minimum F\mathcal{F}-hitting set} problem, XX needs to hit all appearances of the graphs from F\mathcal{F} as induced subgraphs of GG. In this note, we show that the local search argument of Har-Peled and Quanrud gives a PTAS for the minimum F\mathcal{F}-hitting set problem for graphs from any class with polynomial expansion. Moreover, we argue that the local search argument applies more generally to all properties π\pi such that one can test whether XX is a π\pi-hitting set in polynomial time and G[Z]G[Z] has bounded diameter whenever (G,Z)(G,Z) satisfies π\pi; this is a common generalization of the minimum F\mathcal{F}-hitting set problem and minimum rr-dominating set problem. Finaly, we note that the analogous claim also holds for the dual problem of finding the maximum number of disjoint sets ZZ such that (G,Z)(G,Z) has the property π\pi; this generalizes maximum FF-matching, maximum induced FF-matching, and maximum rr-independent set problems.

Cite

@article{arxiv.2304.12789,
  title  = {A note on local search for hitting sets},
  author = {Zdeněk Dvořák},
  journal= {arXiv preprint arXiv:2304.12789},
  year   = {2023}
}

Comments

12 pages, no figures

R2 v1 2026-06-28T10:17:09.248Z