Barátság grafikon | |
---|---|
Csúcsok | 2n+1 |
borda | 3n |
Sugár | egy |
Átmérő | 2 |
Heveder | 3 |
Kromatikus szám | 3 |
Kromatikus index | 2n |
Tulajdonságok |
Mértékegység-távolsággráf síkbeli euler -faktor-kritikus |
Kijelölés | F n |
Médiafájlok a Wikimedia Commons oldalon |
Barátsággráf (vagy dán mill graph , vagy n -bladed fan ) F n egy síkbeli irányítatlan gráf 2n+1 csúcsgal és 3n éllel [ 1] .
Az F n barátsággráf a C 3 ciklus n példányának egy közös csúcsba történő összekapcsolásával építhető fel [2] .
A konstrukció alapján az F n barátsággráf izomorf a Wd(3, n ) szélmalommal . A grafikon egységnyi távolsággráf , kerülete 3, átmérője 2 és sugara 1. Az F 2 gráf izomorf egy pillangóval .
Erdős, Rényi és Vera Sos [3] [4] barátsággráf-tétele kimondja, hogy azok a véges gráfok, amelyeknek a tulajdonsága, hogy bármely két csúcsnak pontosan egy közös szomszédja van, pontosan barátsági gráfok. Informálisan, ha egy embercsoportnak az a tulajdonsága, hogy bármely emberpárnak pontosan egy közös barátja van, akkor egy személynek kell lennie, aki a csoport többi tagjának barátja. A végtelen gráfok esetében azonban sok különböző, azonos számosságú gráf lehet, amelyek rendelkeznek ezzel a tulajdonsággal [5] .
A barátsággráf-tétel kombinatorikus bizonyítását Mertzios és Unger adta [6] . Egy másik bizonyítékot Craig Huneke [7] adott .
A barátsággráf kromatikus száma 3 és kromatikus indexe 2n . Ennek kromatikus polinomja a C 3 cikluskromatikus polinomból nyerhető, és egyenlő .
Az F n barátsági gráfnak akkor és csak akkor van tökéletes élcímkézése , ha n páratlan. Akkor és csak akkor van kecses címkézése , ha n ≡ 0 (mod 4), vagy n ≡ 1 (mod 4) [8] [9] .
Bármely barátsági grafikon faktorkritikus .
Az extremális gráfelmélet szerint minden (a csúcsok számához képest) kellően nagy élszámú gráfnak részgráfként egy k lapátos legyezőt kell tartalmaznia. Pontosabban ez igaz egy n csúcsú gráfra, ha az élek száma igen
ahol f ( k ) egyenlő k 2 - k -vel , ha k páratlan, és f ( k ) egyenlő k 2 - 3 k /2-vel, ha k páros. Ezek a korlátok általánosítják a Turan-tételt egy háromszög nélküli gráf éleinek számára vonatkozóan, és ők a legjobb korlátok erre a problémára, mivel bármilyen kisebb számú élre vannak olyan gráfok, amelyek nem tartalmaznak k lapátot [10] .