Teorema dei quattro colori: storia, colorazioni di grafi e applicazioni