Dilworthの定理
from
ABC134E
DAG 上の最小 path 被覆 (全ての頂点を適当な path に属するようにして分割する時の必要な path の最小本数) は、最大 antichain（頂点の集合であって、集合に属する任意の 2 頂点に関して、それらを結ぶような path が存在しない）の要素数と一致する