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 time and polynomial space. We also give an algorithm for the domatic number problem running in time and polynomial space. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Van Rooij, J. M. M. (2010). Polynomial space algorithms for counting dominating sets and the domatic number. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6078 LNCS, pp. 73–84). https://doi.org/10.1007/978-3-642-13073-1_8
Mendeley helps you to discover research relevant for your work.