6533b874fe1ef96bd12d608d

RESEARCH PRODUCT

Optimal Tree Decompositions Revisited: A Simpler Linear-Time FPT Algorithm

Sarah ZieglerErnst Althaus

subject

TreewidthTree (data structure)Bounded functionGraph (abstract data type)Constant (mathematics)Equivalence classTree decompositionAlgorithmTime complexityMathematics

description

In 1996, Bodlaender showed the celebrated result that an optimal tree decomposition of a graph of bounded treewidth can be found in linear time. The algorithm is based on an algorithm of Bodlaender and Kloks that computes an optimal tree decomposition given a non-optimal tree decomposition of bounded width. Both algorithms, in particular the second, are hardly accessible. We present the second algorithm in a much simpler way in this paper and refer to an extended version for the first. In our description of the second algorithm, we start by explaining how all tree decompositions of subtrees defined by the nodes of the given tree decomposition can be enumerated. We group tree decompositions into equivalence classes depending on the current node of the given tree decomposition, such that it suffices to enumerate one tree decomposition per equivalence class and, for each node of the given tree decomposition, there are only a constant number of classes which can be represented in constant space.

https://doi.org/10.1007/978-3-030-63072-0_6