Теорема Дилворта: различия между версиями
Перейти к навигации
Перейти к поиску
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. | |||
Версия от 12:42, 13 сентября 2011
Теорема Дилворта (R.P.Dilvorth, 1950) — Для любого частично упорядоченного множества
[math]\displaystyle{ P = (S, \leq) }[/math]
минимальное число цепей, покрывающих все точки [math]\displaystyle{ \,S }[/math], равно мощности наибольшей антицепи, т.е. мощности множества несравнимых точек в [math]\displaystyle{ \,P }[/math].
Литература
- Оре О. Теория графов. — М.: Наука, 1968.