Knowledge

Algorithms

Binary Search in Less Than a Minute

A simple algorithm whose correctness depends on precise invariants.