Codeforces1437 E. Make It Increasing（LIS）

题意：

给定长度为n的序列a，和长度为m的集合b，其中1<=b(i)<=n，且b(i)互不相同，
一次操作你可以选择一个i和x，令a(i)=x，但前提是下标i不能在集合b中出现过。
问最少进行多少次操作能使得a序列严格递增。

数据范围：m<=n<=5e5

解法：

严格递增比较难处理,令a[i]=a[i]-i,那么问题变为非严格递增.
无解条件:a[b[i]]>a[b[i+1]].
如果有解,那么b[i]会将a分成若干段,
考虑每段最多保留多少个数,那么求每一段[b[i]+1,b[i+1]-1]中的LIS即可.
对于段中的数a[x],如果a[x]<a[b[i]]或a[x]>a[b[i+1]],那么一定需要修改,此时a[x]不参与LIS的计算.

code：

#include<bits/stdc++.h>
using namespace std;
const int maxm=5e5+5;
int stk[maxm];
int a[maxm];
int b[maxm];
int n,m;
signed main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
        a[i]-=i;
    }
    for(int i=1;i<=m;i++){
        scanf("%d",&b[i]);
    }
    for(int i=1;i<=m-1;i++){
        if(a[b[i]]>a[b[i+1]]){
            puts("-1");
            return 0;
        }
    }
    a[0]=-1e9,a[n+1]=1e9;
    b[0]=0,b[m+1]=n+1;
    int ans=0;
    for(int i=0;i<=m;i++){
        int len=0;
        for(int j=b[i]+1;j<=b[i+1]-1;j++){
            if(a[j]<a[b[i]]||a[j]>a[b[i+1]]){
                continue;
            }
            int l=1,r=len;
            int pos=-1;
            while(l<=r){
                int mid=(l+r)/2;
                if(stk[mid]>a[j])pos=mid,r=mid-1;
                else l=mid+1;
            }
            if(pos==-1)stk[++len]=a[j];
            else stk[pos]=a[j];
        }
        ans+=b[i+1]-b[i]-1-len;
    }
    printf("%d\n",ans);
    return 0;
}

---