wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

height (442B)


      1 # Height
      2 
      3 The *height* of a [tree] and of a [forest] is defined inductively:
      4 - The height of a [singleton_tree] consisting of only a singleton [root] node is zero
      5 - The height of a [tree] is otherwise one plus the height of the [forest] of the [children] of the [root]
      6 - The height of a [forest] is the [maximum] of the heights of the [trees] of the [forest]
      7 
      8 Up: [parameter] on [tree]
      9 
     10 See also: [depth]
     11 
     12 Aliases: tree height, forest height