Grafi e retiMaps

Il teorema dei quattro colori è il primo teorema matematico ad essere stato dimostrato usando un computer. Ai giorni nostri, ciò è diventato molto più comune e meno controverso. Computer più veloci e un algoritmo più efficiente ci permettono di dimostrare il teorema dei quattro colori su un laptop odierno in poche ore.