NOI / 1.11编程基础之二分查找 04:网线主管 二分

描述

仙境的居民们决定举办一场程序设计区域赛。裁判委员会完全由自愿组成，他们承诺要组织一次史上最公正的比赛。他们决定将选手的电脑用星形拓扑结构连接在一起，即将它们全部连到一个单一的中心服务器。为了组织这个完全公正的比赛，裁判委员会主席提出要将所有选手的电脑等距离地围绕在服务器周围放置。

为购买网线，裁判委员会联系了当地的一个网络解决方案提供商，要求能够提供一定数量的等长网线。裁判委员会希望网线越长越好，这样选手们之间的距离可以尽可能远一些。

该公司的网线主管承接了这个任务。他知道库存中每条网线的长度（精确到厘米），并且只要告诉他所需的网线长度（精确到厘米），他都能够完成对网线的切割工作。但是，这次，所需的网线长度并不知道，这让网线主管不知所措。

你需要编写一个程序，帮助网线主管确定一个最长的网线长度，并且按此长度对库存中的网线进行切割，能够得到指定数量的网线。

输入

第一行包含两个整数N和K，以单个空格隔开。N（1 <= N <= 10000）是库存中的网线数，K（1 <= K <= 10000）是需要的网线数量。
接下来N行，每行一个数，为库存中每条网线的长度（单位：米）。所有网线的长度至少1m，至多100km。输入中的所有长度都精确到厘米，即保留到小数点后两位。

输出

网线主管能够从库存的网线中切出指定数量的网线的最长长度（单位：米）。必须精确到厘米，即保留到小数点后两位。
若无法得到长度至少为1cm的指定数量的网线，则必须输出“0.00”（不包含引号）。

样例输入

4 11
8.02
7.43
4.57
5.39

样例输出

2.00

#include <bits/stdc++.h>
using namespace std;
int n, k, a[10005];//a[i]:第i条网线的长度 单位：厘米
bool check(int l)//如果需要网线长度为l，最多可以得的网线段数是否大于等于k
{
    long long ct = 0;//计数
    for(int i = 1; i <= n; ++i)
        ct += a[i] / l;//整除运算
    return ct >= k;
}
int main() {
    double t;
    cin >> n >> k;
    for (int i = 1; i <= n; ++i) {
        cin >> t;
        a[i] = round(t * 100);//单位：厘米，向下取整可能会有误差，这里使用四舍五入取整
    }
    if (check(1) == false)//如果切成1厘米一段也不能达到要求的数量，则没有切割方案
    {
        cout << "0.00";
        return 0;
    }
    int l = 1, r = 1e7, m;
    while (l < r)//二分答案求满足条件的最大值
    {
        m = (l + r + 1) / 2;
        if (check(m))//如果网线长为m满足条件
            l = m;
        else
            r = m - 1;
    }
    cout << fixed << setprecision(2) << (double) l / 100;//单位转为米
    return 0;
}

看题目中的数据都带小数点，似乎这是实数域上的问题。但仔细分析，该题的输入数据精确到厘米，要求输出结果精确到厘米，实际只要在处理过程中保持为以厘米为单位，那么该问题本质上是整数域的问题。

用二分思想考虑该问题，题目问：要找最长的网线长度。对应的模板为：求满足某一条件的最大值。
网线长度需要满足的条件为：将库存中的网线按该长度进行切割，得到的网线数量大于等于居民需要的网线数量。
假设要判断为网线长度为x是否满足条件，先遍历所有库存中网线长度，每条网线长度记为l，那么l/x（整除运算）即为这条库存网线可以切出的成品网线的条数，加和求出总条数。看处理得到的网线总条数是否大于等于居民需要的网线数量k，如果是，那么满足条件，否则不满足条件。

注意单位换算，计算过程用厘米为单位，输出时转用单位米。
二分查找时，网线长度最小值设为0，最大值为 100 k m = 1 0 7 c m 100km=10^7cm 100km=107cm，考虑极端情况，假设库存中每条网线都是 1 0 7 c m 10^7cm 107cm，一共有 1 0 4 10^4 104条，而要切成 1 c m 1cm 1cm的网线，共有 1 0 7 ∗ 1 0 4 = 1 0 11 10^7*10^4=10^{11} 107∗104=1011条网线，超出了int的范围。所以网线计数变量要设为long long。