A négyszín- tétel kimondja, hogy bármely síkon vagy gömbön elhelyezkedő térkép legfeljebb négy különböző színnel (festékkel) színezhető úgy, hogy bármely két közös határszakasszal rendelkező terület eltérő színű legyen. Ugyanakkor a területeket össze kell kötni [1] (azaz a terület nem állhat két vagy több különálló „darabból”), és a határnak nem pontszerűnek kell lennie (egy ponton annyi terület, amennyit csak akar sarkaikkal érintkezhetnek, beleértve az azonos színűre festetteket is).
1852- ben Francis Guthrie Anglia megyéinek térképének összeállítása közben vette észre, hogy négy szín is elegendő egy ilyen célra. Testvére, Frederick beszámolt erről a megfigyelésről a híres matematikusnak , Augustus de Morgannek , aki elmondta a matematikai közösségnek. A hipotézis pontos megfogalmazását Arthur Cayley (1878) [2] tette közzé . A tétel bizonyítása sokáig tartott. Sok kísérlet történt bizonyításra és cáfolására is, és ezt a problémát négy szín problémájának nevezték [3] .
Az egyszerű térképekhez elegendő három szín, és szükség van egy negyedik színre is, például amikor egy területet páratlan számú másik kör vesz körül, amelyek kört alkotva érintik egymást. A 19. század végén bebizonyosodott az öt szín tételének, amely szerint öt szín elég, rövid, egyszerű bizonyítása volt, de a négy szín esetére vonatkozó tétel bizonyítása jelentős nehézségekbe ütközött.
A négy szín tételt 1976-ban Kenneth Appel és Wolfgang Haken bizonyította az Illinoisi Egyetemen . Ez volt az első jelentős matematikai tétel, amelyet számítógéppel igazoltak. A bizonyítás első lépése egy bizonyos 1936-os kártyakészlet létezésének bemutatása volt, amelyek egyike sem tartalmazhat kisebb kártyát, amely megcáfolná a tételt. A szerzők egy speciális számítógépes programmal igazolták ezt a tulajdonságot az 1936-os kártyák mindegyikénél. Ennek a ténynek a bizonyítása több száz oldalt vett igénybe. Ezek után Appel és Haken arra a következtetésre jutott, hogy a tételnek nincs legkisebb ellenpéldája, mert különben tartalmaznia kellene egy ilyen 1936-os kártyát, ami nem. Ez az ellentmondás azt mondja, hogy egyáltalán nincs ellenpélda.
Kezdetben a bizonyítást nem minden matematikus fogadta el, mivel kézzel nem ellenőrizhető. Később szélesebb körű elfogadottságra tett szert, bár néhányan sokáig kételkedtek. A fennmaradó kétségek eloszlatására 1997-ben Robertson, Sanders, Seymour és Thomas egy egyszerűbb, hasonló ötleteket használó, de még mindig számítógéppel készített bizonyítékot publikált. Ezenkívül 2005-ben a bizonyítást Georges Gonteer végezte speciális szoftverrel ( Coq v7.3.1) [4] .
A gráfelméletben a négy szín tételének a következő megfogalmazásai vannak:
Számos ekvivalens készítmény ismert [5] .
A leghíresebb bizonyítási kísérletek a következők:
Hasonló problémák más felületeknél ( tórusz , Klein palack stb.) sokkal egyszerűbbnek bizonyultak. Minden zárt felületre, kivéve a gömböt (és annak megfelelő síkját és hengerét) és a Klein-palackot , a szükséges színek száma a nemzetségéből számítható ki a következő képlettel, amelyet 1890-ben Percy John Heawood javasolt : [9]
A felső korlátot egészen egyszerűen megkapjuk, maga Heawood bizonyította (egy gömbre a képlet adja a helyes választ - 4, de Heawood bizonyítása nem alkalmazható rá). Az alsót a teljes gráf megfelelő felületbe ágyazásával bizonyítjuk; a bizonyítást 1952-1968 között építette fel egy matematikus csoport, az utolsó lépést Gerhard Ringel és John Youngs tették meg . [10] [11] [12]
A Möbius szalaghoz (és a projektív síkhoz is) 6 szín szükséges. A nemzetség egyoldalú felületeihez [ 11]
Egy Klein-palacknál (genus ) a szám 6 (és nem 7, mint a képlet szerint) – ezt P. Franklin mutatta meg 1934-ben. [13]
A négyszín-tételből az következik, hogy egy sziget térképe, amelyen minden országnak hozzáférése van a tengerhez, 3 színnel színezhető. Ennek az állításnak azonban van egy elemi bizonyítéka is.
A gyarmati birodalmakkal (vagyis több különálló „darabból” álló országokkal, amelyek száma m ) Percy John Heawood is hasonló problémával foglalkozott . Amikor válaszol . A felső határt egészen egyszerűen megkapjuk; maga Heawood bizonyította be. Az alsót a teljes gráf megfelelő felületbe ágyazásával bizonyítjuk; a bizonyítékot Gerhard Ringel és Brad Jackson adja. [tizennégy]
A probléma változata a más bolygókon kolóniákkal rendelkező birodalmakkal kapcsolatban nyitott marad. Például, ha a Föld minden országának van kolóniája a Holdon, akkor csak becslések ismertek
Magasabb dimenziókban nincs ésszerű általánosítása a problémának, mivel könnyen előállítható egy háromdimenziós térkép tetszőleges számú területtel, amelyek mind érintik egymást. .
Stephen Barr egy papíralapú logikai játékot javasolt két játékos számára, „Négy szín” néven. Martin Gardner szavaival élve : "Nem tudok jobb módot a négy szín probléma megoldásával járó nehézségek megértésére, mint egyszerűen játszani ezzel a furcsa játékkal" [15] .
Ehhez a játékhoz négy színes ceruza szükséges. Az első játékos egy tetszőleges üres terület rajzolásával kezdi a játékot. A második játékos lefesti a négy szín bármelyikével, és felhúzza az üres területét. Az első játékos lefesti a második játékos területét, és hozzáad egy új területet, és így tovább - minden játékos lefesti az ellenfél területét, és hozzáadja a sajátját. Ebben az esetben a közös határral rendelkező területeket különböző színekkel kell festeni. Az veszít, aki a saját körében kénytelen lesz az ötödik színt átvenni.
Ebben a játékban az egyik játékos elvesztése egyáltalán nem a tétel hibásságának bizonyítéka (négy szín nem volt elég), hanem csak annak illusztrációja, hogy a játék feltételei és a tételek nagyon eltérőek. . A játékban kapott térkép tételének helyességének ellenőrzéséhez ellenőriznie kell a megrajzolt területek összekapcsolhatóságát, és miután eltávolította a színeket, meg kell találnia, hogy meg lehet-e boldogulni csak négy színnel a kapott festéshez. térkép (a tétel kimondja, hogy lehetséges).
A játéknak a következő változatai is léteznek:
![]() |
---|