Теорема Холла

Материал из WikiGrapp
Версия от 12:00, 19 сентября 2011; KEV (обсуждение | вклад)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Теорема Холла (Ph.Hall, 1935) — Семейство конечных множеств [math]\displaystyle{ S_{1}, \, S_{2}, \ldots, \, S_{m} }[/math] обладает системой различных представителей тогда и только тогда, когда для всех [math]\displaystyle{ k = 1, \ldots, m }[/math] объединение любых [math]\displaystyle{ \,k }[/math] множеств этого семейства содержит по крайней мере [math]\displaystyle{ \,k }[/math] элементов.

Литература

  • Харари Ф. Теория графов. — М.: Мир, 1973.