Problém čtyř barev či také věta o čtyřech barvách je (již kladně vyřešený) problém z teorie grafů, který zní: „Stačí čtyři barvy na obarvení libovolné politické mapy tak, aby žádné dva sousedící státy nebyly obarveny stejnou barvou?“ (Za sousední státy jsou považovány takové, že mají společnou hraniční čáru tj. nesousedí spolu jen v jednom bodě.) Obecněji se lze tázat na minimální potřebný počet barev, lze však poměrně snadno dokázat, že pět barev postačuje.

PropertyValue
prop-cs:isbn
  • 80 (xsd:integer)
prop-cs:jméno
  • Pavel
prop-cs:jménoSestavitele
  • Eduard
  • Jindřich
prop-cs:místo
  • Brno
  • Praha
prop-cs:odkazNaAutora
  • Pavel Šišma
prop-cs:příjmení
  • Šišma
prop-cs:příjmeníSestavitele
  • Bečvář
  • Fuchs
prop-cs:rok
  • 1997 (xsd:integer)
prop-cs:rokVydání
  • 1997 (xsd:integer)
prop-cs:sborník
  • Historie matematiky II.
prop-cs:strany
  • 169 (xsd:integer)
prop-cs:titul
  • Problém čtyř barev
  • Teorie grafů 1736-1963
prop-cs:url
prop-cs:vydavatel
  • Prometheus
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Problém čtyř barev či také věta o čtyřech barvách je (již kladně vyřešený) problém z teorie grafů, který zní: „Stačí čtyři barvy na obarvení libovolné politické mapy tak, aby žádné dva sousedící státy nebyly obarveny stejnou barvou?“ (Za sousední státy jsou považovány takové, že mají společnou hraniční čáru tj. nesousedí spolu jen v jednom bodě.) Obecněji se lze tázat na minimální potřebný počet barev, lze však poměrně snadno dokázat, že pět barev postačuje. Oproti tomu tvrzení, že čtyři barvy stačí, dlouhou dobu odolávalo všem pokusům o důkaz, nikdo však také nebyl schopen nalézt mapu, která by ho vyvrátila.Větu dokázali až roku 1976 američtí matematici Kenneth Appel a Wolfgang Haken tím, že pomocí počítačového programu vymodelovali 1936 možných konfigurací, dokázali, že tyto konfigurace pokrývají všechny možnosti, a u každé z nich ukázali, že pro její obarvení čtyři barvy stačí (k tomu potřeboval 1200 hodin procesorového času). Tento důkaz však velká část matematiků odmítá akceptovat, protože ho žádný matematik není schopen přímo zkontrolovat. (Od té doby byl důkaz mnohokrát nezávisle zopakován a zjednodušen dalšími matematiky pomocí jiných programů, ale „hezký“ důkaz vhodný pro člověka nalezen nebyl.)
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 13895 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 6443 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 30 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16006953 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • problém čtyř barev
  • věty o čtyřech barvách
  • barvení sousedících ploch
  • Problém čtyř barev
  • problému čtyř barev
dcterms:subject
rdfs:comment
  • Problém čtyř barev či také věta o čtyřech barvách je (již kladně vyřešený) problém z teorie grafů, který zní: „Stačí čtyři barvy na obarvení libovolné politické mapy tak, aby žádné dva sousedící státy nebyly obarveny stejnou barvou?“ (Za sousední státy jsou považovány takové, že mají společnou hraniční čáru tj. nesousedí spolu jen v jednom bodě.) Obecněji se lze tázat na minimální potřebný počet barev, lze však poměrně snadno dokázat, že pět barev postačuje.
rdfs:label
  • Problém čtyř barev
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of