Stop Talking
New Album
assdfsdf
New Album
IL TEOREMA DEI 4 COLORI
Quanti colori ci vogliono per colorare una cartina senza che due regioni confinanti abbiano lo stesso colore? La risposta esiste, è scientifica, elegante… e sorprendente: quattro bastano, sempre. Lo dimostra uno dei teoremi più famosi (e faticosi) della matematica moderna, che per secoli è stato un rompicapo per gli studiosi. Un tuffo nei misteri della geografia, del disegno, e di quella strana magia che chiamano… topologia.
L’immagine di copertina (generata da Chat GPT) contiene un errore. Dopo aver letto l’articolo, sarà possibile trovarlo. Ma anche prima, volendo…
Quattro colori per conquistare il mondo
1
Lo ricordo come fosse ieri.
Erano gli anni delle elementari, e io — come tanti altri bambini — avevo una passione ossessiva per le cartine politiche. Non le fotografie satellitari, non i rilievi o le isoipse: le cartine politiche erano la mia finestra sul mondo.
Quelle appese ai muri dell’aula, grandi e rassicuranti, con le regioni italiane ben separate: ciascuna di un colore diverso, come piccole isole d’identità. Eppure, non erano tanti colori…
- La Lombardia — la mia — era sempre verde;
- la Toscana magari gialla;
- il Piemonte rosa;
- la Sicilia azzurra.
Quattro colori. Sempre quattro.
Per distinguere venti regioni. Per separare stati, imperi, province, colonie, regni immaginari. E funzionava!
Le cartine disegnate a casa
2
Anche a casa, sul quaderno a quadretti, io creavo le mie isole immaginarie.
Ci disegnavo stati in guerra, frontiere armate, confini contesi. Ogni regno aveva il suo nome, la sua capitale, il suo esercito e, naturalmente, il suo colore.
Usavo sempre gli stessi quattro:
- verde militare (per il Regno centrale);
- azzurro carico (per la costa dei pirati);
- giallo sole (per il deserto);
- rosa confetto (per la Repubblica delle Donne).
Eppure, per quanto i confini si contorcessero, si urtassero, si sovrapponessero… non mi serviva mai un quinto colore. Bastavano quei quattro, ogni volta, magari con qualche rara cancellatura e retromarcia.
Un po’ mi chiedevo “perché?”, ma ero troppo impegnato a governare le mie cartine per perdermi in domande filosofiche.
La domanda mai fatta
3
È solo molti anni dopo che ho capito che quella non era una coincidenza.
Quella regola che inconsapevolmente seguivamo — io, i cartografi editoriali, gli editori di atlanti — era una legge matematica vera e propria.
Una verità assoluta.
Nessuna mappa su una superficie piana o sferica richiede più di quattro colori per essere disegnata in modo che ogni territorio adiacente a un altro abbia un colore diverso.
Una legge invisibile. Silenziosa. Ma operante da sempre.
Una matematica del confine, impressa nelle nostre mani di bambini prima ancora che nelle formule.
E poi ho scoperto il teorema... dei Quattro Colori
4
Il Teorema dei Quattro Colori, formulato per la prima volta nel 1852 da un giovane studente, era proprio quella cosa lì: la conferma di ciò che io già avevo intuito a otto anni, seduto al mio banco, fissando la Lombardia in verde e la Toscana in giallo.
Il mondo si poteva dividere.
I confini potevano essere tracciati.
Ma bastavano quattro colori per dare ordine al caos, distinguere gli amici dai nemici, stabilire chi stava da una parte e chi dall’altra.
Come dire: la guerra è complicata, ma la mappa può essere semplice.
“È sempre possibile colorare qualsiasi mappa piana, in modo che due regioni adiacenti non abbiano lo stesso colore, utilizzando al massimo quattro colori.”
In altri termini:
- Non importa quanto complicata sia la mappa.
- Basta quattro colori per garantire che nessuna coppia di regioni confinanti (cioè con un bordo in comune) abbia lo stesso colore.
- Proposto nel 1852 da Francis Guthrie, uno studente inglese.
- Tentato da molti grandi matematici (es. De Morgan, Cayley, Kempe).
- Kempe nel 1879 pubblicò una “dimostrazione”, poi sbugiardata nel 1890 da Heawood.
- Ma il problema resistette per oltre un secolo, diventando uno dei più celebri rompicapi matematici.
Il teorema fu finalmente dimostrato nel 1976 da:
- Kenneth Appel e Wolfgang Haken, all’Università dell’Illinois.
La loro metodo fu:
- Ridurre il problema a 1.936 casi possibili (una riduzione da oltre 10^43 configurazioni).
- Farli verificare tutti da un computer, uno per uno.
Fu la prima dimostrazione matematica assistita da computer della storia:
- Controversa all’epoca, perché non “leggibile a mano” da un umano.
- Ma matematicamente corretta.
- Aprì la strada a metodi automatici di dimostrazione.
Contesto storico
5
- Il teorema vale per mappe su una superficie planare o sfera.
- Non vale per torus (ciambella): lì servono fino a 7 colori.
- È un problema di colorazione di grafi planari:
- le regioni sono i nodi;
- il bordo condiviso è un arco tra nodi;
- la colorazione è una funzione che assegna un colore a ogni nodo con la condizione che nessun arco colleghi due nodi dello stesso colore.
Negli ultimi anni sono stati:
- semplificati i casi da analizzare (ridotti sotto i 1.000),
- scritti verificatori formali con linguaggi matematici rigorosi (es. Coq, Lean),
- sviluppati progetti di “proof verification” leggibili anche da matematici umani.
Esempio recente:
- Nel 2005 Gonthier e Werner hanno formalizzato il teorema usando il linguaggio Coq.
- Oggi il Teorema dei 4 colori è formalmente verificato, senza bisogno di “fidarsi” di un computer opaco.
Non è solo un fatto curioso: ha applicazioni in:
- cartografia,
- colorazione di reti, scheduling,
- allocazione di frequenze radio (evitare interferenze),
- ottimizzazione di risorse condivise.
Curiosità tecniche e implicazioni
6
Tutto parte da lì
7
Quando oggi ripenso al Teorema dei Quattro Colori, non vedo solo una pagina di teoria.
Vedo una classe elementare, una parete coperta da cartine, e un bambino che disegna isole immaginarie con quattro matite colorate.
La matematica vera, forse, comincia proprio così:
dove i confini sono chiari,
le regole si scoprono da noi stessi,
e la meraviglia è più antica della teoria
