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