problém čtyř barev
problém čtyř barev, domněnka vyslovená v polovině 19.st., že každá mapa na kouli (nebo v rovině) se dá obarvit čtyřmi barvami za těchto podmínek: každý stát se obarví jednou barvou a žádné dva státy se společnou hraniční čárou nesmějí být obarveny stejnou barvou. Během doby byla uveřejněna řada nesprávných ,,důkazů" této domněnky. P. č. b. byl kladně rozřešen 1976, řešení se podstatně opírá o počítač (k důkazu muselo být analyzováno skoro 2 000 případů).
