Kreivi Hvatala | |
---|---|
Nimetty | Vaclav Chvatal |
Huiput | 12 |
kylkiluut | 24 |
Säde | 2 |
Halkaisija | 2 |
Ympärysmitta | neljä |
Automorfismit | 8 ( D4 ) |
Kromaattinen numero | neljä |
Kromaattinen indeksi | neljä |
Ominaisuudet |
ilman kolmioita |
Mediatiedostot Wikimedia Commonsissa |
Graafi Chvatala on ohjaamaton graafi , jossa on 12 kärkeä ja 24 reunaa , jonka Vaclav Chvatala löysi vuonna 1970.
Kaavio ei sisällä kolmioita - sen ympärysmitta (pienimmän syklin pituus) on neljä. Kaavio on 4 - säännöllinen - jokaisella kärjellä on täsmälleen neljä naapuria. Kuvaajan kromaattinen luku on 4 - se voidaan värjätä neljällä värillä, mutta ei kolmella. Kuten Chwatal havaitsi, tämä on minimaalinen 4-värinen 4-säännöllinen kolmioton kaavio. Pienempi kolmioton 4-värinen graafi on Grötzsch-graafi , jossa on 11 kärkeä, mutta sen maksimiaste on 5 ja se ei ole säännöllinen.
Graafi ei ole kärkitransitiivinen - automorfismiryhmässä on vain yksi kärkikiertorata, jonka pituus on 8 ja yksi pituus 4.
Brooksin lauseen mukaan minkä tahansa säännöllisen graafin (paitsi parittomat jaksot ja klikkit) kromaattinen luku on enintään . Lisäksi Erdősin ansiosta vuodesta 1959 lähtien on tiedetty, että kaikille on olemassa värillisiä kaavioita, joissa on ympärysmitta . Näiden kahden tuloksen ja joidenkin esimerkkien, mukaan lukien Chwatala-graafin, perusteella Branko Grünbaum arveli vuonna 1970, että mille tahansa ja on olemassa -värinen -säännöllinen graafi, jonka ympärysmitta on . Chvatala-graafi antaa ratkaisun tähän olettamukseen tapauksessa = = 4. Johansen [1] kumosi Grünbaumin olettamuksen riittävän suurelta ja osoitti, että graafien kromaattinen lukumäärä ilman kolmioita on , missä on pisteiden maksimiaste ja tarkoittaa "O" on suuri . Tästä kiistämisestä huolimatta on edelleen mielenkiintoinen ongelma löytää esimerkkejä -värisistä -säännöllisistä kaavioista, joissa on pienet arvot ja suuri ympärysmitta.
Bruce Reidin vaihtoehtoinen olettamus [1] sanoo, että kolmiottomilla graafilla, jolla on korkea kärkiaste, tulisi olla huomattavasti pienempi kromaattinen luku kuin aste, ja yleisemmin, että graafilla, jolla on maksimiaste ja maksimikoko , tulisi olla kromaattinen luku:
.Tämän olettamuksen tapaus seuraa riittävän suurille Johansenin tuloksesta. Chvatala-graafi osoittaa, että pyöristäminen ylöspäin Reidin olettamuksessa on olennaista, koska Chvatala-graafissa , joka on pienempi kuin kromaattinen luku, mutta tulee sen suuruiseksi pyöristettäessä ylöspäin.
Graafigrafti on Hamiltonin ja sillä on keskeinen rooli Fleischnerin ja Sabidoussin [2] todistuksessa , jonka mukaan kolmiotonta Hamiltonin graafin kolmivärisyyden tarkistaminen on NP-täydellinen ongelma .
Chvatala-graafin ominaispolynomi on yhtä suuri kuin . Chwatala-graafin Tatta- polynomi laskettiin vuonna 2008 [3] .
Graafin riippumattomuusluku on 4.
Chwatal-graafin kromaattinen indeksi on 4.
Kreivi nappasi Hamiltonit .
Vaihtoehtoinen piirros kreivi Khvatalasta.