【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 个整数， x1…xl 。 xi>=0 表示写了 xi 行代码。 xi<0 表示删除了这道题的 −xi 行代码。
1<=l,k<=100000，|xi|<=109

Output

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

Solution

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

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

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

#include
#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;inow+=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"%d",a+i),tot+=(a[i]>0)?a[i]:1,t+=(a[i]>0);
    if (t"-1");return 0;}
    for (l=1,r=tot,mid=(l+r)>>1;lmid=(l+r+1)>>1) if (judge(mid)mid-1;
    else l=mid;
    ll a2=l;
    for (l=1,r=tot,mid=(l+r)>>1;lmid=(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);
}