Fomin, Fedor V. ; Gaspers, Serge ; Saurabh, Saket ; Stepanov, Alexey A. (2009) On Two Techniques of Combining Branching and Treewidth Algorithmica, 54 (2). pp. 181-207. ISSN 0178-4617
Full text not available from this repository.
Official URL: http://doi.org/10.1007/s00453-007-9133-3
Related URL: http://dx.doi.org/10.1007/s00453-007-9133-3
Abstract
Branch & Reduce and dynamic programming on graphs of bounded treewidth are among the most common and powerful techniques used in the design of moderately exponential time exact algorithms for NP hard problems. In this paper we discuss the efficiency of simple algorithms based on combinations of these techniques. The idea behind these algorithms is very natural: If a parameter like the treewidth of a graph is small, algorithms based on dynamic programming perform well. On the other side, if the treewidth is large, then there must be vertices of high degree in the graph, which is good for branching algorithms. We give several examples of possible combinations of branching and programming which provide the fastest known algorithms for a number of NP hard problems. All our algorithms require non-trivial balancing of these two techniques. In the first approach the algorithm either performs fast branching, or if there is an obstacle for fast branching, this obstacle is used for the construction of a path decomposition of small width for the original graph. Using this approach we give the fastest known algorithms for MINIMUM MAXIMAL MATCHING and for counting all 3-colorings of a graph. In the second approach the branching occurs until the algorithm reaches a subproblem with a small number of edges (and here the right choice of the size of subproblems is crucial) and then dynamic programming is applied on these subproblems of small width. We exemplify this approach by giving the fastest known algorithm to count all minimum weighted dominating sets of a graph.
Item Type: | Article |
---|---|
Source: | Copyright of this article belongs to Springer-Verlag. |
ID Code: | 123478 |
Deposited On: | 20 Sep 2021 10:56 |
Last Modified: | 20 Sep 2021 10:56 |
Repository Staff Only: item control page