實質上是求最長LIS;
a[0]=<a[1]-1=《a[2]-2=<a[3]=3=<a[i]-i;;
#include <iostream>
#include<string.h>
#include<stdio.h>
#include<algorithm>
using namespace std;
int a[100050];
int dp[100050];
int len=0;
int lis(int n)
{
int cnt=0;
for(int i=0;i<n;i++)
{
int t=upper_bound(dp,dp+cnt,a[i])-dp;
dp[t]=a[i];
if(t==cnt)
cnt++;
}
return cnt;
}
int main()
{
int t;
int cnt=1;
scanf("%d",&t);
while(t--)
{
int n;
len=0;
memset(dp,0,sizeof(dp));
scanf("%d",&n);
for(int i=0;i<n;i++)
{
scanf("%d",&a[i]);
a[i]-=i;
}
printf("Case #%d:\n",cnt++);
printf("%d\n",n-lis(n));
}
return 0;
}