Bordák száma

Egy gráf élfedésének száma a benne lévő legkisebb élfedő mérete .

Ha a gráfnak vannak izolált csúcsai (vagyis 0 fokú csúcsok), akkor nincs élfedés, ezért az élfedések száma nincs meghatározva.

Egy tetszőleges, izolált csúcsok nélküli gráfban az éllefedettség számát az Edmonds-algoritmus segítségével találhatjuk meg az időben történő illesztéshez , majd hozzáadjuk azokat a csúcsokat fedő éleket, amelyek nem telítettek a legnagyobb illesztéssel.

Izolált csúcsok nélküli gráfban az élfedő számot a második Gallai-azonossággal : , az egyező számhoz viszonyítja , ami viszont az egyenlőtlenséget jelenti . Ha van tökéletes egyezés a grafikonon, akkor .

Egy izolált csúcsok nélküli gráfra is igaz az egyenlőtlenség , ahol a gráf függetlenségi száma . Kétrészes gráfban a Koenig - tétel miatt .

Linkek