×

Tree decompositions with small cost. (English) Zbl 1084.05057

Summary: The \(f\)-cost of a tree decomposition \((\{X_i\mid i \in I\},\;T = (I,F))\) for a function \(f:\mathbb N \to \mathbb 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:\mathbb N \to \mathbb R^+\) is fast, if for every \(i \in \mathbb N\):\( f(i + 1) \geq 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 have 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.

MSC:

05C78 Graph labelling (graceful graphs, bandwidth, etc.)
05C80 Random graphs (graph-theoretic aspects)
68R10 Graph theory (including graph drawing) in computer science

References:

[1] Arnborg, S.; Corneil, D. G.; Proskurowski, A., Complexity of finding embeddings in a \(k\)-tree, SIAM J. Algebraic Discrete Methods, 8, 277-284 (1987) · Zbl 0611.05022
[2] Aspvall, B.; Proskurowski, A.; Telle, J. A., Memory requirements for table computations in partial \(k\)-tree algorithms, Algorithmica, 27, 382-394 (2000) · Zbl 0959.68096
[3] Bodlaender, H. L., A linear time algorithm for finding tree-decompositions of small treewidth, SIAM J. Comput., 25, 1305-1317 (1996) · Zbl 0864.68074
[4] Bodlaender, H. L., A partial \(k\)-arboretum of graphs with bounded treewidth, Theoret. Comput. Sci., 209, 1-45 (1998) · Zbl 0912.68148
[5] Bodlaender, H. L.; Gilbert, J. R.; Hafsteinsson, H.; Kloks, T., Approximating treewidth, pathwidth, frontsize, and minimum elimination tree height, J. Algorithms, 18, 238-255 (1995) · Zbl 0818.68118
[6] Bodlaender, H. L.; Möhring, R. H., The pathwidth and treewidth of cographs, SIAM J. Discrete Math., 6, 181-188 (1993) · Zbl 0773.05091
[7] V. Bouchitté, I. Todinca, Listing all potential maximal cliques of a graph, in: H. Reidel, S. Tison (Eds.), Proceedings STACS’00, Lecture Notes in Computer Science, Springer, Berlin, vol. 1770, 2000, pp. 503-515.; V. Bouchitté, I. Todinca, Listing all potential maximal cliques of a graph, in: H. Reidel, S. Tison (Eds.), Proceedings STACS’00, Lecture Notes in Computer Science, Springer, Berlin, vol. 1770, 2000, pp. 503-515. · Zbl 0962.68132
[8] Bouchitté, V.; Todinca, I., Treewidth and minimum fill-ingrouping the minimal separators, SIAM J. Comput., 31, 1 (2001) · Zbl 0987.05085
[9] A. Brandstädt, V.B. Le, J.P. Spinrad, Graph Classes: A Survey, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1999.; A. Brandstädt, V.B. Le, J.P. Spinrad, Graph Classes: A Survey, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1999. · Zbl 0919.05001
[10] Corneil, D. G.; Perl, Y.; Stewart, L. K., A linear recognition algorithm for cographs, SIAM J. Comput., 14, 926-934 (1985) · Zbl 0575.68065
[11] Dirac, G., On rigid circuit graphs, Abh. Math. Sem. Univ. Hamburg, 25, 71-76 (1961) · Zbl 0098.14703
[12] Gavril, F., The intersection graphs of subtrees in trees are exactly the chordal graphs, J. Combin. Theory Ser. B, 16, 47-56 (1974) · Zbl 0266.05101
[13] Golumbic, M. C., Algorithmic Graph Theory and Perfect Graphs (1980), Academic Press: Academic Press New York · Zbl 0541.05054
[14] Jensen, F. V., Bayesian Networks and Decision Graphs, Statistics for Engineering and Information Science (2001), Springer: Springer New York · Zbl 0973.62005
[15] U. Kjærulff, Triangulation of graphs—algorithms giving small total state space, Research Report R-90-09, Department of Mathematics and Computer Science, Aalborg University, 1990.; U. Kjærulff, Triangulation of graphs—algorithms giving small total state space, Research Report R-90-09, Department of Mathematics and Computer Science, Aalborg University, 1990.
[16] Kjærulff, U., Optimal decomposition of probabilistic networks by simulated annealing, Statist. Comput., 2, 2-17 (1992)
[17] Lauritzen, S. J.; Spiegelhalter, D. J., Local computations with probabilities on graphical structures and their application to expert systems, J. Roy. Statist. Soc. Ser. B (Methodological), 50, 157-224 (1988) · Zbl 0684.68106
[18] A. Parra, P. Scheffler, How to use the minimal separators of a graph for its chordal triangulation, in: Automata, Languages and Programming (Szeged, 1995), Springer, Berlin, 1995, pp. 123-124.; A. Parra, P. Scheffler, How to use the minimal separators of a graph for its chordal triangulation, in: Automata, Languages and Programming (Szeged, 1995), Springer, Berlin, 1995, pp. 123-124. · Zbl 1412.68171
[19] Rose, D. J.; Tarjan, R. E.; Lueker, G. S., Algorithmic aspects of vertex elimination on graphs, SIAM J. Comput., 5, 266-283 (1976) · Zbl 0353.65019
[20] Roth, D., On the hardness of approximate reasoning, Artificial Intelligence, 82, 273-302 (1996) · Zbl 1506.68143
[21] J.A. Telle, Tree-decompositions of small pathwidth, Technical report, Department of Informatics, University of Bergen, Bergen, Norway, 2001. Discr. Appl. Math., doi:10.1016/j.dam.2004.01.012; J.A. Telle, Tree-decompositions of small pathwidth, Technical report, Department of Informatics, University of Bergen, Bergen, Norway, 2001. Discr. Appl. Math., doi:10.1016/j.dam.2004.01.012 · Zbl 1184.05126
[22] Wen, W. X., Optimal decomposition of belief networks, (Bonissone, P. P.; Henrion, M.; Kanal, L. N.; Lemmer, J. F., Proceedings of the Sixth Workshop on Uncertainty in Artificial Intelligence (1990)), 245-256 · Zbl 0742.68073
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.