題意 : 農夫 John 建造了一座很長的畜欄，它包括N (2 <= N <= 100,000)個隔間，這些小隔間依次編號為x1,...,xN (0 <= xi <= 1e9)。但是，John的C (2 <= C <= N)頭牛們並不喜歡這種布局，而且幾頭牛放在一個隔間裏，他們就要發生爭鬥。為了不讓牛互相傷害。John決定自己給牛分配隔間，使任意兩頭牛之間的最小距離盡可能的大，那麽，這個最大的最小距離是什麽呢？

分析 : 面對這種安排的問題，遇到了兩次了，一般都是考慮二分答案求最佳，這道題要求的答案是距離且是最大中的最小距離，那麽我們去二分這個距離，面對每一個二分枚舉出來的距離檢查是否有大於這個距離的兩點間距而且這樣的間距等於或者超過C，如果有則繼續往右界二分，否則向小的左界二分，很明顯一開始的左右界是L = 0, R = MaxDis，MaxDis = 最右點 - 最左點，為了達到這個並且滿足二分的單調特性，故我們需要對一開始給出的柵欄排個升序，至於如何檢查是否有超過C個數滿足條件的間距因為是排好序了，就很簡單了，看代碼即可！

#include<stdio.h>
#include<algorithm>
using namespace std;
const int maxn = 1e5 + 5;
int Location[maxn], n, c;

bool OK(int dis)
{
    int cnt = 1, st = Location[1];
    for(int i=2; i<=n; i++){
        if(Location[i] - st >= dis){
            cnt++;
            st = Location[i];
            
 
if(cnt >= c) return true;
        }
    }return false;
}

int Solve()
{
    int L = 0, R = Location[n]-Location[1], mid;
    while(L <= R){
        mid = L + ((R-L)>>1);
        if(OK(mid)) L = mid + 1;
        else R = mid - 1;
    }
    return L - 1;
}

int main(void)
{
    scanf("%d %d
 
", &n, &c);
    for(int i=1; i<=n; i++)
        scanf("%d", &Location[i]);
    sort(Location+1, Location+1+n);
    printf("%d\n", Solve());
    return 0;
}

POJ 2456 Aggressive cows ( 二分 && 貪心 )