Polynomial space algorithms for counting dominating sets and the domatic number

  • Authors:

  • Johan M. M. van Rooij

  • Affiliations:

  • Institute of Information and Computing Sciences, Utrecht University, Utrecht, TB, The Netherlands

  • Venue:
  • CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Inclusion/exclusion and measure and conquer are two of the most important recent new developments in the field of exact exponential time algorithms. Algorithms that combine both techniques have been found very recently, but thus far always use exponential space. In this paper, we try to obtain fast exponential time algorithms for graph domination problems using only polynomial space. Using a novel treewidth based annotation procedure to deal with sparse instances, we give an algorithm that counts the number of dominating sets of each size κ in a graph in $\mathcal{O}(1.5673^n)$ time and polynomial space. We also give an algorithm for the domatic number problem running in $\mathcal{O}O(2.7139^n)$ time and polynomial space.