Satz augmentierender Kantenzug unmatched weg bipartite

Einfache Sprache

Satz augmentierender Kantenzug unmatched weg bipartite

Sei $G$ ein Bipartiter Graph und $M$ ein matching in $G$ Es existiert ein Augmentierender Kantenzug bzgl. $M$ in $G$ g.d.w. ein Weg in $G'$ von einem unmatched Knoten in $A$ zu einem unmatched Knoten in $B$.