二分答案&【NOIP 2015】跳石头

二分答案估计是我应该早就学会，但拖到现在才去好好看的套路吧！

二分答案是指在答案具有单调性的前提下，利用二分的思想枚举答案，将求解问题转化为验证结果。首先需要估计答案的上下界，然后不断取区间中点进行验证（这就要求答案的验证应当简单可行），并通过验证结果不断更新答案区间，最终得到答案。不难看出，朴素的枚举验证时间复杂度是O(n)的，而二分可以做到O(logn)。更令人欣喜的是，二分答案的问题往往有固定的问法，比如：令最大值最小（最小值最大），求满足条件的最大（小）值等。

一道模板题练个手：https://www.luogu.org/problemnew/show/P2678

---

这几乎是最简单的二分答案模板题，在明白二分答案后，是可以做到一遍AC的。题目的问法也十分模板（求最短跳跃距离的最大值），答案是单调的，拿走的石头越多，最短跳跃距离越大。我们可以估计最大的最短跳跃距离(1<=ans<=L)。然后取区间中点，进行验证。若发现某次跳跃比这个最短跳跃距离还小，那就把这块石头拿走。总共拿走的石头数不超过M，就说明区间中点符合要求，就将区间更新为右半区间（因为要求最大的最短跳跃距离）；反之，就将区间设为左半区间。

#include <cstdio>

inline int get_num() {
    int num = 0;
    char c = getchar();
    while (c < '0' || c > '9') c = getchar();
    while (c >= '0' && c <= '9')
        num = num * 10 + c - '0', c = getchar();
    return num;
}

const int maxn = 5e4 + 5;

int L, n, m, stone[maxn];

inline int check(int x) {
    int cnt = 0, last = 0;
    for (int i = 1; i <= n; ++i) {
        if (stone[i] - stone[last] < x) ++cnt;
        else last = i;
    }
    if (cnt <= m) return 1;
    else return 0;
}

int main() {
    L = get_num(), n = get_num(), m = get_num();
    for (int i = 1; i <= n; ++i) stone[i] = get_num();
    int l = 1, r = L + 1;
    while (r - l > 1) {
        int mid = l + (r - l) / 2;
        if (check(mid)) l = mid;
        else r = mid;
    }
    printf("%d", l);
    return 0;
}