References & Citations
Computer Science > Data Structures and Algorithms
Title: Generating faster algorithms for d-Path Vertex Cover
(Submitted on 10 Nov 2021 (v1), last revised 2 Jul 2023 (this version, v3))
Abstract: Many algorithms which exactly solve hard problems require branching on more or less complex structures in order to do their job. Those who design such algorithms often find themselves doing a meticulous analysis of numerous different cases in order to identify these structures and design suitable branching rules, all done by hand. This process tends to be error prone and often the resulting algorithm may be difficult to implement in practice.
In this work, we aim to automate a part of this process and focus on simplicity of the resulting implementation.
We showcase our approach on the following problem. For a constant $d$, the $d$-Path Vertex Cover problem ($d$-PVC) is as follows: Given an undirected graph and an integer $k$, find a subset of at most $k$ vertices of the graph, such that their deletion results in a graph not containing a path on $d$ vertices as a subgraph. We develop a fully automated framework to generate parameterized branching algorithms for the problem and obtain algorithms outperforming those previously known for $3 \le d \le 8$. E.g., we show that $5$-PVC can be solved in $O(2.7^k\cdot n^{O(1)})$ time.
Submission history
From: Radovan Červený [view email][v1] Wed, 10 Nov 2021 19:39:49 GMT (44kb)
[v2] Sun, 6 Nov 2022 19:35:48 GMT (265kb)
[v3] Sun, 2 Jul 2023 18:46:18 GMT (79kb)
Link back to: arXiv, form interface, contact.