gilt.
Für einen bipartiten Graphen ist , wenn für eine
Teilmenge A von S gilt mit . ( ist die Menge der Nachbarn von A.)
Für einen bipartiten Graphen ist
, da drei Elemente von
nur zwei Nachbarn als Elemente von T
besitzen.
Träger von , Menge der Ecken , wobei D
jede Kante trifft (bedeckt).
Für jeden Träger D und jedes Matching M bedeckt D jede Kante
von M, und es ist .
Gleichgewichtssatz:
Für einen bipartiten Graphen gilt
Es gibt Methoden zur allgemeinen Konstruktion eines Maximum Matchings
und von einem Minimum Träger.