题目：有一个数列A1,A2...An，修改数量最少的元素，使得这个数列严格递增。无论是修改前还是修改后，每个元素都必须是整数。
思路： 修改数量最少的元素使得这个数列严格递增，等价于让数量最多的元素不变，然后修改其余的元素。也就是从序列里面选尽量多的数，使得其它数修改后能形成一个单调递增序列。这跟LIS很像，不过多了个限制，我们尝试用数学式子来描述这个限制，a[i]-a[j]>=i-j，i>j，a[i],a[j]∈LIS，变形就是a[i]-i>=a[j]-j。一种自然的想法就产生了，将原序列做个变换，a[i]->a[i]-i，然后对新序列求最长非降序列，那么最长非降序列里的数的个数就是不变的数的最大个数，用n减去就是答案。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | #pragma comment(linker, "/STACK:10240000,10240000")#include <iostream>#include <cstdio>#include <cstring>#include <cstdlib>#include <vector>#include <algorithm>#include <queue>using namespace std;int dp[123456], n, a[123456];int LIS(int *from, int *to) { dp[0] = -1e9; for (int i = 1; i <= n; i ++) dp[i] = 1e9; int ans = 0; for (int *pint = from; pint < to; pint ++) { int pos = upper_bound(dp, dp + n, *pint) - dp - 1; dp[pos + 1] = min(dp[pos + 1], *pint); ans = max(ans, pos + 1); } return ans;}int main() {#ifndef ONLINE_JUDGE freopen("in.txt", "r", stdin);#endif // ONLINE_JUDGE int T, cas = 0; cin >> T; while (T --) { cin >> n; for (int i = 0; i < n; i ++) { scanf("%d", a + i); a[i] -= i; } printf("Case #%d:\n%d\n", ++ cas, n - LIS(a, a + n)); } return 0;} |
原文：http://www.cnblogs.com/jklongint/p/4579042.html