A $G(A, B, E)$ páros gráfban akkor és csak akkor létezik teljes párosítás, ha $ \mid A \mid = \mid B \mid$ és $ \mid X \mid \leq \mid N(X) \mid $ minden $X \subseteq A $ ponthalmazra. Megnézem az erről a képletről szóló tananyagot Ezt a képletet még az alábbi kurzusainkban is megtalálod: Diszkrét matematika / Páros gráfok, párosítások / Frobenius tétele Bevezetés a számításelméletbe 2 / Páros gráfok, párosítások / Frobenius tétele Számítástudomány alapjai / Páros gráfok, párosítások / Frobenius tétele Számítástudomány / Páros gráfok, párosítások / Frobenius tétele