problem štirih barv, star problem v topologiji: ali zadoščajo štiri barve za barvanje vsakega zemljevida, pri čemer je ozemlje vsake države pobarvano z eno barvo, sosednjim državam pa pripadata različni barvi? Četudi ni nikomur uspelo sestaviti zemljevida, na katerem bi potrebovali več kot štiri barve, je bil problem razrešen šele 1977 z računalnikom, odgovor pa je pritrdilen.