Tree rotaions We rotateLeft or rotateRight on a node, creating a different but valid BST with the same elements. Notice when we rotateLeft(G) we move the node G to be the left child of the new root.
Left Leaning Red Black Tree This is simply an implementation of a 2-3 Tree with the same ideas. Be able to convert between a 2-3 Tree and a LLRB tree. We use red links to indicate two nodes that would be in the same 2-3 Node. In a left leaning RB tree, we arbitrarily enforce that edges are always to the left (for convenience).
There are two important propertires for LLRBs:
- No node ever has 2 red links (It wouldn’t be a valid node in a 2-3 Tree if it did)
- Every path from the root to a leaf has the same number of black links. This is because every leaf in a 2-3 tree has same numbers of links from root. Therefore, the tree is balanced.
LLRB operations Always insert with a red link at the correct location. Then use the following three operations to “fix” or LLRB tree. See slides for visual
- If there is a right leaning red link, rotate that node left.
- If there are two consecutive left leaning links, rotate right on the top node.
- If there is a node with two red links to children, flip all links with that node.