说在前面
并没有什么想说的,但是要保持格式=w=
题目
题面
给定 N N 个积木,编号为 ,每个积木高度为 1 1 ,宽度为 ,你可以把若干个积木放在一层上,堆成若干层,要求满足两个条件:
- 对于任意一层的积木,他的宽度之和要小于等于他下面那一层的积木(最底层除外)。
- 不允许编号小的放在编号大的的积木上面。
请求最多能够堆多少层,每个积木都要使用
范围:
N≤105
N
≤
10
5
,
wi≤104
w
i
≤
10
4
输入输出格式
输入格式:
第一行一个整数
N
N
,含义如题
接下来一行 个整数,第
i
i
个数字为
输出格式:
输出一行一个整数表示答案
解法
这题,me一开始想了个贪心,然后WA了…
继续想,然而没想出来,于是去看了题解… Bfk题解传送门
所以这个题是需要发现一个性质的!这样一来,问题也就变得容易了。然而me自己觉得me并不能发现这个性质
看了好久才明白其正确性,写一点me对zkw证明方法的注解…
现在有两座塔,一个高度最大,设为
A
A
,另一个「从低到高」顺序下,每层宽度尽量小,设为(
B
B
的高度比小)
首先,显然有
hB≤hA
h
B
≤
h
A
,并且
A
A
最底层宽度不比 小
因为
hB≤hA
h
B
≤
h
A
,所以肯定在某一层
A
A
比 宽度要小(
A
A
全程比 宽的情况是不可能出现的,除非
A
A
比 多了几块积木),也一定存在一层,此时刚好
B
B
用的比 多
所以就把
B
B
刚好用的比 多的那一层之上的部分,换成
A
A
的,显然会更细一些,并且高度也和 一样
所以,只要存在比「宽度最小塔」更高的,就可以按照如上操作替换,最后就会发现,「宽度最小塔」就是最高的那一个
下面是代码
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std ;
int N , sum[100005] , dp[100005] ;
int cnt[100005] , val[100005] ;
int que[100005] , fr , ba ;
void solve(){
val[N+1] = sum[N] ;
fr = 1 , ba = 0 , que[++ba] = N + 1 ;
for( int i = N ; i ; i -- ){
while( ba > fr && val[ que[fr+1] ] >= sum[i-1] ) fr ++ ;
dp[i] = sum[ que[fr]-1 ] - sum[i-1] ;
cnt[i] = cnt[ que[fr] ] + 1 ;
val[i] = sum[i-1] - dp[i] ;
while( ba >= fr && val[ que[ba] ] <= val[i] ) ba -- ;
que[++ba] = i ;
} printf( "%d" , cnt[1] ) ;
}
int main(){
scanf( "%d" , &N ) ;
for( int i = 1 ; i <= N ; i ++ )
scanf( "%d" , &sum[i] ) , sum[i] += sum[i-1] ;
sum[N+1] = sum[N] ;
solve() ;
}