A heuristic use of dynamic programming to upperbound treewidth
Abstract
For a graph , let denote the set of all potential maximal cliques of . For each subset of , let denote the smallest such that there is a tree-decomposition of of width whose bags all belong to . Bouchitt\'{e} and Todinca observed in 2001 that is exactly the treewidth of and developed a dynamic programming algorithm to compute it. Indeed, their algorithm can readily be applied to an arbitrary non-empty subset of and computes , or reports that it is undefined, in time . This efficient tool for computing allows us to conceive of an iterative improvement procedure for treewidth upper bounds which maintains, as the current solution, a set of potential maximal cliques rather than a tree-decomposition. We design and implement an algorithm along this approach. Experiments show that our algorithm vastly outperforms previously implemented heuristic algorithms for treewidth.
Keywords
Cite
@article{arxiv.1909.07647,
title = {A heuristic use of dynamic programming to upperbound treewidth},
author = {Hisao Tamaki},
journal= {arXiv preprint arXiv:1909.07647},
year = {2019}
}
Comments
14 pages, 2 tables. In v2, some typographical errors, as well as an incorrect statement in Proposition 3.6, are fixed