Problém čtyř barev
rok 1886
Clifton College, chlapecká internátní škola, Anglie
Porada učitelského sboru
"Konečně máme zadání letošního úkolu školní soutěže," ředitel si spokojeně zamnul ruce. "Je známo, že každou mapu lze vybarvit pouhými čtyřmi barvami tak, aby žádné dva sousedící státy neměly stejnou barvu. Ať naši chlapci prokáží, že tomu je skutečně tak!"
Profesor latiny si nesouhlasně odkašlal: "Omalovánky! Nejsou na to chlapci už příliš staří?!"
"Kdepak, pane kolego, kdepak! Ale můžeme jim dát podmínku. Dejme tomu rozsah třicet řádek textu plus jedna strana obrázkové přílohy. Souhlasí všichni? Výborně!"
Tvrzení se podařilo dokázat teprve pomocí počítačové techniky v roce 1976. Důkaz má 56 stran textu a 114 stran obrázků (30 na každé straně).
Historka je autentická. Ve viktoriánské době byl tzv. problém čtyř barev velice populární. V roce 1879 byl uveřejněn důkaz této hypotézy, který byl celých 11 let považován za správný, než v něm byla nalezena chyba.
Matematici se problémem zabývali více než sto let a je to první teoretický matematický problém vyřešený pomocí počítače. Přesto důkaz matematici příliš neuznávají, protože jej nelze provést jen s tužkou a papírem.
- Číst dál
- 39 komentářů
- Pro vkládání komentářů se musíte přihlásit