We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DS

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Data Structures and Algorithms

Title: Search-Space Reduction via Essential Vertices

Abstract: We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total instance size, our focus is on finding a non-empty vertex set that belongs to an optimal solution. This decreases the size of the remaining part of the solution which still has to be found, and therefore shrinks the search space of fixed-parameter tractable algorithms for parameterizations based on the solution size. We introduce the notion of a c-essential vertex as one that is contained in all c-approximate solutions. For several classic combinatorial problems such as Odd Cycle Transversal and Directed Feedback Vertex Set, we show that under mild conditions a polynomial-time preprocessing algorithm can find a subset of an optimal solution that contains all 2-essential vertices, by exploiting packing/covering duality. This leads to FPT algorithms to solve these problems where the exponential term in the running time depends only on the number of non-essential vertices in the solution.
Comments: Conference version to appear at the European Symposium on Algorithms (ESA 2022)
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
MSC classes: 68W99
ACM classes: F.2.0
Cite as: arXiv:2207.00386 [cs.DS]
  (or arXiv:2207.00386v1 [cs.DS] for this version)

Submission history

From: Benjamin Merlin Bumpus [view email]
[v1] Fri, 1 Jul 2022 12:49:17 GMT (1025kb,D)

Link back to: arXiv, form interface, contact.