洛谷[P3853 [TJOI2007]路标设置] {二分} 奋斗的珂珂~

洛谷[P3853 [TJOI2007]路标设置] {二分}

题目背景

B市和T市之间有一条长长的高速公路，这条公路的某些地方设有路标，但是大家都感觉路标设得太少了，相邻两个路标之间往往隔着相当长的一段距离。为了便于研究这个问题，我们把公路上相邻路标的最大距离定义为该公路的“空旷指数”。

题目描述

现在政府决定在公路上增设一些路标，使得公路的“空旷指数”最小。他们请求你设计一个程序计算能达到的最小值是多少。请注意，公路的起点和终点保证已设有路标，公路的长度为整数，并且原有路标和新设路标都必须距起点整数个单位距离。

输入格式

第1行包括三个数L、N、K，分别表示公路的长度，原有路标的数量，以及最多可增设的路标数量。

第2行包括递增排列的N个整数，分别表示原有的N个路标的位置。路标的位置用距起点的距离表示，且一定位于区间[0,L]内。

输出格式

输出1行，包含一个整数，表示增设路标后能达到的最小“空旷指数”值。

输入输出样例

输入
101 2 1
0 101
输出
51

说明/提示

公路原来只在起点和终点处有两个路标，现在允许新增一个路标，应该把新路标设在距起点50或51个单位距离处，这样能达到最小的空旷指数51。

50%的数据中，2 ≤ N ≤100，0 ≤K ≤100

100%的数据中，2 ≤N ≤100000, 0 ≤K ≤100000

100%的数据中，0 ＜ L ≤10000000

解题思路

       二分法模板的使用关键在于其中的check函数，本题的check函数要先判断两个相邻数组元素的差值是否大于mid，如果大于则说明其中需要设置路标，那么就用差值除以mid来求解需要设置多少路标。

注意：如果相邻的两个数组元素差值能够整除mid，则说明该段路可以分为m段长度为mid的子路，所以我们只需要设置m-1个路标。

完整代码

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=1e5+10;
ll a[maxn];

int main()
{
	ll L,N,K;
	scanf("%lld %lld %lld",&L,&N,&K);
	for(int i=0;i<N;i++)
	{
		scanf("%lld",&a[i]);
	}
	ll left=0,right=L;//根据题意可知，道路的区间为[0,L],由此设置两个端点 
	while(left<right)//模板 
	{
		ll mid=left+(right-left)/2;
	    ll ans=0;
	    for(int i=0;i<N-1;i++)
	    {
	    	if(a[i+1]-a[i]>mid)//如果长度大于mid的值，说明需要设置路障 
	    	{
	    		ans+=(a[i+1]-a[i])/mid;//表示设置路障的个数 
	    		if((a[i+1]-a[i])%mid==0)//如果可以整除，说明该区间内的道路可以分为长度为mid的整数段，则需要整数段-1的路障 
			    ans--;
			}
		}
		if(ans>K) left=mid+1;//如果设置的路障个数多于给定的个数，说明长度设置小了，因此改变left的值 
		else right=mid;//如果路障的个数大于等于给定的，说明长度设置大了，改变right的值 
	}
	printf("%lld",left);
	return 0;
}