愤怒的牛
题目描述：
农夫约翰建造了一座有 n 间牛舍的小屋，牛舍排在一条直线上，第 i 间牛舍在 xi 的位置，但是约翰的 m 头牛对小屋很不满意，因此经常互相攻击。约翰为了防止牛之间互相伤害，因此决定把每头牛都放在离其它牛尽可能远的牛舍。也就是要最大化最近的两头牛之间的距离。
牛们并不喜欢这种布局，而且几头牛放在一个隔间里，它们就要发生争斗。为了不让牛互相伤害。John 决定自己给牛分配隔间，使任意两头牛之间的最小距离尽可能的大，那么，这个最大的最小距离是多少呢？
输入格式：
第一行用空格分隔的两个整数 n 和 m；
第二行为 n 个用空格隔开的整数，表示位置 xi。
输出格式：
输出仅一个整数，表示最大的最小距离值。
样例输入：
5 3
1 2 8 4 9
样例输出：
3
样例解释：
把牛放在1，4，8这样最小距离就是3。
数据范围与提示：
2<=n<=10^5
0<=xi<=10^9
2<=m<=n
题解：利用二分，一直分，分到最后就是我们想要的结果。
AC代码：
#include<stdio.h>
#include<algorithm>
using namespace std;
typedef long long ll;
int n,m;
ll a[100010];
ll check(ll d)
{
ll c=1,t=a[1]+d;//第一头牛肯定放在第一个位置(a[1]),即此时有一个牛棚被用了，所以(c=1)
int i;//第二头牛放在 (a[1]+d)的位置上
for(i=2; i<=n; i++)
{
if(a[i]<t)// 看一下我们输入的位置中是否符合我们需要的位置(t)
continue;//不符合就进行下一个位置的判断
c++;//符合的话牛棚的个数就加一
t=a[i]+d;//t为我们需要的下一个牛棚的位置
}
if(c>=m)//如果我们判断出来的牛棚的个数(c)大于或者等于我们需要的牛棚个数就返回1
return 1;
else//反之返回0
return 0;
}
int main()
{
scanf("%d%d",&n,&m);
int i;
for(i=1; i<=n; i++)
scanf("%lld",&a[i]);
sort(a+1,a+n+1);//我们肯定是从小开始往大找的
ll l=0,r=a[n]-a[1];//l为最小距离(肯定是从0开始的)
//贪心模板！！！
while(l<=r)//r为最大距离(肯定是最远的牛棚减去最近的牛棚)
{
//因为已经排过序了，所以是a[n]-a[1]
ll mid=l+r>>1;
if(check(mid))//check(mid)为真，说明mid符合我们的要求
l=mid+1;//有可能有比mid更大的值符合我们的要求,所以我们需要查找mid右边的区间
else//mid不符合我们的要求，说明mid的值太大，我们需要查找mid左边的值，找到比mid更小的值
r=mid-1;
}
//最后肯定是r可以查看C语言书籍(二分)
printf("%lld\n",r);
return 0;
}