4624
правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Теорема Холла''' (''Ph.Hall, 1935'') - ''Семейство конечных множеств <math>S_{1}, \, S_{2}, \ldot...) |
KEV (обсуждение | вклад) Нет описания правки |
||
(не показана 1 промежуточная версия этого же участника) | |||
Строка 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. |