ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Discrete Mathematics
Volume 306, Issue 3, 28 February 2006, Pages 337-350
Minimal Separation and Minimal Triangulation
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Article
Purchase PDF (359 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.disc.2005.12.017    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2006 Elsevier B.V. All rights reserved.

Safe separators for treewidthstar, open

Hans L. Bodlaendera, E-mail The Corresponding Author and Arie M.C.A. Kosterb, E-mail The Corresponding Author

aInstitute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, the Netherlands bZuse Institute Berlin (ZIB), Takustraße 7, D-14195 Berlin, Germany

Received 29 September 2003; 
revised 30 September 2004; 
accepted 8 November 2005. 
Available online 20 February 2006.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

A set of vertices Ssubset of or equal toV is called a safe separator for treewidth, if S is a separator of G, and the treewidth of G equals the maximum of the treewidth over all connected components W of G-S of the graph, obtained by making S a clique in the subgraph of G, induced by Wunion or logical sumS. We show that such safe separators are a very powerful tool for preprocessing graphs when we want to compute their treewidth. We give several sufficient conditions for separators to be safe, allowing such separators, if existing, to be found in polynomial time. In particular, every inclusion minimal separator of size one or two is safe, every minimum separator of size three that does not split off a component with only one vertex is safe, and every inclusion minimal separator that is an almost clique is safe; an almost clique is a set of vertices W such that there is a vset membership, variantW with W-{v} a clique. We report on experiments that show significant reductions of instance sizes for graphs from probabilistic networks and frequency assignment.

Keywords: Graph algorithms; Treewidth; Preprocessing; Separators

Article Outline

1. Introduction
2. Definitions and preliminary results
3. Conditions for safeness
4. Finding safe separators
5. Safe separators and graph reduction
6. Experiments
6.1. Finding safe separators
6.2. Heuristics and safe separator decompositions
7. Conclusions
Acknowledgements
References






Discrete Mathematics
Volume 306, Issue 3, 28 February 2006, Pages 337-350
Minimal Separation and Minimal Triangulation
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.