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

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