branch width

equivalent to: treewidth, mm-width

providers: ISGCI

Relations

Results

• 1998 A partial $k$-arboretum of graphs with bounded treewidth by Bodlaender
  • page 5 : branch width – A \emph{branch decomposition} of a graph $G=(V,E)$ is a pair $(T=(I,F),\sigma)$, where $T$ is a tree with every node in $T$ of degree one of three, and $\sigma$ is a bijection from $E$ to the set of leaves in $T$. The \emph{order} of an edge $f \in F$ is the number of vertices $v \in V$, for which there exist adjacent edges $(v,w),(v,x) \in E$, such that the path in $T$ from $\sigma(v,w)$ to $\sigma(v,x)$ uses $f$. The \emph{width} of branch decomposition $(T=(I,F),\sigma)$, is the maximum order over all edges $f \in F$. The \emph{branchwidth} of $G$ is the minimum width over all branch decompositions of $G$.
• 1991 Graph minors. X. Obstructions to tree-decomposition by Robertson, Seymour
  • page 12 : branch width – A \emph{branch-width} of a hypergraph $G$ is a pair $(T,\tau)$, where $T$ is a ternary tree and $\tau$ is a bijection from the set of leaves of $T$ to $E(G)$. The \emph{order} of an edge $e$ of $T$ is the number of vertices $v$ of $G$ such that there are leaves $t_1,t_2$ of $T$ in different components of $T \setminus e$, with $\tau(t_1),\tau(t_2)$ both incident with $v$. The \emph{width} of $(T,\tau)$ is the maximum order of the edges of $T$, and the \emph{branch-width} $\beta(G)$ of $G$ is the minimum width of all branch-decompositions of $G$ (or 0 if $|E(G)| \le 1$, when $G$ has no branch-decompositions).
  • page 16 : treewidth upper bounds branch width by a linear function – (5.1) For any hypergraph $G$, $\max(\beta(G), \gamma(G)) \le \omega(G) + 1 \le \max(\lfloor(3/2)\beta(G)\rfloor, \gamma(G), 1)$.
  • page 16 : branch width upper bounds treewidth by a linear function – (5.1) For any hypergraph $G$, $\max(\beta(G), \gamma(G)) \le \omega(G) + 1 \le \max(\lfloor(3/2)\beta(G)\rfloor, \gamma(G), 1)$.
• assumed
  • branch width is equivalent to branch width – assumed
• unknown source
  • branch width upper bounds boolean width by a linear function
  • branch width upper bounds rank-width by a linear function