Non-Bipartie Matching via M-Alternating Paths

Satz von Berge
M-augmenting Path

Graph Flower
Every path with exposed Endpoints is either a Flower or M-alternating
Modify Flowers
Schrinking a blossom

Algotithm

Runtime