Mathematical Foundations of Computer Science 2009

Volume 5734 of the series Lecture Notes in Computer Science pp 223-234

Constructing Brambles

  • Mathieu ChapelleAffiliated withLIFO, Université d’Orléans
  • , Frédéric MazoitAffiliated withLaBRI, Université de Bordeaux
  • , Ioan TodincaAffiliated withLIFO, Université d’Orléans

* Final gross prices may vary according to local VAT.

Get Access


Given an arbitrary graph G and a number k, it is well-known by a result of Seymour and Thomas [22] that G has treewidth strictly larger than k if and only if it has a bramble of order k + 2. Brambles are used in combinatorics as certificates proving that the treewidth of a graph is large. From an algorithmic point of view there are several algorithms computing tree-decompositions of G of width at most k, if such decompositions exist and the running time is polynomial for constant k. Nevertheless, when the treewidth of the input graph is larger than k, to our knowledge there is no algorithm constructing a bramble of order k + 2. We give here such an algorithm, running in \({\mathcal O}(n^{k+4})\) time. For classes of graphs with polynomial number of minimal separators, we define a notion of compact brambles and show how to compute compact brambles of order k + 2 in polynomial time, not depending on k.