题意

洛谷

做法

结论1：\(f(n)=min\{k|\frac{k(k+1)}{2}>n\}-1\)

证明：
不会...就背着吧
好像上界的排列形如：\(1|3,2|10,9,8,7|15,14,13,12,11|\)

然后考虑替换求LIS那种方法
求出的LIS若大于\(f(n)\)，则将LIS找出来删掉
若小于\(f(n)\)，考虑替换的过程，则可得出LIS长度个下降序列