@inproceedings{66263aad7657430899b81094fb258619,

title = "On exact algorithms for treewidth",

abstract = "We give experimental and theoretical results on the problem of computing the treewidth of a graph by exact exponential time algorithms using exponential space or using only polynomial space. We first report on an implementation of a dynamic programming algorithm for computing the treewidth of a graph with running time O*(2n). This algorithm is based on the old dynamic programming method introduced by Held and Karp for the TRAVELING SALESMAN problem. We use some optimizations that do not affect the worst case running time but improve on the running time on actual instances and can be seen to be practical for small instances. However, our experiments show that the space used by the algorithm is an important factor to what input sizes the algorithm is effective. For this purpose, we settle the problem of computing treewidth under the restriction that the space used is only polynomial. In this direction we give a simple O*(4n) algorithm that requires polynomial space. We also prove that using more refined techniques with balanced separators, TREEWIDTH can be computed in O*(2.9512n) time and polynomial space.",

author = "Bodlaender, {Hans L.} and Fomin, {Fedor V.} and Koster, {Arie M.C.A.} and Dieter Kratsch and Thilikos, {Dimitrios M.}",

year = "2006",

doi = "10.1007/11841036_60",

language = "English (US)",

isbn = "3540388753",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "672--683",

booktitle = "Algorithms, ESA 2006 - 14th Annual European Symposium, Proceedings",

note = "14th Annual European Symposium on Algorithms, ESA 2006 ; Conference date: 11-09-2006 Through 13-09-2006",

}