【ZOJ4062】Plants vs. Zombies（二分）

题意：有n个植物排成一排，标号为1-n，每株植物有自己的生长速度ai，每对植物浇一次水，该株植物就长高ai，

现在机器人从第0个格子出发，每次走一步，不能停留，每一步浇一次水，总共可以走m步，问最矮的植物最高是多少。

n<=1e6，sigma n<=1e7，0<=m<=1e12，1<=a[i]<=1e5

思路：7Y……你不死谁死

显然最小值最大可以二分，二分答案，最优的策略一定是从左到右依次左右横跳，直到当前格子不小于二分的值

一个致命的细节：最后一个如果在倒数第二个左右横跳的时候已经够了则不需要再走到了

#include<cstdio>
#include<cstring>
#include<string>
#include<cmath>
#include<iostream>
#include<algorithm>
#include<map>
#include<set>
#include<queue>
#include<vector>
using namespace std;
typedef long long ll;
typedef unsigned int uint;
typedef unsigned long long ull;
typedef pair<int,int> PII;
typedef vector<int> VI;
#define fi first
#define se second 
#define MP make_pair
#define N      110000
#define M      51
#define MOD 1000000007
#define eps 1e-8 
#define pi     acos(-1)
#define oo     1010000000

ll a[N],b[N],m;
int n;

int isok(ll k)
{
    for(int i=1;i<=n+1;i++) b[i]=0;
     ll t=0;
    for(int i=1;i<=n;i++)
    {
        if(i==n&&b[n]>=k) continue;
        t++;
        if(t>m) return 0;
        b[i]+=a[i];
        if(b[i]<k)
        {    
            ll tmp=(k-b[i])/a[i];
            if(tmp*a[i]+b[i]<k) tmp++;
            t=t+tmp*2;
            if(t>m)    return 0;
            b[i]+=a[i]*tmp;
            b[i+1]+=a[i+1]*tmp;
        }
    }
    if(t>m) return 0;
    return 1;
}

int main()
{ 
     int cas;
     scanf("%d",&cas);
     for(int v=1;v<=cas;v++) 
     {
        scanf("%d%lld",&n,&m);
        for(int i=1;i<=n;i++) scanf("%lld",&a[i]);
        ll l=1;
        ll r=1e17;
        ll last=0;
        while(l<=r)
        {
            ll mid=(l+r)/2;
            if(isok(mid)){last=mid; l=mid+1;}
             else r=mid-1;
        }
        printf("%lld
",last); 
    }
    return 0;
}