Tree decompositions # This module implements tree-decomposition methods. A tree-decomposition of a graph G = (V, E) is a pair (X, T), where X = {X 1, X 2, …, X t} is a family of subsets of V, usually called bags, and T is a tree of order t whose nodes are the subsets X i satisfying the following properties: The union of all sets X i equals V.