An O( OPT)-approximation for covering and packing minor models of _r

From MaRDI portal
Publication:1751097



Abstract: Given two graphs G and H, we define extsfv−coverH(G) (resp. extsfe−coverH(G)) as the minimum number of vertices (resp. edges) whose removal from G produces a graph without any minor isomorphic to H. Also extsfv−packH(G) (resp. extsfv−packH(G)) is the maximum number of vertex- (resp. edge-) disjoint subgraphs of G that contain a minor isomaorphic to H. We denote by hetar the graph with two vertices and r parallel edges between them. When H=hetar, the parameters extsfv−coverH, extsfe−coverH, extsfv−packH, and extsfv−packH are NP-hard to compute (for sufficiently big values of r). Drawing upon combinatorial results in [Minors in graphs of large hetar-girth, Chatzidimitriou et al., arXiv:1510.03041], we give an algorithmic proof that if extsfv−packhetar(G)leqk, then extsfv−coverhetar(G)=O(klogk), and similarly for extsfv−packhetar and extsfe−coverhetar. In other words, the class of graphs containing hetar as a minor has the vertex/edge ErdH{o}s-P'osa property, for every positive integer r. Using the algorithmic machinery of our proofs, we introduce a unified approach for the design of an O(logmOPT)-approximation algorithm for extsfv−packhetar, extsfv−coverhetar, extsfv−packhetar, and extsfe−coverhetar that runs in O(ncdotlog(n)cdotm) steps. Also, we derive several new ErdH{o}s-P'osa-type results from the techniques that we introduce.




Cites work









This page was built for publication: An \(O(\log \mathrm{OPT})\)-approximation for covering and packing minor models of \(\theta _r\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1751097)