【洛谷】P3853 [TJOI2007]路标设置

思路：

此题为二分求最优解的模板

对于任意一个给出的“空旷指数”G，我们应该怎样去判断它是否符合题目的意思呢？

我们可以想象，我们已知了这条路上的所有的路标，我们从头开始枚举两两相邻的路标的间距，如果大于G,那么已经不符合G为最大距离的条件了，为了使G满足,我们就可以在前一个路标前面G米处加一个路标，这样与前面一个就符合条件了，再判断新设的路标和后面的路标是否距离小于G,如果不，继续重复操作设置新路标

当新设的路标数已经超过题目所给最大增设值时，如果还有路标不满足G,但已经不能设置新路标了，所以该G值就不满足条件。相反，则G成立。

注意到，如果一个“空旷指数”成立，那么可能存在比它更小的解，但如果一个“空旷指数”不成立，那么答案只能比该值更大

#include<iostream>
using namespace std;
const int N=1e5+10;
int l,n,k,a[N];//分别表示公路的长度，原有路标的数量，以及最多可增设的路标数量
bool check(int x)//空旷指数
{
  int y=k;
  int now=a[1];//当前路标位置 
  for(int i=2;i<=n;i++)
  {
      if(a[i]-now<=x)
      {
          now=a[i];
      }
      else
      {
          now=now+x;//设置新的路标，前一个路标已满足，移动位置到新路标
          i--;//防止因为循环把之前的路标给移走了！
          y--;
      }
       }     
       
       if(y>=0) return true;//***
       else return false;
}
int main()
{
    cin>>l>>n>>k;
    for(int i=1;i<=n;i++) cin>>a[i];
    int L=1,R=l;
    int ans=0;
    while(L<=R)
    {
        int mid=L+R>>1;
        if(check(mid))
        {
            ans=mid;
            R=mid-1;;
        }
        else
        {
            L=mid+1;
        }
    }
    cout<<ans<<endl;
    return 0;
}

okk