[ HDU - 6852 ] LIS 和 LDS的联系

HDU - 6852

就nm离谱。

LIS 和 LDS之间的联系，见 洛谷P1020 导弹拦截

简单来说就是LIS的最大长度等于LDS个数，反之亦然。

Dilworth定理：偏序集的最少反链划分数等于最长链的长度

LIS最大长度为x，LDS最大长度为y

那么这个序列可以划分为x个下降子序列。

其中：若x个下降子序列长度都为y，则需x*y>=n，否则用不完。

若x-1个下降子序列长度为1，一个为y，则x-1+y<=n 否则超出。

判断NO的条件即得出。

为了让序列的字典序最小，我们需要让大的尽量放后面。

每次循环保证减y后凑出x-1块，然后x--，如果接下来y过大，则y=n-x+1，使其正好满足要求。