Dilworth 定理 笔记

对一个集合用若干条偏序关系的链覆盖，最小覆盖 $=$ 最大反偏序链链长。

• P1020 [NOIP 1999 提高组] 导弹拦截；
• 20260827B 街机游戏。