YYH的苍天大竹（NOIP模拟赛Round 6）

题目描述

YYH擅长种竹子。今天他收获了一根竹子，准备将这根柱子卖给CHS。这个竹子有n-1个竹节。CHS要求一定要从竹节的地方砍，而且砍成若干段后每一段竹子中最长的一小段竹子和最短的一小段的长度差不能超过s，一段竹子至少含有l小段竹子。这可让YYH郁闷了，他希望留点力气刷题，所以他想知道他最少可以将整根竹子砍成多少段。

输入输出格式

输入格式：

输入第一行三个整数，n,s,l，意义如题目所描述

输入第二行n个整数，a[1],a[2],……,a[n]，分别为每小段竹子的长度

输出格式：

如果有满足条件的砍法，输出整根竹子砍成最少的段数。否则输出-1

这道题我们很显然要用DP来做。

那么首先我们需要构造出一个DP方程

f[i]肯定由另一个状态dp转移后+1得到，那么这个状态是什么呢？

很明显就是mint[i]~i-k(在此mint表示的是以i为结尾的竹子最左端最多能延展到的位置)

看到这个之后我们想到了一个N^2DP

但是还是不够

我们想一想如何得到mint?

mint就是判断一段区间的最大值减去最小值是否满足题意

那么我们可不可以用数据结构得出这个答案呢？

显然我们可以用线段树来优化这个过程

时间复杂度O(nlogn)

同样在得出答案的过程我们也可以用线段树加速

下面贴代码

#include<cstdio>
#include<cstring>
#define inf 0x3f3f3f3f
#define min(x,y) (x<y?x:y)
#define max(x,y) (x>y?x:y)
using namespace std;
int a[];
struct mm{
    int v1,v2;
}t[];
int mint[];
int f[];
int m=,n,s,l;
void pushdown(int i){t[i].v1=min(t[i<<].v1,t[i<<|].v1);t[i].v2=max(t[i<<].v2,t[i<<|].v2);}
void buildtree(){
    while(m<n+)m<<=;
    for(int i=;i<=n;i++)
    t[i+m].v1=t[i+m].v2=a[i];
    for(int i=m-;i;i--)
    pushdown(i);
}
int query(int l,int r)
{
    int maxn=-inf,minn=inf;
    for(l=l+m-,r=r+m+;l^r^;l>>=,r>>=)
    {
        if(~l&)minn=min(minn,t[l^].v1),maxn=max(maxn,t[l^].v2);
        if(r&)minn=min(minn,t[r^].v1),maxn=max(maxn,t[r^].v2);
    }
    return maxn-minn;
}
int que(int l,int r)
{
    int minn=inf;
    for(l+=m-,r+=m+;l^r^;l>>=,r>>=)
    {
        if(~l&)minn=min(minn,f[l^]);
        if(r&)minn=min(minn,f[r^]);
    }
    return minn;
}
void push(int x){f[x]=min(f[x<<],f[x<<|]);}
void add(int x,int y){for(f[x+=m]=y,x>>=;x;x>>=)push(x);}
int main(){
    memset(f,/,sizeof(f));
    scanf("%d%d%d",&n,&s,&l);n++;
    for(int i=;i<=n;i++)scanf("%d",&a[i]);
    a[]=a[];
    buildtree();
    int le=;
    for(int i=;i<=n;i++)
    {
        int tmp=query(le,i);
        while(tmp>s)
        {
            tmp=query(++le,i);
        }
        mint[i]=le;
    }
    add(,);
    for(int i=;i<=n;i++)
        if(max(,mint[i]-)>i-l)add(i,inf);
        else add(i,que(max(,mint[i]-),i-l)+);
    printf("%d\n",f[n+m]>=inf?-:f[n+m]);
    return ;
}