Частично-упорядоченные множества, булеан, теоремы о разложении на цепи и антицепи
Download as PPTX, PDF0 likes1,418 views
More Related Content
More from Alex Dainiak (20)
Частично-упорядоченные множества, булеан, теоремы о разложении на цепи и антицепи
- 5. Цепи и антицепи Так схематично выглядят цепи и антицепи: Каждая цепь и антицепь имеют не больше одного общего элемента.
- 6. Булеан / булев куб
- 7. Антицепи в булеане: теорема Л.—Я.— М.
- 10. Теорема Шпернера
- 11. Цепи и антицепи Разложить ч. у. м. на цепи — это значит представить носитель ч. у. м. объединением попарно непересекающихся цепей. Аналогично определяется для антицепей. Теорема. • Минимальное число антицепей, на которое можно разложить ч. у. м., равно максимальному размеру цепи в этом ч. у. м. • Минимальное число цепей, на которое можно разложить ч. у. м., равно максимальному размеру антицепи в этом ч. у. м. (теор. Дилуорта)
- 16. Вывод теоремы Холла из теоремы Дилуорта
- 17. Вывод теоремы Холла из теоремы Дилуорта
- 18. Вывод теоремы Холла из теоремы Дилуорта