A Cubic Kernel for Feedback Vertex Set and Loop Cutset

The Feedback Vertex Set problem on unweighted, undirected graphs is considered. Improving upon a result by Burrage et al. (Proceedings 2nd International Workshop on Parameterized and Exact Computation, pp. 192–202, 2006 ), we show that this problem has a kernel with O ( k 3 ) vertices, i.e., there i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory of computing systems Jg. 46; H. 3; S. 566 - 597
Hauptverfasser: Bodlaender, Hans L., van Dijk, Thomas C.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer-Verlag 01.04.2010
Springer Nature B.V
Schlagworte:
Algorithms
Approximation
Computer Science
Data analysis
Graph theory
Graphs
Linear programming
Polynomials
Studies
Theory of Computation
Algorithms
Preprocessing
Feedback vertex set
Kernelization algorithms
Loop cutset
Graphs
Polynomial kernels
Data reduction
Fixed parameter tractability
ISSN:1432-4350, 1433-0490
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The Feedback Vertex Set problem on unweighted, undirected graphs is considered. Improving upon a result by Burrage et al. (Proceedings 2nd International Workshop on Parameterized and Exact Computation, pp. 192–202, 2006 ), we show that this problem has a kernel with O ( k 3 ) vertices, i.e., there is a polynomial time algorithm, that given a graph G and an integer k , finds a graph G ′ with O ( k 3 ) vertices and integer k ′≤ k , such that G has a feedback vertex set of size at most k , if and only if G ′ has a feedback vertex set of size at most k ′. Moreover, the algorithm can be made constructive: if the reduced instance G ′ has a feedback vertex set of size k ′, then we can easily transform a minimum size feedback vertex set of G ′ into a minimum size feedback vertex set of G . This kernelization algorithm can be used as the first step of an FPT algorithm for Feedback Vertex Set , but also as a preprocessing heuristic for Feedback Vertex Set . We also show that the related Loop Cutset problem also has a kernel of cubic size. The kernelization algorithms are experimentally evaluated, and we report on these experiments.
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1432-4350
1433-0490
DOI:10.1007/s00224-009-9234-2