Problem D. Ice Cream Tower(2016 China-Final)【二分答案+贪心检验】

source：题目链接

题意：这是2016 ACM-ICPC China-Final的D题，一共有N个冰淇淋球，做一个冰淇淋需要K个球，并且由于稳定性，这K个球还必须满足上下相邻的下面比上面大至少两倍。先给出N个球的质量，问最多能做出多少个冰淇淋？

思路：最开始以为就是简单的贪心，但是发现貌似不对，后来在现场题目讲解时才知道要用二分答案的方法，也就是对可以做多少个冰淇淋m做二分，每次检验是否能做出m个冰淇淋。

      检验标准是：首先对B[]排序后将前m个取出来作为m个冰淇淋的顶端，也就是A[]的前m个=B[]的前m个，之后选A[i]时，贪心地去找满足B[p]>2×A[i-m]的B[p]作为A[i]，这样p最多就只跑一遍（线性），如果能构成表示检验返回结果成功，反之返回结果失败。

代码如下：

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;

LL b[300005],a[300005];
int t,T,n,k;


int judge(int m) //检验m个冰淇淋能否做出来
{
    for(int i=0;i<m;i++)
        a[i]=b[i];
    int p=m;
    for(int i=m;i<m*k;i++)
    {
        while(b[p]<a[i-m]*2 && p<n) p++;
        if(p==n) return 0;
        a[i]=b[p];
        p++;
    }
    return 1;
}

int Bisection(int l,int r)  //二分答案
{
    while(l<r)
    {
        int mid=(l+r+1)/2;
        if(judge(mid)) l=mid;
        else r=mid-1;
    }
    return l;
}

int main()
{
    scanf("%d",&T);
    for(t=1;t<=T;t++)
    {
        scanf("%d%d",&n,&k);
        for(int i=0;i<n;i++) scanf("%lld",&b[i]);
        sort(b,b+n);
        printf("Case #%d: %d\n",t,Bisection(0,n/k));
    }
    return 0;
}