二分搜索，最大化最小值 Poj-2456

题目链接：https://vjudge.net/problem/POJ-2456

 

这个题我遇见了3次，3次都不会写。深刻印证了你以为的二分就只是二分。以前单纯的认为，二分就是一个查找一个单调序列中的值是否存在，就是一个lower_bound，后来被自闭3次后，才狠下心学了什么是二分。

 

对于类似的题目，最大化最小值，最小化最大值什么的，我们通常的思想是通过for循环来暴力枚举，时间复杂度为O(n*n)，无疑是一个高的时间复杂度，此时我们将枚举的顺序改为二分的思想，时间复杂度就降为O(n*log(n))，这是一个很大的优化。

对于这个题而言，设最大的间距为x。则我们可以推出，对于我们选取的任意一个点都要满足 a[i] - a[i-1] >= x。好了check函数有了。可以想到，他们

之间的最大距离是前后两个点，最小的距离是0。对这个区间不断的枚举，二分就行了。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<string>
#include<vector>
#include<stack>
#include<bitset>
#include<cstdlib>
#include<cmath>
#include<set>
#include<list>
#include<deque>
#include<map>
#include<queue>
#define lson l m rt << 1
#define rson m+1 r rt << 1|1
using namespace std;
typedef long long ll;
const double PI = acos(-1.0);
const double eps = 1e-6;
const int INF = 0x3f3f3f3f;
const int maxn = 1e6+10;
const int mod = 1000;
ll a[maxn];
ll T,n,c;
inline void fast()
{
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
}

bool check(ll m)
{
    ll cnt = a[0],num = 1; //cnt代表上一个点的位置，num用于计数放了几个牛
    for(int i = 1;i < n;i++)
    {
        if(a[i] - cnt >= m)
        {
            cnt = a[i];
            num++;
        }
    }
    return num >= c;
}

int main()
{
    fast();
    while(scanf("%lld %lld",&n,&c) != EOF) //二分好像用cin总是超时，也可能是我写的比较丑
    {
        for(int i = 0;i < n;i++)
            scanf("%lld",&a[i]);

        sort(a,a+n);

        ll l = 0,r = a[n - 1],mid;
        while((r - l) > 1)
        {
            mid = (l + r) >> 1;
            if(check(mid)) //如果此时的mid是成立的我们就去找更大的mid是否成立
                l = mid;
            else
                r = mid;
        }

        cout<<l<<endl;
    }
	return 0;
}