Faster algorithms on branch and clique decompositions

  • Authors:

  • Hans L. Bodlaender;Erik Jan Van Leeuwen;Johan M. M. Van Rooij;Martin Vatshelle

  • Affiliations:

  • Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;Department of Informatics, University of Bergen, Bergen, Norway;Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;Department of Informatics, University of Bergen, Bergen, Norway

  • Venue:
  • MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We combine two techniques recently introduced to obtain faster dynamic programming algorithms for optimization problems on graph decompositions. The unification of generalized fast subset convolution and fast matrix multiplication yields significant improvements to the running time of previous algorithms for several optimization problems. As an example, we give an O*(3ω/2k) time algorithm for Minimum Dominating Set on graphs of branchwidth k, improving on the previous O*(4k) algorithm. Here ω is the exponent in the running time of the best matrix multiplication algorithm (currently ω k, we improve from O*(8k) to O*(4k). We also obtain an algorithm for counting the number of perfect matchings of a graph, given a branch decomposition of width k, that runs in time O*(2ω/2k). Generalizing these approaches, we obtain faster algorithms for all so-called [ρ, σ]-domination problems on branch decompositions if ρ and ρ are finite or cofinite. The algorithms presented in this paper either attain or are very close to natural lower bounds for these problems.