NOIP2012提高组-借教室

503. 借教室 - AcWing题库

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

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

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

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

我们需要处理接下来 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，表示租借的数量，租借开始、结束分别在第几天。 

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

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

输出格式

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

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

数据范围

1≤n,m≤106
0≤ri,dj≤109,
1≤sj≤tj≤n

输入样例：

4 3
2 5 4 3
2 1 3
3 2 4
4 2 4

输出样例：

-1
2

 订单增加，可用教室数量一定减少。所以有单调性，可以二分出最后一天没有出现负值的的订单号。 

然后check函数中可以通过差分，快速求出经过mid个订单后，每天所剩的教室数是否有负数。

 如果有负数，则 r=mid-1，如果没有则 l =mid，要清楚我们二分的零界点是什么，否则 l 和 r 就容易错误计算导致二分失败。 比如 如果我们要二分的是第一个无法完成完成订单，那么如果所剩教室有负数，则 r =mid ，l = mid+1。

两种二分都能得出答案，但所处的临界值不同，第一种答案就是 l +1 ,第二种则直接为 l

AC code：

#include<bits/stdc++.h>
using namespace std;
int n, m;
int r[1000010];
long long s[1000010];
struct s {
	int d, s, t;
} arr[1000010];
int check(int mid) {
	memset(s, 0, sizeof s);
	for (int i = 1; i <= mid; i++) {
		s[arr[i].s] += arr[i].d, s[arr[i].t + 1] -= arr[i].d;
	}
	for (int i = 1; i <= n; i++) {
		s[i] += s[i - 1];
		if (s[i] > r[i]) return 0;
	}
	return 1;
}
int main() {
	cin >> n >> m;
	for (int i = 1; i <= n; i++) cin >> r[i];
	for (int j = 1; j <= m; j++) {
		cin >> arr[j].d >> arr[j].s >> arr[j].t;
	}
	int l = 0, r = m;
	while (l < r) {
		int mid = l + r + 1 >> 1;
		if (check(mid)) {
			l = mid;
		} else r = mid - 1;
	}
	if (r == m) cout << 0;
	else {
		cout << -1 << endl;
		cout << r + 1 ;
	}
}