题意：中文题意很清楚 LOJ2263
分析：
根据Dilworth定理，最小链覆盖=最长反链。 问题转化为求 $k$ 个最小不上升序列能覆盖的最大数的个数.
参考链接：
1. https://blog.csdn.net/qq_35649707/article/details/82501437
2. https://www.cnblogs.com/Ren-Ivan/p/8804453.html
3. https://loj.ac/submission/508486
原文：https://www.cnblogs.com/lfri/p/11324449.html