Witam
Według twierdzenia Halla warunkiem koniecznym i wystarczającym na skojarzenie małżeństw jest to bo dla każdego zbioru k dziewcząt, wszystkie one łącznie znały co najmniej k chłopców, gdzie:
\(\displaystyle{ 1 \le k \le m}\)
I teraz mam pytanie.
1.Rozumiem, że to dla każdego PODzbioru o ilości k dziewcząt zbioru m musi zajść taki warunek, czy tak?
2.Takich podzbiorów będzie \(\displaystyle{ C^k_m}\)?