codeforces1437E. Make It Increasing

https://codeforces.com/contest/1437/problem/E

看清楚是严格递增序列

那么无解的情况就是相邻两个差得太少的情况，必须满足a[b[i]]-a[b[i-1]]>=b[i]-b[i-1]才行

然后对每两段中间，如果跟左右限制a[b[i]]和a[b[i+1]]差得太少不行，直接ans++

否则则搞一个最不下降子序列，由于是要严格递增，我们就给每个地方变成c[j]=a[j]-a[b[i]]-(j-b[i])，这样把按下标至少严格递增1也考虑进去了，那么搞个最长不下降子序列，就是这一段中最多可以不变的位置

吧c[j]离散化以后树状数组维护一下就行了

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

const int maxl=5e5+10;

int n,m,k,cnt,tot,cas,ans;
int a[maxl],b[maxl],c[maxl],num[maxl],bit[maxl];
bool vis[maxl];
char s[maxl];

inline void prework()
{
	scanf("%d%d",&n,&k);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	for(int i=1;i<=k;i++)
		scanf("%d",&b[i]);
	b[0]=0;b[k+1]=n+1;tot=0;
	for(int i=0;i<=k;i++)
		for(int j=b[i]+1;j<b[i+1];j++)
		{
			if((i>0 && a[j]-a[b[i]]<j-b[i]) || (i<k && a[b[i+1]]-a[j]<b[i+1]-j))
				continue;
			c[j]=a[j]-a[b[i]]-(j-b[i]);
			num[++tot]=c[j];
		}
	sort(num+1,num+1+tot);
	tot=unique(num+1,num+1+tot)-num-1;
	for(int i=0;i<=k;i++)
		for(int j=b[i]+1;j<b[i+1];j++)
		{
			if((i>0 && a[j]-a[b[i]]<j-b[i]) || (i<k && a[b[i+1]]-a[j]<b[i+1]-j))
				continue;
			c[j]=lower_bound(num+1,num+1+tot,c[j])-num;
		}
	
}

inline int qry(int i)
{
	int ret=0;
	while(i)
	{
		ret=max(bit[i],ret);
		i-=i&-i;
	}
	return ret;
}
inline void upd(int i,int x)
{
	while(i<=tot)
	{
		bit[i]=max(bit[i],x);
		i+=i&-i;
	}
}
inline void clr(int i)
{
	while(i<=tot)
	{
		bit[i]=0;
		i+=i&-i;
	}
}

inline void mainwork()
{
	for(int i=2;i<=k;i++)
	if(a[b[i]]-a[b[i-1]]<b[i]-b[i-1])
	{
		ans=-1;
		return;
	}
	int mx,tmp;
	ans=0;
	for(int i=0;i<=k;i++)
	{
		cnt=0;mx=0;
		for(int j=b[i]+1;j<b[i+1];j++)
		{
			if((i>0 && a[j]-a[b[i]]<j-b[i]) || (i<k && a[b[i+1]]-a[j]<b[i+1]-j))
				ans++;
			else
			{
				cnt++;
				tmp=qry(c[j])+1;mx=max(tmp,mx);
				upd(c[j],tmp);
			}
		}
		ans+=cnt-mx;
		for(int j=b[i]+1;j<b[i+1];j++)
		{
			if((i>0 && a[j]-a[b[i]]<j-b[i]) || (i<k && a[b[i+1]]-a[j]<b[i+1]-j))
				continue;
			else
				clr(c[j]);
		}
	}
}

inline void print()
{
	if(ans<0)
		puts("-1");
	else
		printf("%d",ans);
}

int main()
{
	int t=1;
	//scanf("%d",&t);
	for(cas=1;cas<=t;cas++)
	{
		prework();
		mainwork();
		print();
	}
	return 0;
}