On Two Techniques of Combining Branching and Treewidth

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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Algorithmica Ročník 54; číslo 2; s. 181 - 207
Hlavní autoři: Fomin, Fedor V., Gaspers, Serge, Saurabh, Saket, Stepanov, Alexey A.
Médium: Journal Article Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York Springer-Verlag 01.06.2009
Springer
Springer Verlag
Témata:
Algorithm Analysis and Problem Complexity
Algorithmics. Computability. Computer arithmetics
Algorithms
Applied sciences
Combinatorics
Combinatorics. Ordered structures
Computer Science
Computer science; control theory; systems
Computer Systems Organization and Communication Networks
Data Structures and Algorithms
Data Structures and Information Theory
Discrete Mathematics
Exact sciences and technology
Graph theory
Information retrieval. Graph
Mathematics
Mathematics of Computing
Sciences and techniques of general use
Theoretical computing
Theory of Computation
Exact exponential time algorithms
3-Coloring
Minimum maximal matching
Weighted vertex cover
Parameterized algorithms
NP hard problems
Minimum dominating set
Treewidth
Branching
Dominating set
Graph theory
k-Weighted vertex cover
Maximal Matching
NP hard problem
Graph degree
Graph colouring
Dynamic programming
Graph covering
Fast algorithm
Counting
Graph matching
ISSN:0178-4617, 1432-0541
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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. We also discuss how similar techniques can be used to design faster parameterized algorithms.
ISSN:0178-4617
1432-0541
DOI:10.1007/s00453-007-9133-3