treedepth (221B)
1 # Treedepth 2 3 https://en.wikipedia.org/wiki/Tree-depth 4 5 The *treedepth* of an [undirected_graph] G is the minimum [forest_height] of an [elimination_forest] for G 6 7 Generalization: [weighted_treedepth] 8 9 Up: [width_measure]