Computing Treewidth Via Exact And Heuristic Lists Of Minimal Separators
ANALYSIS OF EXPERIMENTAL ALGORITHMS, SEA2 2019(2019)
Abstract
We develop practically efficient algorithms for computing the treewidth tw(G) of a graph G. The core of our approach is a new dynamic programming algorithm which, given a graph G, a positive integer k, and a set Delta of minimal separators of G, decides if G has a tree-decomposition of width at most k of a certain canonical form that uses minimal separators only from Delta, in the sense that the intersection of every pair of adjacent bags belongs to Delta. This algorithm is used to show a lower bound of k + 1 on tw(G), setting Delta to be the set of all minimal separators of cardinality at most k and to show an upper bound of k on tw(G), setting Delta to be some, hopefully rich, set of such minimal separators. Combining this algorithm with new algorithms for exact and heuristic listing of minimal separators, we obtain exact algorithms for treewidth which overwhelmingly outperform previously implemented algorithms.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined