Теорема Холла: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Теорема Холла''' (''[[Ph.Hall, 1935]]'') | '''Теорема Холла''' (''[[Ph.Hall, 1935]]'') — | ||
''Семейство конечных множеств <math>S_{1}, \, S_{2}, \ldots, \, S_{m}</math> обладает системой различных представителей тогда и только тогда, когда для всех <math>k = 1, \ldots, m</math> объединение любых <math>k</math> множеств этого семейства содержит по крайней мере <math>k</math> элементов.'' | ''Семейство конечных множеств <math>S_{1}, \, S_{2}, \ldots, \, S_{m}</math> обладает системой различных представителей тогда и только тогда, когда для всех <math>k = 1, \ldots, m</math> объединение любых <math>\,k</math> множеств этого семейства содержит по крайней мере <math>\,k</math> элементов.'' | ||
==Литература== | ==Литература== | ||
* Харари Ф. Теория графов. — М.: Мир, 1973. | |||
Текущая версия от 12:00, 19 сентября 2011
Теорема Холла (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.