Dilworthの定理
from ABC134E
DAG 上の最小 path 被覆 (全ての頂点を適当な path に属するようにして分割する時の必要な path の最小本数) は、最大 antichain（頂点の集合であって、集合に属する任意の 2 頂点に関して、それらを結ぶような path が存在しない）の要素数と一致する
"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]
(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]