Kreivi Hvatala

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

euler
hamiltonin säännöllinen


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.

Ominaisuudet

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.

Galleria

Muistiinpanot

  1. 12 Reed , 1998 .
  2. Fleischner, Sabidussi, 2002 .
  3. Bjorklund, 2008 .

Kirjallisuus

Linkit