Problemo di la quar kolori
Problemo di quar kolori, nesolvita topologiala 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 plua kam tri kolori; ma generala pruvo ke quar kolori sempre suficas ankore ne existas.
Sur neplana surfaco, plu kam quar kolori povas bezonesar; exemple mapo sur toro povas bezonar sep kolori.
En 1977 Appel e Haken pruvis ke quar kolori sempre suficas, ma parto di ulo dependas sur exhaustiva sercho per komputero-programo, e ne omna matematikisti aceptas lia demonstrado.
