Bipartiter Graph/Teilmenge/Paarungsbedingung/Definition

Paarungsbedingung

Es sei ein bipartiter Graph mit einer Bipartition und sei . Man sagt, dass die Paarungsbedingung erfüllt, wenn für jede Teilmenge die Beziehung gilt.