Eine Antichain in einer DAG ist eine Teilmenge A ⊆ V von Scheitelpunkten, die paarweise nicht erreichbar sind, dh es gibt kein v ≠ v ' ∈ A, so dass v von v ' in E erreichbar ist . Aus dem Dilworth-Theorem in der Teilordnungstheorie ist bekannt, dass DAG, wenn es keine Antichain der Größe k ∈ N hat...