Ungerichter Graph/Optimale Paarung/Definition

Optimale Paarung

Eine Paarung in einem Graphen heißt optimal, wenn sie unter allen Paarungen von die größtmögliche Anzahl von Kanten enthält.