POJ-2456.Aggressivecows.(二分求解最大化最小值)

　　本题大意：在坐标轴上有n个点，现在打算在这n个点上建立c个牛棚，由于牛对厂主的分配方式表示很不满意，它很暴躁，所以它会攻击离它很近的牛来获得快感，这件事让厂主大大知道了，他怎么可能容忍？所以他决定有策略的对牛进行分配仓库，他想让每头牛之间的距离尽可能远，现在他来求助你......

　　本题思路：本题一看就是二分啦嘻嘻嘻，有上界有下界求最优你敢信？演员......

　　回归正题...我们可以选择最大值作为上界，选择最小值作为下界，接着二分呀，我们枚举的当然是我们事先假定的每个牛之间的最小距离x(也就是说牛舍之间的距离大于x就可以建立牛舍了)，那么问题就一目了然了，我们只需要看在给定的所有点中，是否存在至少c个点满足他们之间的距离都大于等于x呢满足就是true了，然后就是二分思想改变这个最小距离x的取值，如果成立则说明需要扩大范围，如果不成立则需要缩小范围，当然是二分思想扩大，然后取那个最优的就行了呀，也就是距离最大的那个呀。哦对了，有个问题没说清楚，所以为什么是在可行的时候我们反而扩大范围？因为我们是在数组内寻找满足上面我们说的条件的值，所以C(x)当然是越大越好。

　　那么何时我们结束二分呢？我们可以考虑到，所有牛舍的距离都不会重合，并且不能让他们相邻(会干架)，所以我们判断当L - R > 1不成立时就结束二分。

　　嘤嘤嘤，所以我们上面讲的那个判断条件到底搞懂了没？重要的就是这一环了嘤嘤嘤，咱也不知道，咱也不敢问，不会的童鞋再回去看一下呀。

参考代码(？？？是我讲的不够清楚么还是？？？自己实现嘻嘻嘻)：

　　

 #include <cstdio>
 #include <algorithm>
 #define mid ((l + r)) / 2
 using namespace std;

 const int maxn =  + , INF = 1e9;
 int value[maxn];
 int n, c;

 bool check(int x) {
     int last = ;
     for(int i = ; i < c; i ++) {
         int cur = last + ;
         while(cur < n && value[cur] - value[last] < x) cur ++;
         if(cur == n) return false;
         last = cur;
     }
     return true;
 }

 int main() {
     scanf("%d %d", &n, &c);
     for(int i = ; i < n; i ++)
         scanf("%d", &value[i]);
     sort(value, value + n);
     int l = , r = INF;
     while(r - l > ) {
         if(check(mid))
             l = mid;
         else
             r = mid;
     }
     printf("%d\n", l);
     return ;
 }