Многоугольные графы как упорядоченные множества: критерий шпернеровости

Конечное упорядоченное множество называется шпернеровым, если среди его максимальных по длине антицепей хотя бы одна составлена из элементов одинаковой высоты. Под многоугольным графом понимается бесконтурный граф,\linebreak полученный из цикла путем некоторой ориентации его ребер. В многоугольном графе отношение достижимости вершин является отношением порядка. Таким образом, многоугольный граф можно рассматривать как упорядоченное множество. Найдены необходимые и достаточные условия шпернеровости таких упорядоченных множеств.