HDU5773（The All-purpose Zero LIS变形）

题目链接
序列的0可以变为任意数，问LIS

0可以转化成任意整数，包括负数，显然求LIS时尽量把0都放进去必定是正确的。因此我们可以把0拿出来，对剩下的做O(nlogn)的LIS，统计结果的时候再算上0的数量。为了保证严格递增，我们可以将每个权值S[i]减去i前面0的个数，再做LIS，就能保证结果是严格递增的。

#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<string>
#include<cmath>
#include<map>
#include<set>
#include<cstdlib>
#include<vector>
using namespace std;
#define cl(a,b) memset(a,b,sizeof(a))
#define LL long long
#define pb push_back
#define gcd __gcd

#define For(i,j,k) for(int i=(j);i<k;i++)
#define lowbit(i) (i&(-i))
#define _(x) printf("%d\n",x)

const int maxn = 2e5+200;
const int inf  = 1 << 28;

int a[maxn];
int d[maxn],g[maxn];

int b[maxn];

int c[maxn],vis[maxn];

int main(){
    int T;int cas=1;
    scanf("%d",&T);
    while(T--){
        int n;scanf("%d",&n);
        int num = 0;
        int k=0;cl(vis,0);
        for(int i=0;i<n;i++){
            scanf("%d",&a[i]);d[i]=0;g[i]=inf;
            b[i]=0;
            if(a[i]==0){num++;vis[i]=1;}
            if(a[i])b[i]=num;
        }
        g[n]=inf;
        //for(int i=0;i<n;i++)cout<<b[i]<<' ';cout<<endl;
        for(int i=0;i<n;i++)a[i]-=b[i];
        for(int i=0;i<n;i++)if(!vis[i]){
            c[k++]=a[i];
        }
        int ans = 0;
        for(int i=0;i<k;i++){
            int k = lower_bound(g+1,g+1+n,c[i])-g;
            d[i]=k;
            g[k]=c[i];
            ans = max(ans, d[i]);
        }

        printf("Case #%d: %d\n",cas++,ans+num);
    }
    return 0;
}