103439D

一道需要一些猜结论技巧的中档题。 首先突破口在于排列长度恰好等于不是额外输入的某个数 $k$ 而是 LDS 与 LIS 的乘积，这显然启示我们去找一些性质。根据 dilworth 定理，最长反链等于最小链覆盖，故 LIS 的长度，就是最少需要的递减数列的个数使得每个元素被覆盖至少一次，而每个递减数列 ......