@[dltdltdlt](/user/876232) 您要求的是 $\text{LIS}$ qwq
by _XOF_ @ 2023-08-23 19:17:38
@[_XOF_](/user/542221) 请问 $\operatorname{LIS}$ 是什么？
by 44_FeiDing @ 2023-08-23 19:24:31
@[dltdltdlt](/user/876232)
$\text{LIS}$ 指最长上升子序列。
根据 $\text{Dilworth}$ 定理，一个序列的需要的能覆盖整个序列的最少最长下降子序列的个数，等于这个序列的 $\text{LIS}$ 的长度，这就是这题要求 $\text{LIS}$ 的原因。
by _XOF_ @ 2023-08-23 19:27:31
@[dltdltdlt](/user/876232) 最长上升子序列
by Algae_qwq @ 2023-08-23 19:28:12
@[_XOF_](/user/542221) 谢谢大佬，已关。
by 44_FeiDing @ 2023-08-23 19:32:22
@[dltdltdlt](/user/876232) 标题不要使用 LaTeX
by Night_sea_64 @ 2023-08-23 19:58:25