Function result of removing value from tree tree

tree delete tree

Format:

result of removing value from tree tree

Input:

list tree -
number value -

Output:

list - None

Properties that reference this function:

result of removing value from tree tree = result of balancing the tree (pop value from tree tree) (tree deletion)
result of removing value from tree tree = output of the bst_delete function where input tree is tree, value is val, visited is [ ], and moves are [ ] (tree delete convert)

Conditional properties that reference this function:

  • if the following are true:
    • val = a
    • tree = node (a, (node (l, ll, lr)), (node (r, rl, rr)))
    • smallest value in (node (r, rl, rr)) = near

    then output of the bst_delete function where input tree is tree, value is val, visited is visited, and moves are moves = result of building the BST from nodes [ result of updating the root of (result of removing near from tree tree) with near, visited ] and moves moves

    (link)


Comments

Please log in to add comments