This monograph, by one of the greatest computer scientists of our time, attempts a comprehensive investigation of a basic computational problem: to find a formal mathematical characterization of which pairs of cities on a map are neighbors of each other.