an:06236256
Zbl 1400.05234
Bodlaender, Hans L.; Kratsch, Stefan; Kreuzen, Vincent J. C.
Fixed-parameter tractability and characterizations of small special treewidth
EN
Brandstädt, Andreas (ed.) et al., Graph-theoretic concepts in computer science. 39th international workshop, WG 2013, Lübeck, Germany, June 19--21, 2013. Revised papers. Berlin: Springer (ISBN 978-3-642-45042-6/pbk). Lecture Notes in Computer Science 8165, 88-99 (2013).
2013
a
05C85 05C05 05C38 05C75 05C83 68Q25
Summary: We investigate fixed-parameter aspects of the notion of special treewidth, which was recently introduced by \textit{B. Courcelle} [LIPICS -- Leibniz International Proceedings in Informatics 8, 13--29 (2010; Zbl 1245.68133); Discrete Appl. Math. 160, No. 6, 866--887 (2012; Zbl 1236.05143)]. In a special tree decomposition, for each vertex \(v\), the bags containing \(v\) form a rooted path in decomposition tree. We resolve an open problem by Courcelle, and show that an algorithm by \textit{H. L. Bodlaender} and \textit{T. Kloks} [J. Algorithms 21, No. 2, 358--402 (1996; Zbl 0861.68036)] can be modified to obtain for each fixed \(k\), a linear time algorithm that decides if the special treewidth of a given graph is at most \(k\), and if so, finds a corresponding special tree decomposition. This establishes that special treewidth is fixed-parameter tractable.
We obtain characterizations for the class of graphs of special treewidth at most two. The first characterization consists of certain linear structures (termed mambas, or equivalently, biconnected partial two-paths) arranged in a specific tree-like fashion, building upon characterizations of biconnected graphs of treewidth two or of pathwidth two. We show that the class of graphs of special treewidth at most two is closed under taking of minors, and give explicitly the obstruction set for this class. For \(k\geq 3\), the class of graphs of special treewidth at most \(k\) is not closed under taking minors.
For the entire collection see [Zbl 1276.68009].
1245.68133; 1236.05143; 0861.68036