Problem se odnosi na bojenje grafova poput dokaza može li se obojiti geografska karta koristeći četiri boje bez obzira kakvog oblika su države i koliko ih ima, a da se dvije susjedne ne oboje istom bojom. Koliko shvatam, Kovač je pokazao da ako je karta od pravougaonika da je 25 boja dovoljno.