Az ábrán látható K4,4teljes páros gráf színezése megmutatja éleinek három erdőre való felbontását. A K4,4 kevesebb erdőre nem bontható föl, hiszen bármely, nyolc csúcsú erdő legfeljebb hét éllel rendelkezhet, míg a szóban forgó gráfnak tizenhat éle van, ami több mint duplája. Ezért a K4,4 arboricitása három.
Arboricitás a sűrűség mértékeként
Egy gráf arboricitása a gráf sűrűségére jellemző: a sok éllel rendelkező gráfoknak magas az arboricitása, és a magas arboricitású gráfoknak rendelkezniük kell sűrű részgráffal.
Mivel tetszőleges n-csúcsú erdőnek legfeljebb n−1 éle lehet, ezért elmondható, hogy az n csúccsal és m éllel rendelkező gráf arboricitása legalább . Ráadásul a gráf részgráfjainak arboricitása nem lehet magasabb magának a gráfnak az arboricitásánál, vagy másképp megfogalmazva, a gráf arboricitása legalább akkora, mint részgráfjainak maximális arboricitása. Crispin Nash-Williams bizonyítása szerint a két állítás kombinálásával lehetséges az arboricitás karakterizálása: ha a gráf bármely S részgráfjának csúcsait, illetve éleit nS-sel, illetve mS-sel jelöljük, akkor a gráf arboricitása pontosan
Egy csúcsú síkbarajzolható gráf éleinek száma nem haladhatja meg a -ot, amiből Nash-Williams képlete alapján következik, hogy arboricitásuk legfeljebb 3 lehet. Schnyder a síkbarajzolható gráfok speciális, három erdőre történő felbontását Schnyder wood-nak nevezte el; a felbontás célja a síkbarajzolható gráf kis területű háromszögrácsba történő, egyenes vonalú lerajzolása volt.
Algoritmusok
Egy gráf arboricitása felfogható az általánosabb matroidfelbontás-probléma speciális eseteként; ott egy matroid elemeinek egy halmazát kívánjuk kifejezni kisebb független halmazok uniójaként. Ennek következményeként az arboricitás polinom idejű algoritmussal számítható (Gabow & Westermann 1992) alapján.
Kapcsolódó fogalmak
Egy gráf anarboricitása (az arboricitás invariáns párja) alatt azon nem-aciklikus részgráfok maximális számát értjük, melyekre a gráf élei felbonthatók.
Egy gráf csillagarboricitása azon erdők minimális száma, melyekbe a gráf élei felbonthatók, ha előírjuk, hogy az erdő minden fája csillag kell legyen. Ha egy fagráf nem csillag, akkor csillagarboricitása kettő, ami belátható a fa éleinek kettéosztásával a fa gyökerétől páros, illetve páratlan távolságra lévő élekre. Tehát egy gráf csillagarboricitása minimum az arboricitással, maximálisan az arboricitás kétszeresével egyezik meg.
Egy gráf pszeudoarboricitása azon pszeudoerdők (összefüggő komponensenként legfeljebb egy kört tartalmazó gráfok) minimális száma, melyekbe a gráf élei felbonthatók. Ezzel egyenértékű megfogalmazás szerint a gráf összes részgráfjában az élek és csúcsok számának arányai közül a maximálisnak egész számra felkerekített értéke. Az arboricitáshoz hasonlóan a pszeudoarboricitás is rendelkezik a hatékony kiszámítást lehetővé tevő matroidszerkezettel (Gabow & Westermann 1992).
Egy gráf vastagsága azon rész-síkgráfok minimális száma, melyekbe a gráf élei felbonthatók. Mivel a síkgráfok arboricitása legfeljebb három lehet, egy gráf vastagsága legalább az arboricitás harmadával, legfeljebb pedig az arboricitás értékével egyezik meg.
Egy gráf degeneráltsága a gráf összes feszített részgráfjainak minimális fokszámú csúcsai közül kiválasztott maximális fokszámmal egyezik meg. Az arboricitású gráf degeneráltsága legalább -val, legfeljebb pedig -gyel egyezik meg. A gráf színezési száma vagy Szekeres–Wilf-száma (Szekeres & Wilf 1968) mindig eggyel nagyobb a degeneráltságánál (Jensen & Toft 1995, p. 77f.).
Egy gráf erőssége egy arányszám, melynek egészrésze megadja a gráfba rajzolható diszjunkt feszítőfák maximális számát. Ez egy pakolási probléma, ami az arboricitás fedési problémájának duálisa. A két paramétert Tutte és Nash-Williams közösen tanulmányozták.
A tört arboricitás vagy frakcionális arboricitás az arboricitás fogalmának finomítása. Definíciója szerint a gráf tört arboricitása Más megfogalmazásban a gráf arboricitása a tört arboricitásának felső egészrésze.
Az (a, b)-felbonthatóság az arboricitás fogalmának általánosítása. Egy gráf akkor -felbontható, ha éleinek szétoszthatók halmazba oly módon, hogy mindegyik egy erdőt feszít ki, kivéve egyet, mely egy maximális fokszámú gráfot. Egy arboricitású gráf -felbontható.
Egy gráf fa-száma megegyezik a gráf éleit lefedő fák minimális számával.
Fordítás
Ez a szócikk részben vagy egészben az Arboricity című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.