This dumps the random-path approach, and implements a deterministic,
priority queue algorithm.