Codeforces 460C Present (贪心 + 二分)

@(K ACMer) by 题解工厂
[TOC]

---

题意:

有一排花,你有m次浇花的机会,每次浇花的范围是w,且浇一次,花长高一个单位.问m次浇花之后,最矮的花,高度最大为多少.

---

分析:

这题是比较典型的最大化最小值问题,如果直接去求最后的最小最大高度是多少,是决没有一点可行法的.
这类问题的解决办法就是对最小值进行二分 ,对可行性进行贪心,
这里二分的思想很容易理解,主要是说明贪心的正确性.根据二分函数,得到当前需要判断是否满足的最小值X,然后根据贪心法则来验证这个X是否具有可行性.

从左边开始第一个小于X的数,必定要把它变为X的高度,覆盖这个数后面的W个数都加上当前树需要浇的次数,显然这样贪心是最优策略,因为没有必要对这个数,左边的树进行变大,它们都已经满足条件了.
就这样从左边到右边贪心的进行,如果最后都满足了,这可行.
注:这里每一次浇水都是模拟实现的,judge复杂度是:$O(n * w)$总的复杂度就是$O(log^{r - l} *n * w)$会超时.所以这里用了一个类似前缀求区间差值的小技巧,让judge函数的复杂度变为了$O(n)$.具体技巧实现看代码.

---

Code:

#include <stdio.h>
#include <vector>
#include <cmath>
#include <cstring>
#include <iostream>
using namespace std;
#define first xx
#define second yy
typedef long long LL;
const int INF = 0x3fffffff, M = (int)2e5 + 9;
typedef pair<int ,int> pii;
typedef vector<int> vi;

LL n, k, m, a[M], d[M], l, r, sum;

bool judge(LL x)
{
    memset(d, 0, sizeof(d)); //d[i]表示从它开始,所有值自带加d[i]的值.
    LL step = k;
    for (int i = 1; i <= n; i++) {
        if(step < 0) return false;
        d[i] = d[i] + d[i - 1];  //继承更新
        LL z = x - (a[i] + d[i]);
        if (z > 0) {
            step -= z;
            d[i] += z;  //i之后的所有数都加z
            d[i + m] -= z; //(i + m) 之后的所有数都减Z,与上面的语句结合,就实现了只表达i到i + m之间的数加z的效果.
        }
    }
    return step >= 0;
}

void doit(void)
{
    while (r - l > 1) {
        int mid = (l + r) / 2;
        if (judge(mid)) l = mid;
        else r = mid;
    }
    printf("%I64d\n", l);
}

int main(void)
{
    ios::sync_with_stdio(false);
    while (~scanf("%I64d%I64d%I64d", &n, &k, &m)) {
        r = sum = 0;
        l = INF;
        for (int i = 1; i <= n ; i++) {
            scanf("%I64d", &a[i]);
            sum += a[i];
            if (a[i] < l) l = a[i];
            if (a[i] > r) r = a[i];
        }
        r = r + k + 1;
        doit();
    }
    return 0;
}