Choose the invariant or failure response that follows from each operation contract. Review the working program and compare it with a small direct oracle.
Lessons
- Two-dimensional range trees: count a static rectangle
- Van Emde Boas trees: successor in a bounded integer universe
- Scapegoat trees: rebuild a deep insertion subtree
- Static XOR filters: peel a fingerprint membership index