LOJ2265. 「CTSC2017」最长上升子序列

题意：中文题意很清楚 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