Аноним

Свойство Шпернера: различия между версиями

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Свойство Шпернера''' (''[[Sperner property]]'') -
'''Свойство Шпернера''' (''[[Sperner property]]'')
свойство конечного ранжируемого частично упорядоченного множества,
свойство конечного ранжируемого частично упорядоченного множества,
состоящее в том, что мощность наибольшего независимого множества равна
состоящее в том, что мощность наибольшего независимого множества равна
наибольшей мощности уровня <math>\max \{w_{i} \, | \, i \geq 0\}</math>, где
наибольшей мощности уровня <math>\max \{w_{i} \, | \, i \geq 0\}</math>, где
<math>w_{i} = |W_{i}|</math>и <math>W_{i}</math>--- все точки <math>x</math> ранга <math>r(x) = i</math>.
<math>\,w_{i} = |W_{i}|</math> и <math>\,W_{i}</math> все точки <math>\,x</math> ранга <math>\,r(x) = i</math>.
==Литература==
==Литература==
[Welch]
* Welsh D.J.A. Matroid Theory. —  New York: Academic Press, 1976.