Search

Start Over Creator Hora, Jaroslav

2. O počítačových důkazech matematických vět

Creator:
Hora, Jaroslav
Format:
print, bez média, and svazek
Type:
model:article and TEXT
Subject:
počítačová věda, matematika, teorie grafů, computer science, mathematics, graph theory, 6, and 53
Language:
Czech
Description:
Postačí čtyři barvy na obarvení každé rovinné mapy obsahující jistý počet států? Tato zdánlivě nevinná otázka napadla Francise Guthrieho při barvení mapy anglických hrabství. Jeho bratr Frederick položil dne 23. 10. 1852 stejnou otázku svému profesoru Augustu de Morganovi. Tak vznikl slavný "problém čtyř barev“. Po nezbytných upřesněních pojmu rovinná mapa atd. se zdařilo daný problém "přeložit“ do rozvíjející se matematické disciplíny - teorie grafů. Následovala dlouhá historie řešení, která trvala přes sto let a byla provázena i mnoha omyly (více viz [1,3]). Nakonec, již v sedmdesátých letech minulého století, bylo zapotřebí prověřit dlouhý seznam "map“, tzv. nevyhnutelnou množinu ireducibilních konfigurací, obsahující 1 936 prvků. K tomu přistoupili Apell, Haken a Koch - využili hned tři počítače firmy IBM. Příprava metod a programu jim zabrala tři a půl roku a další půlrok si vyžádala práce s počítači. Dílo bylo dokončeno 21. června 1976. Závěr zněl: čtyři barvy stačí!, Jaroslav Hora., and Obsahuje seznam literatury
Rights:
http://creativecommons.org/licenses/by-nc-sa/4.0/ and policy:public