【BZOJ】4590 [Shoi2015]自动刷题机

$Description$

曾经发明了信号增幅仪的发明家$SHTSC$又公开了他的新发明：自动刷题机–一种可以自动$AC$题目的神秘装置。自动刷题机刷题的方式非常简单：首先会瞬间得出题目的正确做法，然后开始写程序，每秒，自动刷题机的代码生成模块会有两种可能的结果：
A.写了$x$行代码。
B.心情不好，删掉了之前写的$y$行代码。（如果$y$大于当前代码长度则相当于全部删除。）
对于每个$OJ$所有题目，存在某个固定的长度$n>0$。一旦自动刷题机在某秒结束时积累了大于等于$n$行的代码，它就会自动提交并$AC$此题，然后新建一个文件开始写下一题。$SHTSC$在某个$OJ$上跑了一天的自动刷题机，得到了很多条关于写代码的日志信息。他突然发现自己没有记录这个$OJ$的$n$究竟是多少。所幸他通过自己在$OJ$上的$Rank$知道了机一共切了$k$道题。希望你计算$n$可能的最小值和最大值。

$Input$

第一行两个整数$l，k$，表示刷题机的日志一共有$l$行，一共了切了$k$题。
第二行$l$个整数，$x_1…x_l$。$x_i>=0$表示写了$x_i$行代码。$x_i<0$表示删除了这道题的$-x_i$行代码。
$1<=l,k<=100000，|x_i|<=10^9$

$Output$

输出两个数$a，b$。分别代表$n$可能的最小值和最大值。如果不存在这样的$n$则输出$-1$。

$Solution$

这题目看过去就知道是二分（源自去年$NOIP$跳石头掉水的惨痛经历）

如果$n$小不会比$n$大的$AC$的题数少，所以有这样一个单调的性质就可以二分上下界了。

（窝写这题卡细节卡了好多次，太弱啦QAQ）

#include<stdio.h>
#define N 100005

typedef long long ll;

int a[N],n,k,t;
ll  l,r,mid,tot;

inline int judge(const ll &p)
{
    ll now=0;int sum=0;
    for (int i=0;i<n;i++)
    {
        now+=a[i];
        if (now>=p) sum++,now=0;
        if (now<0) now=0;
    }
    return sum;
}

int main()
{
    scanf("%d%d",&n,&k);
    for (int i=0;i<n;i++) scanf("%d",a+i),tot+=(a[i]>0)?a[i]:1,t+=(a[i]>0);
    if (t<k){puts("-1");return 0;}
    for (l=1,r=tot,mid=(l+r)>>1;l<r;mid=(l+r+1)>>1) if (judge(mid)<k) r=mid-1;
    else l=mid;
    ll a2=l;
    for (l=1,r=tot,mid=(l+r)>>1;l<r;mid=(l+r)>>1) if (judge(mid)>k) l=mid+1;
    else r=mid;
    ll a1=l;
    if (judge(a1)!=k || judge(a2)!=k) puts("-1");
    else printf("%lld %lld",a1,a2);
}