Dynamic Programming on Tree Decompositions Using Generalised Fast Subset Convolution

  • Johan M. M. van Rooij
  • Hans L. Bodlaender
  • Peter Rossmanith
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5757)


In this paper, we show that algorithms on tree decompositions can be made faster with the use of generalisations of fast subset convolution. Amongst others, this gives algorithms that, for a graph, given with a tree decomposition of width k, solve the dominated set problem in O(n k 2 3 k ) time and the problem to count the number of perfect matchings in O  ∗ (2 k ) time. Using a generalisation of fast subset convolution, we obtain faster algorithms for all [ρ,σ]-domination problems with finite or cofinite ρ and σ on tree decompositions. These include many well known graph problems. We give additional results on many more graph covering and partitioning problems.


Dynamic Programming Planar Graph Partial Solution Dynamic Programming Algorithm Tree Decomposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alber, J., Bodlaender, H.L., Fernau, H., Kloks, T., Niedermeier, R.: Fixed parameter algorithms for dominating set and related problems on planar graphs. Algorithmica 33, 461–493 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Alber, J., Niedermeier, R.: Improved tree decomposition based algorithms for domination-like problems. In: Rajsbaum, S. (ed.) LATIN 2002. LNCS, vol. 2286, pp. 613–627. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Fourier meets Möbius: Fast subset convolution. In: Proceedings of the 39th Annual Symposium on Theory of Computing, STOC 2007, pp. 67–74 (2007)Google Scholar
  4. 4.
    Bodlaender, H.L.: A linear time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput. 25, 1305–1317 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bodlaender, H.L.: A partial k-arboretum of graphs with bounded treewidth. Theor. Comp. Sc. 209, 1–45 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Bodlaender, H.L., Koster, A.M.C.A.: Combinatorial optimization on graphs of bounded treewidth. The Computer Journal 51(3), 255–269 (2008)CrossRefGoogle Scholar
  7. 7.
    Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations I. upper bounds. Technical Report UU-CS-2008-032, Department of Information and Computing Sciences, Utrecht University, Utrecht, the Netherlands, Submitted (2008)Google Scholar
  8. 8.
    Bodlaender, H.L., van Antwerpen-de Fluiter, B.: Reduction algorithms for graphs of small treewidth. Information and Computation 167, 86–119 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Dorn, F.: Dynamic programming and fast matrix multiplication. In: Azar, Y., Erlebach, T. (eds.) ESA 2006. LNCS, vol. 4168, pp. 280–291. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Dorn, F.: How to use planarity efficiently: New tree-decomposition based algorithms. In: Brandstädt, A., Kratsch, D., Müller, H. (eds.) WG 2007. LNCS, vol. 4769, pp. 280–291. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Dorn, F., Fomin, F.V., Thilikos, D.M.: Catalan structures and dynamic programming in h-minor-free graphs. In: Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, pp. 631–640 (2008)Google Scholar
  12. 12.
    Dorn, F., Penninkx, E., Bodlaender, H.L., Fomin, F.V.: Efficient exact algorithms on planar graphs: Exploiting sphere cut branch decompositions. In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol. 3669, pp. 95–106. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Fürer, M.: Faster integer multiplication. In: Proceedings of the 39th Annual Symposium on Theory of Computing, STOC 2007 (2007)Google Scholar
  14. 14.
    Kloks, T.: Treewidth. Computations and Approximations. LNCS, vol. 842. Springer, Heidelberg (1994)zbMATHGoogle Scholar
  15. 15.
    Telle, J.A.: Complexity of domination-type problems in graphs. Nordic J. Comput. 1, 157–171 (1994)MathSciNetGoogle Scholar
  16. 16.
    Telle, J.A., Proskurowski, A.: Algorithms for vertex partitioning problems on partial k-trees. SIAM J. Disc. Math. 10, 529–550 (1997)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Johan M. M. van Rooij
    • 1
  • Hans L. Bodlaender
    • 1
  • Peter Rossmanith
    • 2
  1. 1.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands
  2. 2.Computer Science DepartmentRWTH Aachen UniversityAachenGermany

Personalised recommendations