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:
1 ≤k ≤ 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 Ckm?