Il metodo di scarica e il teorema dei quattro colori

Il teorema dei quattro colori è uno dei più importanti e discussi risultati della teoria dei grafi, la cui prima formulazione risale al 1852. Si tratta, infatti, del primo teorema nella storia della matematica ad essere dimostrato tramite l'ausilio di computer, dopo innumerevoli tentativi "a mano". Due sono gli elementi fondamentali nella prima dimostrazione, pubblicata da Appel ed Haken nel 1977: il metodo di ricolorazione di Kempe ed il metodo di scarica. L'obiettivo di questa tesi è mostrare dettagliatamente l'uso del metodo di scarica in problemi di colorazione e, successivamente, fare una panoramica sul teorema dei quattro colori.