洛谷1083 借教室

NOIP 2012 Day2 T2

原题地址：

https://www.luogu.org/problem/show?pid=1083

差分前缀和二分

解题思路

一开始想到了前缀和，但显然超时，于是想到了差分记录区间操作。嗯，然后呢？然后看数据范围，n^2是没门了，又不可能是n+m，所以考虑n乘上一个啥。在这个数据范围的限制下，最有可能的是logn，所以想到了二分。再看题，发现题目满足如下性质：

如果第k号订单无法满足，那么k~m号订单一定无法满足；如果第k号订单可以满足，那么1~k号订单一定可以满足。

明显符合二分性质。那么二分啥？所求啊！二分找能够满足的最后一份订单的编号，时间复杂度O(logn)，差分处理O(n)，总复杂度O(nlogn)，理论上是可以过的。然而这个题卡常数坑死C++，不加读入优化坐等被T……

point.1 差分

用一个差分数组c来记录每份订单的区间操作，举例说明：

第k份订单要求在(l,r)区间内借x个教室，那么c[l]+=x,c[r+1]-=x。

如果二分查找第k份订单能否满足，只需要枚举1~k份订单并依次进行差分操作，然后从1扫到n检查每天的订单总额是否超标即可。扫描时开一个变量cnt，记录差分的前缀和，即可表示当前这一天的订单总数。

point.2 二分

对区间(l,r)进行操作，每次取mid判断第mid份订单是否满足，返回true，则二分(mid+1,r)，否则二分(l,mid)，直到l<r不成立，退出。判断此时的l（与r相等）与m的关系，若l>m，说明1~m号订单均能满足，输出0，否则第l号就是所求。开始的区间是(1,m+1)，因为要防止恰好第m份订单不满足的神坑测试点（虽然亲测应该是没有的）。

友情提示：骗分党请注意，本题共二十个测试点，仅有一个是输出0……

参考代码

#include<iostream>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<cstdio>
using namespace std;
long long n,m;
long long a[1000005],b[1000005],c[1000005];
long long x[1000005],y[1000005];
 
bool ef(int mid)
{
     memset(c,0,sizeof(c));
     for (long longi=1;i<=mid;i++)
     {
         c[x[i]]-=b[i];
         c[y[i]+1]+=b[i];
     }
     int cnt=0;
     for (int i=1;i<=n;i++)
     {
         cnt+=c[i];
         if (a[i]+cnt<0) returnfalse;
     }
     return true;
}
 
int main()
{
     ios::sync_with_stdio(false);
// freopen("classroom.in","r",stdin);
// freopen("classroom.out","w",stdout);
     cin>>n>>m;
     for (long long i=1;i<=n;i++)
         cin>>a[i];
     for (long long i=1;i<=m;i++)
         cin>>b[i]>>x[i]>>y[i];
     long longl=1,r=m+1,mi=210000000;
     while (l<r)
     {
         long long mid=(l+r)/2;
         if(ef(mid)) l=mid+1;
         else r=mid;
    }
    if (l==m+1)
    {
       cout<<0;
       return 0;
     }
    cout<<-1<<endl;
     cout<<l;
     return 0;
}