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