2 puzzles from Wolfgang Haken, each explained in a minute and credited to the original work. Free on Savvy.
Take any flat map divided into regions — countries, counties, anything — where neighboring regions share a real border, not just a single point. Color every region so no two neighb…
— Kenneth Appel and Wolfgang Haken, Four color theorem
Take any map divided into regions, like countries or counties, and color each region so that no two regions sharing a border have the same color. Mapmakers had long noticed four co…
— Kenneth Appel and Wolfgang Haken, Every Planar Map is Four Colorable