On the Relationship between Clique-Width and Treewidth

  • Authors:
  • Derek G. Corneil;Udi Rotics

  • Affiliations:
  • -;-

  • Venue:
  • WG '01 Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Treewidth is generally regarded as one of the most useful parameterizations of a graph's construction. Clique-width is a similar parameterizations that shares one of the powerful properties of treewidth, namely: if a graph is of bounded treewidth (or clique-width), then there is a polynomial time algorithm for any graph problem expressible in Monadic Second Order Logic, using quantifiers on vertices (in the case of clique-width you must assume a clique-width parse expression is given). In studying the relationship between treewidth and clique-width, Courcelle and Olariu showed that any graph of bounded treewidth is also of bounded clique-width; in particular, for any graph G with treewidth k, the clique-width of G 驴 4 * 2k-1 + 1.In this paper, we improve this result to the clique-width of G 驴 3 * 2k-1 and more importantly show that there is an exponential lower bound on this relationship. In particular, for any k, there is a graph G with treewidth = k where the clique-width of G 驴 2驴k/2驴-1.