Function height of tree n
Height of the tree n
Format:
height of tree n
Input:
Output:
Properties that reference this function:
Conditional properties that reference this function:
if height of tree left > height of tree right, then height of tree (node (v, left, right)) = (height of tree left) + 1
(link)if height of tree left < height of tree right, then height of tree (node (v, left, right)) = (height of tree right) + 1
(link)if height of tree left = height of tree right, then height of tree (node (v, left, right)) = (height of tree left) + 1
(link)if the following are true:
- height of tree (node (lv, ll, lr)) > (height of tree right) + 1
- height of tree ll > height of tree lr
then result of balancing the tree (node (v, (node (lv, ll, lr)), right)) = result of rotating (node (v, (node (lv, ll, lr)), right)) clockwise
(link)if the following are true:
- height of tree (node (lv, ll, lr)) > (height of tree right) + 1
- height of tree ll < height of tree lr
then result of balancing the tree (node (v, (node (lv, ll, lr)), right)) = result of rotating (node (v, (node (lv, ll, lr)), right)) twice
(link)
Comments
Please log in to add comments