Compression-based fixed-parameter algorithms for feedback vertex set and edge bipartization

We show that the NP-complete Feedback Vertex Set problem, which asks for the smallest set of vertices to remove from a graph to destroy all cycles, is deterministically solvable in O ( c k ⋅ m ) time. Here, m denotes the number of graph edges, k denotes the size of the feedback vertex set searched f...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computer and system sciences Jg. 72; H. 8; S. 1386 - 1396
Hauptverfasser: Guo, Jiong, Gramm, Jens, Hüffner, Falk, Niedermeier, Rolf, Wernicke, Sebastian
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.12.2006
Schlagworte:
ISSN:0022-0000, 1090-2724
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We show that the NP-complete Feedback Vertex Set problem, which asks for the smallest set of vertices to remove from a graph to destroy all cycles, is deterministically solvable in O ( c k ⋅ m ) time. Here, m denotes the number of graph edges, k denotes the size of the feedback vertex set searched for, and c is a constant. We extend this to an algorithm enumerating all solutions in O ( d k ⋅ m ) time for a (larger) constant d. As a further result, we present a fixed-parameter algorithm with runtime O ( 2 k ⋅ m 2 ) for the NP-complete Edge Bipartization problem, which asks for at most k edges to remove from a graph to make it bipartite.
ISSN:0022-0000
1090-2724
DOI:10.1016/j.jcss.2006.02.001