Теорема Дилворта: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 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.