Match nummer

Det matchende nummer på en graf  er størrelsen af ​​det største match i den.

I en vilkårlig graf kan det matchende nummer findes ved hjælp af Edmonds algoritme i tid . Micali og Vazirani viste en algoritme, der bygger den største matching i tid . En anden (randomiseret) algoritme udviklet af Mucha og Sankowski, baseret på det hurtige matrixprodukt , giver kompleksitet .

I en graf uden isolerede hjørner er det matchende nummer relateret til kantdækningsnummeret med den anden Gallai-identitet : , hvilket igen indebærer uligheden . Hvis der er et perfekt match i grafen, så .

I enhver graf er uligheden også sand , hvor  er nummeret på grafens toppunkt . I en todelt graf , på grund af Koenigs sætning , .

Links