Algorithms
- Define a monotonic predicate before searching for a boundary.
- Keep the invariant explicit: one side known false, the other known true.
- Choose midpoint and termination rules that cannot repeat the same interval forever.
Cool NotesBinary search invariants
All notesBinary search invariants
Algorithms · Original AlgoGym revision note with a source for deeper study.