1: \begin{definition}[Tree Decomposition, Treewidth]

2: 	A \emph{tree decomposition} of a graph $G = (V, E)$ is a pair $(T, X)$ of a

3: 	tree $T = (N, F)$ and an indexed family of vertex sets $(X_t)_{t \in N}$

4: 	(called \emph{bags}), such that the following properties hold.

5: 	\begin{enumerate}[label=(\roman*)]

6: 	  \item Each vertex $v \in V$ is contained in at least one bag.

7: 	  \item For each edge $e \in E$ there exists a bag containing both endpoints.

8: 	  \item For each vertex $v \in V$, the bags in the tree decomposition that

9: 	  contain $v$ form a subtree of $T$.

10: 	\end{enumerate}

11: 	The \emph{width} of a tree decomposition is the size of the largest bag minus 1

12: 	and the \emph{treewidth} of a graph is the minimum width of all its tree

13: 	decompositions. We might sometimes refer to graphs of treewidth at most $k$ as

14: 	\emph{partial $k$-trees}.\footnote{For several characterizations of graphs of

15: 	treewidth at most $k$, see e.g.\ \cite[Theorem 1]{Bod98}}

16: \end{definition}

17: