HDU 5256 （序列变换 LIS）

序列变换
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 1325 Accepted Submission(s): 498

Problem Description
我们有一个数列A1,A2…An，你现在要求修改数量最少的元素，使得这个数列严格递增。其中无论是修改前还是修改后，每个元素都必须是整数。
请输出最少需要修改多少个元素。

Input
第一行输入一个T(1≤T≤10)，表示有多少组数据

每一组数据：

第一行输入一个N(1≤N≤105)，表示数列的长度

第二行输入N个数A1,A2,…,An。

每一个数列中的元素都是正整数而且不超过106。

Output
对于每组数据，先输出一行

Case #i:

然后输出最少需要修改多少个元素。

Sample Input
2
2
1 10
3
2 5 4

Sample Output
Case #1:
0
Case #2:
1

所以说这道题依旧是LIS，可惜我看不透诶
题目说好了要严格递增的，所以我们就先让假设它是递增的，让每一个数都减去它的序号，找出减去后的非递增子序列就好了，至于为什么是这样呢，因为求的是严格递增的序列，所以呢，这个序列的每两个数之差： a[ i ] - a[ j ] >= i - j (i > j) 变换一下就是 a[ i ] - i >= a[ j ] - j ( i > j ) ， 于是乎就变成了求 a[ i ] - i 的非严格递增序列了，忽然觉得数学真的好神奇诶~~~

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
#define M 100100
#define INF 0x3f3f3f
#define RCL(a, b) memset(a, b, sizeof(a))

int a[M], f[M];

int main()
{
    int t, n;
    scanf("%d", &t);
    for(int ca=1; ca<=t; ca++)
    {
        scanf("%d", &n);
        for(int i=1; i<=n; i++)
        {
            scanf("%d", &a[i]);
            a[i] = a[i] - i;
        }
        int maxd = 0;
        RCL(f, INF);
        for(int i=1; i<=n; i++)
        {
            int j = upper_bound(f+1, f+1+n, a[i]) - f;
            f[j] = a[i];
            maxd = max(maxd, j);
        }
        printf("Case #%d:\n", ca);
        printf("%d\n", n - maxd);
    }


    return 0;
}