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

【分析】贪心+二分搜索（最小值最大化）

        此题模型：给你一条长为n的线段，在此线段中给出m个点，然后在这m个点中选出k个点，让这k个点之间相邻两个点的之间距离的最小值最大。

        思路：（贪心思想）先对隔间编号从小到大排序，则距离最小值为0，最大值为两端的两头牛之间的差值；

                  （二分搜索思想）假设当前的最小值为x，如果判断出最小差值为x时可以放下C头牛，说明当前的x有点小，就先让x变大再判断；如果放不下，说明当前的x太大了，就先让x变小然后再进行判断。直到求出一个最大的x就是最终的答案。

#include <iostream>
#include <cstdio>
#include <algorithm>
using namespace std;
const int maxn=100005;
int N,C;
int x[maxn];
int is_OK(int pos)
{
	int i;
	int ans=1;
	int temp=x[0];
	for(i=1;i<N;i++)
	{
		if(x[i]-temp>=pos)
		{
			ans++;
			temp=x[i];
			if(ans==C)
				return 1;
		}
	} 
	return 0;
}
int main()
{
	int i;
	int left,right,mid;
	while(scanf("%d %d",&N,&C)!=EOF)
	{
		for(i=0;i<N;i++)
			scanf("%d",&x[i]);
		sort(x,x+N);
		left=0,right=x[N-1]-x[0];
		//二分搜索，最小值最大化 
		while(left<=right)
		{
			mid=(left+right)/2;
			//间隔为mid时能放下C头牛，则右移区间左端点，继续搜索更大的值是否仍满足要求 
			if(is_OK(mid))
				left=mid+1;
			//否则左移右端点，继续搜索更小的值，判断是否满足要求 
			else
				right=mid-1;
		}
		printf("%d\n",left-1);
	}
	return 0;
}