Grafos e RedesMaps

O teorema das quatro cores é o primeiro teorema matemático conhecido a ser provado usando um computador, algo que se tornou muito mais comum e menos controverso desde então. Computadores mais rápidos e um algoritmo mais eficiente significam que hoje você pode resolver o teorema das quatro cores em um laptop em apenas algumas horas.

Postmark for the Department of Mathematics at the University of
Illinois Urbana-Champaign, where Haken and Appel worked.