Round A 2020 - Kick Start 2020 Workout 二分

https://codingcompetitions.withgoogle.com/kickstart/round/000000000019ffc7/00000000001d3f5b
题目大意：小明有一个健身计划，由$n$部分组成，第$i$部分需要$a_i$分钟，保证序列$a$严格递增，整个计划的难度定义为$Max(a_i-a_{i-1}),2<=i<=n$。现在你可以在小明健身计划的任意位置插入新的计划，分钟数可以随便定义，但是必须是整数且插入后必须保障整个序列依然是严格递增的。你至多可以插入$k$个计划，问插入后整个计划的难度最低是多少。

思路：二分，设当前健身计划的难度为$mid$，然后遍历整个序列看能否满足情况。具体就是扫一遍序列，对于$a_i-a_{i-1}$，设插入$t$个计划可以使它满足题意，那么有$(t+1)\ast mid>=a_i-a_{i-1}$，由此可以算出最小的$t$，那么累加这些$t$，最后判断总和是不是$>k$就好了。

#include<bits/stdc++.h>
#define INF 0x3f3f3f3f
using namespace std;
typedef long long ll;

const int maxn=1e5+5;

int a[maxn];

int main()
{
    int t,n,k,times=0;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&k);
        int pre,cur,len=0;
        scanf("%d",&pre);
        for(int i=1;i<n;i++)
        {
            scanf("%d",&cur);
            if(cur-pre!=1)
                a[len++]=cur-pre;
            pre=cur;
        }
        int l=1,r=0,mid;
        for(int i=0;i<len;i++)
            r=max(r,a[i]);
        while(l<=r)
        {
            mid=(l+r)>>1;
            int sum=0;
            for(int i=0;i<len&&sum<=k;i++)
                sum+=ceil(a[i]*1.0/mid)-1;
            if(sum>k)
                l=mid+1;
            else
                r=mid-1;
        }
        printf("Case #%d: %d\n",++times,l);
    }
    return 0;
}