给出长度为 n 的序列 {ai}，求至少修改其中的几个数，能够变成严格单调递增。
尝试转化成已知的问题：如果原问题是非严格单调递增，则直接求出LIS 的?度，从 n 中减去就行了。注意到 ai 都是整数，ai < ai+1 相当于 ai + 1 ≤ ai+1，于是a1 < a2 < · · · < an?1 < an就相当于a1 + (n ? 1) ≤ a2 + (n ? 2) ≤ · · · ≤ an?1 + 1 ≤ an将原数组进行预处理，就可以转化成 LIS 问题了。