Антицепь
- Антицепь в математике — подмножество частично упорядоченного множества, где любые два элемента несравнимы.
- Ширина антицепи — максимальный размер антицепи в частично упорядоченном множестве.
- Теорема Дилворта связывает ширину антицепи с минимальным числом цепочек, на которые можно разбить множество.
- В двойственном смысле теорема Мирского связывает высоту частично упорядоченного множества с минимальным числом антицепей, на которые можно разбить множество.
- Семейства антицепей в конечном частично упорядоченном множестве имеют операции соединения и встречи, образующие распределительную решетку.
- Подсчет числа антицепей в конечном частично упорядоченном множестве является #P-полным.
Полный текст статьи: