Grafi e retiMaps

Nel 1852, lo studente di botanica Francis Guthrie doveva colorare una mappa delle contee in Inghilterra. Osservò che quattro colori erano sufficienti per qualsiasi mappa, ma non era in grado di trovare una prova che funzionasse per tutte le mappe. Questo si è rivelato un problema estremamente difficile ed è diventato noto come il teorema dei quattro colori. Durante i successivi 100 anni, molti matematici hanno pubblicato "prove" sul teorema dei quattro colori, ma in seguito si scoprirono errate. Alcune di queste prove non valide erano così convincenti che ci sono voluti più di 10 anni per trovare gli errori. Per molto tempo, i matematici non sono stati in grado né di dimostrare che quattro colori sono sufficienti, né di trovare una mappa che richiedesse più di quattro colori.