A heuristic use of dynamic programming to upperbound treewidth

Abstract

For a graph G, let (G) denote the set of all potential maximal cliques of G. For each subset of (G), let (G, ) denote the smallest k such that there is a tree-decomposition of G of width k whose bags all belong to . Bouchitt\'e and Todinca observed in 2001 that (G, (G)) is exactly the treewidth of G and developed a dynamic programming algorithm to compute it. Indeed, their algorithm can readily be applied to an arbitrary non-empty subset of (G) and computes (G, ), or reports that it is undefined, in time |||V(G)|O(1). This efficient tool for computing (G, ) 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.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…