4183
правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Теорема Дилворта''' (''[[R.P.Dilvorth, 1950]]'') | '''Теорема Дилворта''' (''[[R.P.Dilvorth, 1950]]'') — | ||
''Для любого частично упорядоченного множества'' | ''Для любого частично упорядоченного множества'' | ||
<math>P = (S, \leq)</math> | <math>P = (S, \leq)</math> | ||
''минимальное число [[цепь|цепей]], покрывающих все точки <math>S</math>, равно мощности наибольшей антицепи, т.е. мощности множества несравнимых точек в <math>P</math> | ''минимальное число [[цепь|цепей]], покрывающих все точки <math>\,S</math>, равно мощности наибольшей антицепи, т.е. мощности множества несравнимых точек в <math>\,P</math>.'' | ||
==Литература== | ==Литература== | ||
* Оре О. Теория графов. — М.: Наука, 1968. |