Proof

(related to Corollary: Bounds for the Minimal Tree Decomposability)

By hypothesis, \(G(V,E,\gamma)\) is a finite undirected graph. * Trivial lower bound: If \(G\) contains loops if and only if the minimal tree decomposability \(\tau(G)=0\), since there is no tree decomposition of at least the order \(k\ge 1\): \(V_1,\ldots,V_k\), such that the subgraphs induced by the vertices \(V_i\), \(G[V_i]\) are all trees. Otherwise, if a loop vertex is contained in e.g. the partition \(V_i\) for some \(i\), then the induced subgraph \(G[V_i]\) is not a tree. Thus, \(\tau(G)\ge 0\). * Trivial upper bound: If \(G\) contains no loops and \(n\) vertices in total, then taking each vertex \(v\) as a single partition gives us an induced tree \(G[v]\) and there are exactly \(n\) such trees. Thus, \(\tau(G)\le n\). * Improved lower bound: * Assume, \(G\) has no loops. * If \(G\) has \(l\) components, let \(m_i\) denote the number of vertices in the \(i\)-th component, \(i=1,\ldots, l\) with multiedges. * If the \(i\)-th component contains vertices \(v\) and \(w\) connected by multiedges, the induced graph \(G[v,w]\) is not a tree. Note that \(m_i\) equals either \(0\) or is an even number \(\ge 2\). * Therefore, the \(i\)-th component can be decomposed into at least \(k_i\) trees, where \(k_i\) equals at least \(1\) or the even number \(m_l\ge 2\) of vertices connected by multiedges. * It follows that \(\tau(G)\ge\sum_{i=1}^l\max(1,m_i)\). * Lower and upper bounds for forests: * If \(G\) is a forest with \(l\) trees, each of its components is a tree, and each tree has the minimal tree decomposition of \(1\). * Therefore \(\tau(G)=l\).


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Piotrowski, Andreas: Own Research, 2014