Číslo zápasu

Shodné číslo grafu  je velikost největší shody v grafu.

V libovolném grafu lze najít odpovídající číslo pomocí Edmondsova algoritmu v čase . Micali a Vazirani ukázali algoritmus, který vytváří největší shodu v čase . Další (randomizovaný) algoritmus vyvinutý Muchou a Sankowskim, založený na rychlém maticovém produktu , poskytuje složitost .

V grafu bez izolovaných vrcholů je odpovídající číslo vztaženo k číslu pokrytí hrany druhou Gallaiovou identitou : , což zase implikuje nerovnost . Pokud je v grafu dokonalá shoda, pak .

V každém grafu platí také nerovnost , kde  je číslo krytí vrcholu grafu . V bipartitním grafu je díky Koenigově větě .

Odkazy