102. 最佳牛围栏

农夫约翰的农场由 N 块田地组成，每块地里都有一定数量的牛，其数量不会少于 1 头，也不会超过 2000 头。

约翰希望用围栏将一部分连续的田地围起来，并使得围起来的区域内每块地包含的牛的数量的平均值达到最大。

围起区域内至少需要包含 F 块地，其中 F 会在输入中给出。

在给定条件下，计算围起区域内每块地包含的牛的数量的平均值可能的最大值是多少。

输入格式

第一行输入整数 N 和 F，数据间用空格隔开。

接下来 N 行，每行输入一个整数，第 i+1 行输入的整数代表第 i 片区域内包含的牛的数目。

输出格式

输出一个整数，表示平均值的最大值乘以 1000 再 向下取整 之后得到的结果。

数据范围

1≤N≤100000
1≤F≤N

输入样例：

10 6
6 
4
2
10
3
8
5
9
4
1

输出样例：

6500

代码：

/*类似于“最大值最小”、”平均数最大”的问题，一般使用二分法对该值进行判定
1、该问题等价于：给定正整数列A，求一个平均数最大的、长度不小于L的(连续的)子段的平均数最大值
2、通过二分给定一个平均数，如果把数列中每个数都减去平均数得到数组B[]，就转换为判定“是否存在一个长度不小于L的子段，子段和非负”

3、上述问题中，需要对B[]数组进行前缀和sun[],[i,j]表示长度为L的区间，minv表示sum[i]的最小值（该最小值的位置和 j 位置的距离一定大于等于L），通过j枚举整个数组B[]，若sum[j] - minv >= 0 则表示存在该平均数使得该平均数满足题目条件，返回ture，否则返回false*/
#include<bits/stdc++.h>
using namespace std;

#define x first
#define y second
#define int long long
#define endl '\n'
#define IOS ios::sync_with_stdio(false); cin.tie(0);cout.tie(0);
typedef unsigned long long ull;
typedef pair<int, int> PII;

int lowbit(int x) { return x & (- x); }
int  gcd(int a, int b) { return b ? gcd(b, a % b) : a; }
const int mod = 1e9 + 7;
const int N = 100010;

int n, F;
double a[N], s[N];

bool check(double avg)
{
    for (int i = 1; i <= n ; i++)
        s[i] = s[i - 1] + a[i] - avg;

    double mins = 0;

    for ( int k = F; k <= n; k++)
    {
        mins = min(mins, s[k - F]);

        if (s[k] >= mins)return true;
    }

    return false;
}
signed main()
{
    IOS;
    cin >> n >> F;
    double l = 0, r = 0;

    for (int i = 1; i <= n; i++)
    {
        cin >> a[i];
        r = max(r, a[i]);
    }

    while (r - l > 1e-5)
    {
        double mid = (l + r) / 2;

        if (check(mid)) l = mid;
        else
            r = mid;
    }

    cout << (int)(r * 1000);
    return 0;
}