ALCOMFT-TR-02-14

Hans L. Bodlaender and Fedor V. Fomin
Tree decompositions with small cost
Paderborn and Utrecht. Work package 4. May 2002.

Abstract: The f-cost of a tree decomposition ({X_i~|~i\in I},~T=(I,F)) for a function f: \bf N -> \bf R^+ is defined as \sum_{i\in I} f(|X_i|). This measure associates with the running time or memory use of some algorithms that use the tree decomposition. In this paper we investigate the problem to find tree decompositions of minimum f-cost.

A function f: \bf N-> \bf R^+ is fast, if for every i\in \bf N: f(i+1) >= 2 · f(i). We show that for fast functions f, every graph G has a tree decomposition of minimum f-cost that corresponds to a minimal triangulation of G; if f is not fast, this does not hold. We give polynomial time algorithms for the problem, assuming f is a fast function, for graphs that has a polynomial number of minimal separators, for graphs of treewidth at most two, and for cographs, and show that the problem is NP-hard for bipartite graphs and for cobipartite graphs.

We also discuss results for a weighted variant of the problem derived of an application from probabilistic networks.

Postscript file: ALCOMFT-TR-02-14.ps.gz (126 kb).