二分思想

对于二分，二分是一种思想，二分的前提是单调性，但单调性不一定直接写在题目中，而是答案存在单调性。如这道题使用二分的前提就是答案的范围是0-最大值之间，所以通过转化我们就可以对此题使用二分

例题：AcWing102

二分函数

double l = 0, r = 2000;
while (r - l > 1e-5) {
    double mid = (l + r) / 2;
    if (check(mid))
        l = mid;
    else
        r = mid;
}

实数二分，此题需要求出不小于某个长度范围养牛平均数最大是多少。

首先我们假设存在一个mid，mid代表存在一个平均数是某块区域的养牛平均数，此时如果最优解是x，那么一定存在一段满足mid的情况，从而继续进行mid到右边界的二分，直至找到最优解为止。

那么如何来判断是否存在一段区间满足mid呢。我们将每块地的牛减去mid，同时求出前缀和，通过前缀和相减得到某块区间的值，如果这个值大于0，那么说明这块区间的平均值可以达到mid。同时我们可以在左边界之前寻找最小前缀和（也就是将某个前缀和减去最小前缀和），这样可以推出最优解的情况。

bool check(double avg) {
    for (int i = 1; i <= n; i++) sum[i] = sum[i - 1] + cows[i] - avg;
    double mins = 0;
    for (int i = 0, j = m; j <= n; i++, j++) {
        mins = min(mins, sum[i]); //寻找最小前缀和
        if (sum[j] - mins >= 0) return true; 
        // 使用距离差距至少m的前缀和减去最小前缀和得到的一定是当前最优解，如若大于0，则mid情况存在，继续二分
    }
    return false;
}