Die Paarungsbedingung für A {\displaystyle {}A} in einem bipartiten Graphen G {\displaystyle {}G} mit V = A ⊎ B {\displaystyle {}V=A\uplus B} .