Questions tagged [treewidth]

Treewidth is a graph parameter which measures how close the graph is to a tree (smaller is better). Many problems can be solved more efficiently on graphs with bounded treewidth, using dynamic programming.

Treewidth is a graph parameter which measures how close the graph is to a tree. For example, forests have treewidth 1, and series-parallel graphs have treewidth 2.

A graph $G$ has treewidth $k$ if there is a tree $T$ whose vertices are labelled by sets of $k+1$ vertices of $G$ such that (i) every edge of $G$ is covered by one of the sets and (ii) for every vertex $v$ of $G$, the vertices of $T$ whose sets contain $v$ are connected.

Many algorithmic tasks can be solved efficiently on graphs of bounded treewidth using dynamic programming, by extending algorithms that work on trees. Consequently, such tasks are fixed-parameter tractable when parametrized by treewidth.

Treewidth is one of a family of related parameters, such as pathwidth (in which $T$ is restricted to be a path).

18 questions
6
votes
3 answers

Size of tree decomposition

Given a graph $G$ with $n$ vertices, let $(X, T)$ be a tree decomposition of $G$ with the smallest width. Is the number of nodes in $T$ upper bounded by $n$? I have googled it but all materials I found discuss only treewidth.
Matteo
  • 161
  • 1
5
votes
1 answer

Is there a graph theory textbook that covers treewidth thoroughly?

Can someone recommend a graph theory textbook that covers treewidth thoroughly? Something that focuses on the graph-theoretic structure of bounded treewidth graphs rather than solving problems on them. Don't need the strongest/newest results but…
Hao S
  • 135
  • 1
  • 10
5
votes
1 answer

How does treewidth behave under graph minor operations?

It is a well-known fact that for any minor H of a graph G (commonly written as $H \leq_m G$), the treewidth of H is smaller than or equal to that of G. Minors of a graph are created through the operations of (1) vertex deletion, (2) edge deletion…
SmeltQuake
  • 63
  • 4
4
votes
3 answers

MSOL and Courcelle's theorem for maximum clique

The Clique Problem is known to be NP-complete but is known to be fixed-parameter-tractable (FPT) if the treewidth of the underlying graph is fixed. The traditional proof is by a dynamic programming algorithm given a tree decomposition. The tree…
Lisa E.
  • 555
  • 1
  • 18
3
votes
0 answers

Bounded treewidth implies bounded clique-width

We have a graph G of treewidth $\operatorname{tw}(G)\leq k$, for some $k\in\mathbb{N}$. I've seen a claim that that implies that the clique-width of the same graph is at most $k \cdot 2^k$. This implies that given a tree decomposition of the graph…
NayCey
  • 111
  • 1
3
votes
3 answers

treewidth of a given graph

Is the treewidth of this graph equal to 2? I have tried to prove it through the definition of a tree decomposition. If its not correct can someone give any hints?
rumetalmI
  • 43
  • 1
  • 4
2
votes
0 answers

Tree width given path decomposition

I have a family of graphs whose path decompositions I know. Is it possible to compute the tree-width of these graphs in polynomial time?
Lisa E.
  • 555
  • 1
  • 18
2
votes
0 answers

On definitions of graph width

Wikipedia shows graph width $k$ as the degeneracy, an ordering of the vertices $v_1,\ldots , v_k$ for which, if we orient each edge $(v_i, v_j)$ towards $i$ where $i
Eric_
  • 535
  • 2
  • 13
2
votes
1 answer

Clarifications about tree-width definition

I have read the definition of treewidth/tree-decomposition both in Wikipedia and in here: https://medium.com/@karlrombauts/treewidth-how-all-graphs-are-trees-in-disguise-ec699b69e2fb I'm finding something hard to understand why the treewidth of a…
2
votes
1 answer

Dynamic Programming for Feedback Vertex Set - bounded treewidth

Saw it on another post that there is a way of solving FVS in polynomial time if the treewidth is constant, using dynamic programming?... If I'm given the treewidth of a graph, how do I solve it in time $tw^{O(tw)}\cdot n^{O(1)}$ ? thank you very…
1
vote
1 answer

MSOL for a vertex-cover enlargement problem

Consider the following problem. Given a graph $G=(V,E)$, and two positive integers $k$ and $\gamma$, decide if there is a set of new edges to be added such that $|E'|\le k$, and any subset $V'\subseteq V$ of size $\gamma$ is not a vertex cover of…
Lisa E.
  • 555
  • 1
  • 18
1
vote
1 answer

Use of the degree variable in an MSOL formula

I am working on giving an MSOL formula for an NP-hard problem; this proves that the problem is linear-time solvable on bounded treewidth graphs. Given a graph $G = (V, E)$, the problem would be to find a subset $S \subseteq V$ such that each vertex…
1
vote
1 answer

Relationships between path width and clique size of interval graphs

I faced the following claim on wikiepdia about interval graphs (https://en.wikipedia.org/wiki/Interval_graph): The pathwidth of an interval graph is one less than the size of its maximum clique. I have thought a while about it, but don't come up…
1
vote
0 answers

The length of the formula in Monadic second-order logic

The Courcelle's theorem as following: Obviously, we need the length of the $\varphi$~(that is $||\varphi||$)~in Theorem. However, how to caculate the length of $\varphi$? For example, $$\begin{aligned} \operatorname{conn}(X)=\quad & \forall_{Y…
Yuhang Bai
  • 59
  • 7
0
votes
0 answers

Tree Width of Directed Graph

I'm Nestor Mermoz Thea. I have two definition over the Directed strong pseudoforest and Directed weak pseudoforest that I don't really well understand. Directed weak pseudoforest: A directed weak pseudoforest is a digraph, in which every weakly…
1
2