Свойство Шпернера

Материал из WikiGrapp
Версия от 16:10, 26 января 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Свойство Шпернера''' (''Sperner property'') - свойство конечного ранжируемого части...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Свойство Шпернера (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].

Литература

[Welch]