Balanced search trees and ordered lookup

Knowledge package outline

Topic

Computation and software foundations

Purpose

Connects hierarchy with bounded search depth.

Package contents

Rotation diagrams; invariants; insertion traces.

Dependencies

Trees; algorithms.