As We have now found, BSTs have the nice residence that even with no specific balancing, they are typically pretty balanced if elements are inserted into them in random get. The initial function splits a BST into two halves w. r. t. a vital x that might or might not be from the tree: