摘要： 发现自己并不会 Dilworth 定理的构造性证明（原题要求输出方案），于是去 Wiki 上学习了一下。下文是我参照 Wiki 上的证明思路口胡的一个证明。 附例题：Codeforces 590E Dilworth 定理: DAG 的最长反链大小等于最小链覆盖大小。 反链是指从图中的一个点的集合，使 阅读全文