3

Is the treewidth of this graph equal to 2?

K4 with C6 with two pendants

I have tried to prove it through the definition of a tree decomposition.

If its not correct can someone give any hints?

Ainsley H.
  • 17,823
  • 3
  • 43
  • 68
rumetalmI
  • 43
  • 1
  • 4

3 Answers3

3

Treewidth is always at least the clique number minus one. Your graph has a $K_4$, so its treewidth is at least 3.

Yuval Filmus
  • 280,205
  • 27
  • 317
  • 514
3

In the survey Treewidth, partial $k$-trees, and chordal graphs by Pinar Heggernes, we have the following lemma, whose proof is given as an exercise.

Lemma. Let $(\{X_i \mid i \in I\}, T = (I, M))$ be a tree decomposition of $G = (V, E)$, and let $K \subseteq V$ be a clique in $G$. Then there exists an $i \in I$ with $K \subseteq X_i$.

Prove this lemma, and conclude that, as Yuval answered,

Corollary. For every graph $G$, $tw(G) \geq \omega(G) - 1$.

Conclude that the treewidth is at least three.

The treewidth happens to be at most three as well, but that's a different exercise.

Ainsley H.
  • 17,823
  • 3
  • 43
  • 68
2

The class of graphs of treewidth two is precisely the class of graphs that are $K_4$-minor-free. Because your graph contains a $K_4$-minor, it has treewidth different from two.

Juho
  • 22,905
  • 7
  • 63
  • 117