Ystävyyskaavio | |
---|---|
Huiput | 2n+1 |
kylkiluut | 3n |
Säde | yksi |
Halkaisija | 2 |
Ympärysmitta | 3 |
Kromaattinen numero | 3 |
Kromaattinen indeksi | 2n |
Ominaisuudet |
Yksikköetäisyyskaavio tasomainen euler - tekijäkriittinen |
Nimitys | F n |
Mediatiedostot Wikimedia Commonsissa |
Ystävyysgraafi (tai tanskalainen mill graph , tai n -lapainen tuuletin ) F n on tasomainen suuntaamaton graafi , jossa on 2n+1 kärkeä ja 3n reunaa [1] .
Ystävyysgraafi F n voidaan rakentaa yhdistämällä n kopiota syklistä C 3 yhteen yhteiseen kärkeen [2] .
Ystävyysgraafi F n on rakenteeltaan isomorfinen tuulimyllylle Wd(3, n ). Kaavio on yksikköetäisyyskäyrä ja sen ympärysmitta 3, halkaisija 2 ja säde 1. Kuvaaja F 2 on isomorfinen perhosen kanssa .
Erdősin, Rényin ja Vera Sosin [3] [4] ystävyysgraafiteoreema sanoo, että äärelliset graafit, joiden ominaisuus on, että millä tahansa kahdella kärjellä on täsmälleen yksi yhteinen naapuri, ovat täsmälleen ystävyysgraafia. Epävirallisesti, jos ihmisryhmällä on ominaisuus, että millä tahansa ihmisparilla on täsmälleen yksi yhteinen ystävä, silloin on oltava yksi henkilö, joka on ryhmän muiden jäsenten ystävä. Äärettömille graafisille voi kuitenkin olla useita saman kardinaalisuuden omaavia kuvaajia, joilla on tämä ominaisuus [5] .
Mertzios ja Unger [6] antoivat kombinatorisen todisteen ystävyysgraafilauseesta . Toisen todisteen antoi Craig Huneke [7] .
Ystävyysgraafin kromaattinen luku on 3 ja kromaattinen indeksi 2n . Sen kromaattinen polynomi voidaan saada syklin kromaattisesta polynomista C 3 ja se on yhtä suuri kuin .
Ystävyysgraafissa F n on täydellinen reunamerkintä silloin ja vain, jos n on pariton. Siinä on siro merkintä silloin ja vain jos n ≡ 0 (mod 4) tai n ≡ 1 (mod 4) [8] [9] .
Mikä tahansa ystävyyskaavio on tekijäkriittinen .
Ekstremaalisen graafiteorian mukaan minkä tahansa graafin, jossa on riittävän suuri määrä reunoja (suhteessa pisteiden määrään), tulee sisältää k -lapaviuhka aligraafina. Tarkemmin sanottuna tämä pätee graafille, jossa on n kärkeä, jos reunojen lukumäärä on
missä f ( k ) on k 2 − k , jos k on pariton ja f ( k ) on k 2 − 3 k /2, jos k on parillinen. Nämä rajat yleistävät Turanin lauseen kolmiovapaan graafin reunojen lukumäärästä , ja ne ovat parhaat rajat tälle ongelmalle, koska pienemmälle määrälle reunoja on graafit, jotka eivät sisällä k -lapaa [10] .