503（借教室）-CSDN博客

本文链接：https://blog.csdn.net/m0_73924943/article/details/136502766

题目：

在大学期间，经常需要租借教室。

大到院系举办活动，小到学习小组自习讨论，都需要向学校申请借教室。

教室的大小功能不同，借教室人的身份不同，借教室的手续也不一样。

面对海量租借教室的信息，我们自然希望编程解决这个问题。

我们需要处理接下来 n天的借教室信息，其中第 i 天学校有 ri 个教室可供租借。

共有 m 份订单，每份订单用三个正整数描述，分别为 dj,sj,tj,,，表示某租借者需要从第 sj 天到第 tj 天租借教室（包括第 sj 天和第 tj 天），每天需要租借 dj 个教室。

我们假定，租借者对教室的大小、地点没有要求。

即对于每份订单，我们只需要每天提供 dj 个教室，而它们具体是哪些教室，每天是否是相同的教室则不用考虑。

借教室的原则是先到先得，也就是说我们要按照订单的先后顺序依次为每份订单分配教室。

如果在分配的过程中遇到一份订单无法完全满足，则需要停止教室的分配，通知当前申请人修改订单。

这里的无法满足指从第 sj 天到第 tj 天中有至少一天剩余的教室数量不足 dj 个。

现在我们需要知道，是否会有订单无法完全满足。

如果有，需要通知哪一个申请人修改订单。

输入格式

第一行包含两个正整数 n,m，表示天数和订单的数量。

第二行包含 n 个正整数，其中第 i个数为 ri，表示第 i 天可用于租借的教室数量。

接下来有 m 行，每行包含三个正整数 dj,sj,tj，表示租借的数量，租借开始、结束分别在第几天。

每行相邻的两个数之间均用一个空格隔开。

天数与订单均用从 11 开始的整数编号。

输出格式

如果所有订单均可满足，则输出只有一行，包含一个整数 0。

否则（订单无法完全满足）输出两行，第一行输出一个负整数 −1，第二行输出需要修改订单的申请人编号。

数据范围

1≤n,m≤10^6，
0≤ri,dj≤10^9,
1≤sj≤tj≤n

输入样例：

输出样例：

-1
2

代码：

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=1e6+10;
typedef long long LL;
int n,m;
int r[N],d[N],s[N],t[N];
LL b[N];
bool check(int mid){
    for(int i=1;i<=n;i++){
        b[i]=r[i]-r[i-1];
    }
    for(int i=1;i<=mid;i++){
        b[s[i]]-=d[i];
        b[t[i]+1]+=d[i];
    }
    for(int i=1;i<=n;i++){
        b[i]+=b[i-1];
        if(b[i]<0)return true;
    }
    return false;
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++){scanf("%d",&r[i]);}
    for(int i=1;i<=m;i++){scanf("%d%d%d",&d[i],&s[i],&t[i]);}
    if(!check(m)) {
    puts("0");
    return 0;
    }
    int l=1,r=m;
    int mid;
    while(l<r){
        mid=l+r>>1;
        if(check(mid))r=mid;
        else l=mid+1;
    }
    printf("-1\n%d",r);
}

思路：

1.所有订单从1~n，如果n个订单都满足，则输出特定值；如果至少存在一个订单不满足，那么在第一个不能满足的订单之后的订单都属于订单无法满足需输出另一特定值。那么这n个订单具有二段性，可以使用二分法找出第一个不能满足要求的订单。

2.如何判定每个订单能不能满足呢？按照题目描述，对天数的部分区间均-d，让后判断是否小于0，若有<0的，则该订单不能满足。这可以想到用差分。如何利用差分呢？利用差分可以将对部分区间减d的0(n)复杂度变成线性复杂度。差分：先求出差分数列，让后对差分数列进行插入操作，再将差分数列转换成其前缀和数列，再判断与0值的关系。