Source author record

Radovan Červený

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
1topics
2close collaborators

Published work

2 publications

preprint2022arXiv

Faster FPT Algorithm for 5-Path Vertex Cover

The problem of dd-Path Vertex Cover, dd-PVC lies in determining a subset FF of vertices of a given graph G=(V,E)G=(V,E) such that G∖FG \setminus F does not contain a path on dd vertices. The paths we aim to cover need not to be induced. It is known that the dd-PVC problem is NP-complete for any d≥2d \ge 2. When parameterized by the size of the solution kk, 5-PVC has direct trivial algorithm with O(5knO(1))\mathcal{O}(5^kn^{\mathcal{O}(1)}) running time and, since dd-PVC is a special case of dd-Hitting Set, an algorithm running in O(4.0755knO(1))\mathcal{O}(4.0755^kn^{\mathcal{O}(1)}) time is known. In this paper we present an iterative compression algorithm that solves the 5-PVC problem in O(4knO(1))\mathcal{O}(4^kn^{\mathcal{O}(1)}) time.

preprint2022arXiv

On Kernels for d-Path Vertex Cover

In this paper we study the kernelization of the dd-Path Vertex Cover (dd-PVC) problem. Given a graph GG, the problem requires finding whether there exists a set of at most kk vertices whose removal from GG results in a graph that does not contain a path (not necessarily induced) with dd vertices. It is known that dd-PVC is NP-complete for d≥2d\geq 2. Since the problem generalizes to dd-Hitting Set, it is known to admit a kernel with O(dkd)\mathcal{O}(dk^d) edges. We improve on this by giving better kernels. Specifically, we give kernels with O(k2)\mathcal{O}(k^2) vertices and edges for the cases when d=4d=4 and d=5d=5. Further, we give a kernel with O(k4d2d+9)\mathcal{O}(k^4d^{2d+9}) vertices and edges for general dd.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.