nyoj586疯牛 二分枚举 模板题

疯牛

时间限制： 1000 ms  |  内存限制： 65535 KB

难度： 4

描述

农夫 John 建造了一座很长的畜栏，它包括N (2 <= N <= 100,000)个隔间，这些小隔间依次编号为x1,...,xN (0 <= xi <= 1,000,000,000).
但是，John的C (2 <= C <= N)头牛们并不喜欢这种布局，而且几头牛放在一个隔间里，他们就要发生争斗。为了不让牛互相伤害。John决定自己给牛分配隔间，使任意两头牛之间的最小距离尽可能的大，那么，这个最大的最小距离是什么呢？

输入

有多组测试数据，以EOF结束。
第一行：空格分隔的两个整数N和C
第二行——第N+1行：分别指出了xi的位置

输出

每组测试数据输出一个整数，满足题意的最大的最小值，注意换行。

样例输入

5 3
1
2
8
4
9

样例输出

3

/*
题意：简单的说就是给你一段长度，在这一段中给出m个点，然后在这m个点中选出k个点，
让这k个点之间相邻两个点之间的距离的最小值最大
思路：通过二分枚举这个最小值，然后通过贪心的思想找出满足要求的最大的这个最小值
解析：二分枚举 + 贪心
这道题用到了刘汝佳算法入门经典上贪心那一节讲的算法,用二分枚举满足条件的最大距离，
依次做相应判断.本题不需要担心最后求出的距离不能适应题目中的隔间之间的距离，
因为二分枚举之后是按照贪心法判断的，如果当前距离满足要求，会继续增大枚举的距离，
一直到无法满足要求为止，即最后结果一定满足是隔间之间的距离 .
*/
#include<stdio.h>
#include<stdlib.h>
#include<algorithm>
using namespace std;
int a[100050],n,c,i;

int judge(int mid)//判断这个距离是否合适 
{
	int count=1,temp=a[0];//count是指放了几头牛，从1开始。t用来表示当前的房间号  
	for(i=1;i<n;i++)//遍历所有房间 
	{
		if(a[i]-temp>=mid)//判断两个隔间之间的距离
		{
			count++;
			temp=a[i];//修改t的值，即修改当前房间号
			if(count>=c)//可以放下c头牛，符合标准 
			return 1;
		}
	}
	return 0;
}

int binary()//二分搜索符合条件的最小距离的最大值  
{
	int low=0,high=a[n-1]-a[0],mid;
	//high代表排序后，两个相差最远的点的距离 
	while(low<=high)
	{
		mid=(low+high)/2;//mid即为最小房间号与最大房间号之间的距离
		if(judge(mid))
			low=mid+1;//所求距离>=mid，可以继续增大试探
		else
			high=mid-1;//所求距离<mid，所以必须减小来试探 
	}
	return low-1;//由于之前，low距离加过1，所以此时-1  
}

int main()
{
	while(scanf("%d%d",&n,&c)!=EOF)
	{
	    for(i=0;i<n;i++)
	    scanf("%d",&a[i]);
	    sort(a,a+n);//默认升序 
     	printf("%d\n",binary());
	}
	return 0;
}