Problemo di quar kolori
From Wikipedia
Problemo di quar kolori, nesolvita topologiala (videz topologio) problemo quo koncernas la minima nombro de kolori bezonata por kolorizar mapo sur plana surfaco, tale ke nula du kontigua regioni havas la sama koloro.
On povas pruvar ke kin kolori sempre suficas; ed on povas facile desegnar mapi qui bezonas plu kam tri kolori; ma generala pruvo ke quar kolori sempre suficas ne ja existas.
Sur ne-plana surfaci, plu kam quar kolori povas bezonesar; exemple mapo sur toro povas bezonar sep kolori.
En 1977 Appel e Haken prizentis pruvo ke quar kolori sempre suficas, ma parto di la pruvo dependas sur exhaustiva sercho per komputoro-programo, e ne omna matematikisti aceptas lia pruvo.
