CSSE 230: Session Notes - Day 17

Topics

1. Proof of log height of RB trees
2. Analysis of TDRB trees

Outline

1. [5 min] Contact before work
2. [20 min] Proof of log height of RB trees.
3. [5 min] Break
4. [Balance of time] Work on Top-down Red-Black tree insertion programming assignment.

Resources

• A video narrating the proof of the log height of Red-black trees