In graph theory, the tree-depth of a connected undirected graph G {\displaystyle G} is a numerical invariant of G {\displaystyle G} , the minimum height of a Trémaux tree for a supergraph of G {\displaystyle G} . This invariant and its close relatives have gone under many different names in the literature, including vertex ranking number, ordered chromatic number, and minimum elimination tree height; it is also closely related to the cycle rank of directed graphs and the star height of regular languages. Intuitively, where the treewidth of a graph measures how far it is from being a tree, this parameter measures how far a graph is from being a star.
Definitions The tree-depth of a graph G {\displaystyle G} may be defined as the minimum height of a forest F {\displaystyle F} with the property that every edge of G {\displaystyle G} connects a pair of nodes that have an ancestor-descendant relationship to each other in F {\displaystyle F} . If G {\displaystyle G} is connected, this forest must be a single tree; it need not be a subgraph of G {\displaystyle G} , but if it is, it is a Trémaux tree for G {\displaystyle G} . The set of ancestor-descendant pairs in F {\displaystyle F} forms a trivially perfect graph, and the height of F {\displaystyle F} is the size of the largest clique in this graph. Thus, the tree-depth may alternatively be defined as the size of the largest clique in a trivially perfect supergraph of G {\displaystyle G} , mirroring the definition of treewidth as one less than the size of the largest clique in a chordal supergraph of G {\displaystyle G} . Another definition is the following:
td ( G ) = { 1 , if | G | = 1 ; 1 + min v ∈ V td ( G − v ) , if G is connected and | G | > 1 ; max i t d ( G i ) , otherwise ; {\displaystyle \operatorname {td} (G)={\begin{cases}1,&{\text{if }}|G|=1;\\1+\min _{v\in V}\operatorname {td} (G-v),&{\text{if }}G{\text{ is connected and }}|G|>1;\\\max _{i}{\rm {td}}(G_{i}),&{\text{otherwise}};\end{cases}}}
where V {\displaystyle V} is the set of vertices of G {\displaystyle G} and the G i {\displaystyle G_{i}} are the connected components of G {\displaystyle G} . This definition mirrors the definition of cycle rank of directed graphs, which uses strong connectivity and strongly connected components in place of undirected connectivity and connected components.
… excerpt ends here. Continue reading the full article.


