Satz von Berge

symmetric Difference

Link to original

M-alternating Path

Link to original

M-augmenting Path

M-alternating Path

Bipartite matching via Alternating Paths
Augmenting paths in non-bipartite graphs

Example

Link to original