11 research outputs found
Faster FPT Algorithm for 5-Path Vertex Cover
The problem of d-Path Vertex Cover, d-PVC lies in determining a subset F of vertices of a given graph G=(V,E) such that G F does not contain a path on d vertices. The paths we aim to cover need not to be induced. It is known that the d-PVC problem is NP-complete for any d >= 2. When parameterized by the size of the solution k, 5-PVC has direct trivial algorithm with O(5^kn^{O(1)}) running time and, since d-PVC is a special case of d-Hitting Set, an algorithm running in O(4.0755^kn^{O(1)}) time is known. In this paper we present an iterative compression algorithm that solves the 5-PVC problem in O(4^kn^{O(1)}) time
Generating faster algorithms for d-Path Vertex Cover
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 , the
-Path Vertex Cover problem (-PVC) is as follows: Given an undirected
graph and an integer , find a subset of at most vertices of the graph,
such that their deletion results in a graph not containing a path on
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 . E.g., we show that
-PVC can be solved in time
TS-Reconfiguration of -Path Vertex Covers in Caterpillars for
A -path vertex cover (-PVC) of a graph is a vertex subset such that each path on vertices in contains at least one member of . Imagine that a token is placed on each vertex of a -PVC. Given two -PVCs of a graph , the -Path Vertex Cover Reconfiguration (-PVCR) under Token Sliding () problem asks if there is a sequence of -PVCs between and where each intermediate member is obtained from its predecessor by sliding a token from some vertex to one of its unoccupied neighbors. This problem is known to be -complete even for planar graphs of maximum degree and bounded treewidth and can be solved in polynomial time for paths and cycles. Its complexity for trees remains unknown. In this paper, for , we present a polynomial-time algorithm that solves -PVCR under for caterpillars (i.e., trees formed by attaching leaves to a path)
Reconfiguring k-Path Vertex Covers
A vertex subset I of a graph G is called a k-path vertex cover if every path on k vertices in G contains at least one vertex from I. The K-PATH VERTEX COVER RECONFIGURATION (K-PVCR) problem asks if one can transform one k-path vertex cover into another via a sequence of k-path vertex covers where each intermediate member is obtained from its predecessor by applying a given reconfiguration rule exactly once. We investigate the computational complexity of K-PVCR from the viewpoint of graph classes under the well-known reconfiguration rules: TS, TJ, and TAR. The problem for k=2, known as the VERTEX COVER RECONFIGURATION (VCR) problem, has been well-studied in the literature. We show that certain known hardness results for VCR on different graph classes can be extended for K-PVCR. In particular, we prove a complexity dichotomy for K-PVCR on general graphs: on those whose maximum degree is three (and even planar), the problem is PSPACE-complete, while on those whose maximum degree is two (i.e., paths and cycles), the problem can be solved in polynomial time. Additionally, we also design polynomial-time algorithms for K-PVCR on trees under each of TJ and TAR. Moreover, on paths, cycles, and trees, we describe how one can construct a reconfiguration sequence between two given k-path vertex covers in a yes-instance. In particular, on paths, our constructed reconfiguration sequence is shortest
Reconfiguring k-path vertex covers
A vertex subset of a graph is called a -path vertex cover if every
path on vertices in contains at least one vertex from . The
\textsc{-Path Vertex Cover Reconfiguration (-PVCR)} problem asks if one
can transform one -path vertex cover into another via a sequence of -path
vertex covers where each intermediate member is obtained from its predecessor
by applying a given reconfiguration rule exactly once. We investigate the
computational complexity of \textsc{-PVCR} from the viewpoint of graph
classes under the well-known reconfiguration rules: ,
, and . The problem for , known as the
\textsc{Vertex Cover Reconfiguration (VCR)} problem, has been well-studied in
the literature. We show that certain known hardness results for \textsc{VCR} on
different graph classes including planar graphs, bounded bandwidth graphs,
chordal graphs, and bipartite graphs, can be extended for \textsc{-PVCR}. In
particular, we prove a complexity dichotomy for \textsc{-PVCR} on general
graphs: on those whose maximum degree is (and even planar), the problem is
-complete, while on those whose maximum degree is (i.e.,
paths and cycles), the problem can be solved in polynomial time. Additionally,
we also design polynomial-time algorithms for \textsc{-PVCR} on trees under
each of and . Moreover, on paths, cycles, and
trees, we describe how one can construct a reconfiguration sequence between two
given -path vertex covers in a yes-instance. In particular, on paths, our
constructed reconfiguration sequence is shortest.Comment: 29 pages, 4 figures, to appear in WALCOM 202