In 1852, the mathematician Francis Guthrie was coloring in a map of English counties when he noticed that he needed only four colors. Was this always true, he wondered? The question captured the imagination of hobbyists and professionals alike — and in 197...