CF487B Strip

f[i]表示：前i个已经分完了组，且最后一组的最后一个为第i个数的最小组数。

那么可以想到，该dp是具有类似于单调性的性质，即在满足条件的情况下，我们肯定是选满足条件的最左边的点转移过来。

所以在转移时，记录当前满足条件的最左边的点。用ST预处理的方法可以在O(1)复杂度下判断区间是否满足条件。

#include <bits/stdc++.h>
using namespace std;
const int N=1e5+5;
int n,s,l,inf;
int a[N],LOG[N],minn[N][18],maxn[N][18],f[N];

inline int query(int l,int r)
{
	int s=LOG[r-l+1];
	return max(maxn[l][s],maxn[r-(1<<s)+1][s])-min(minn[l][s],minn[r-(1<<s)+1][s]);
}

int main(){
	scanf("%d%d%d",&n,&s,&l);
	for (register int i=1; i<=n; ++i) scanf("%d",&a[i]);
	LOG[0]=-1;
	for (register int i=1; i<=n; ++i) LOG[i]=LOG[i>>1]+1;
	for (register int i=1; i<=n; ++i) minn[i][0]=maxn[i][0]=a[i];
	for (register int j=1; j<=17; ++j)
	for (register int i=1; i+(1<<j)-1<=n; ++i) 
	{
		minn[i][j]=min(minn[i][j-1],minn[i+(1<<(j-1))][j-1]);
		maxn[i][j]=max(maxn[i][j-1],maxn[i+(1<<(j-1))][j-1]);
	}
	memset(f,60,sizeof(f)); inf=f[0];
	f[0]=0;
	int now=0;
	for (register int i=l; i<=n; ++i)
	{
		while (i-now>=l && (query(now+1,i)>s || f[now]==inf)) now++;
		if (i-now>=l) f[i]=f[now]+1;
	}
	if (f[n]==inf) printf("%d\n",-1);
	else printf("%d\n",f[n]);
return 0;
}