Un anticadena en un DAG es un subconjunto de vértices que son pairwise inalcanzable, es decir, no hay tal que es alcanzable desde en . Por el teorema de Dilworth en la teoría del orden parcial, se sabe que si DAG no tiene una cadena de antemano de tamaño , entonces puede descomponerse en una unión de a lo sumo cadenas disjuntas, es decir, caminos dirigidos.
, ¿qué puedo asumir sobre su estructura? ¿Puedo descomponerlo de alguna manera especial? Ya estoy desconcertado por el caso de , pero también estoy interesado en el caso de un conjunto general de etiquetas finitas.
Para visualizar esto para , decir que no tiene una cadena principal de tamaño etiquetado significa que no hay cadena principal que contenga al menos vértices marcados con y vértices marcados con ; no puede ser arbitrariamente grande anticadenas pero tienen que contener sólo elementos o solamente elementos, hasta excepciones en la mayoría. Parece que no permitir grandes anticadenas debe hacer cumplir que el DAG esencialmente "suplentes" entre las partes de gran anchura para vértices marcado con, y gran anchura devértices etiquetados, pero no he podido formalizar esta intuición. (Por supuesto, una caracterización estructural adecuada debe referirse a las etiquetas de vértices además de la forma del DAG, porque ya para y en la condición se cumple con DAG completamente arbitrarios siempre que todos los vértices llevan la misma etiqueta).