刷题记录:牛客NC16564[NOIP2012]借教室

传送门:牛客

题目描述:

在大学期间，经常需要租借教室。大到院系举办活动，小到学习小组自习讨论，都需要向学校申请借教室。教室的大小功能不同，借教室人的身份不同，借教室的手续也不一样。
面对海量租借教室的信息，我们自然希望编程解决这个问题。
我们需要处理接下来n天的借教室信息，其中第i天学校有ri个教室可供租借。共有m份订单，每份订单用三个正整数描述，分别为dj, sj, tj，表示某租借者需要从第sj天到第tj天租借教室（包括第sj天和第tj天），每天需要租借dj个教室。
我们假定，租借者对教室的大小、地点没有要求。即对于每份订单，我们只需要每天提供dj个教室，而它们具体是哪些教室，每天是否是相同的教室则不用考虑。
借教室的原则是先到先得，也就是说我们要按照订单的先后顺序依次为每份订单分配教室。如果在分配的过程中遇到一份订单无法完全满足，则需要停止教室的分配，通知当前申请人修改订单。这里的无法满足指从第sj天到第tj天中有至少一天剩余的教室数量不足dj个。
现在我们需要知道，是否会有订单无法完全满足。如果有，需要通知哪一个申请人修改订单
输入:
4 3
2 5 4 3
2 1 3
3 2 4
4 2 4
输出:
-1
2 

当年提高组的一道题,洛谷上评级为绿,牛客三星题

根据题目我们不难发现申请人的顺序是固定的,然后又因为一旦出现订单问题就会直接退出,这就满足了二分的单调性,所以我们可以使用二分答案的方法来直接二分出订单有效的最多的人数,而此时最后的那位的下一位显然就是我们要修改订单的人啦

当然目前为止我们只是考虑了二分的思路,我们还需要解决check函数的编写,不难发现,check函数有一个朴素的写法,每次来一个申请人,就相当于在一个区间里增减,我们似乎可以直接在区间里for来解决这个修改的问题,但是这种方法显然是不优的,假设每次我修改的区间都是1~n,那么时间复杂度将会被卡成n^2,交上去一看就会发现超时.其实解决这种区间修改的问题,线段树的方法可谓是当仁不让,他能保证每次修改的复杂度降为logn,但是目前为止我们假设并不会这种较高级的数据结构该怎么办呢?

下面将介绍另一种巧妙的方法,那就是差分,举一个栗子:

我们有一个数组A1,A2,A3...An
我们创建一个数组B1,B2,B3,B4...Bn
并初始化B数组,使得B1=A1,B2=A2-A1,B3=A3-A2...Bn=An-An-1
此时我们可以显然的发现Bn数组的前缀和显然就是我们的原A数组
并且每当我们对区间内的数字进行修改时,比如[L,R]内的数字都减去7
我们进行一下操作,我们将B(L)-7,再将B(R+1)+7,此时我们再求一遍前缀和就会发现从L开始的减7会一直延续下去,知道B(R+1)再补回来,此时我们的修改复杂度将会大大降低!!!
这就是差分的思想,是不是感觉十分的巧妙(当年想出这个思想的简直是天才)

建议各位注意自己二分模板的写法(推荐采用我这种),写错将会造成奇奇怪怪的问题

下面是具体代码:

#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <string.h>
#include <stack>
using namespace std;
typedef long long ll;
#define inf 0x3f3f3f3f
#define root 1,n,1
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
inline ll read() {
	ll x=0,w=1;char ch=getchar();
	for(;ch>'9'||ch<'0';ch=getchar()) if(ch=='-') w=-1;
	for(;ch>='0'&&ch<='9';ch=getchar()) x=x*10+ch-'0';
	return x*w;
}
#define maxn 1000005
int a[maxn];int s[maxn],t[maxn],d[maxn];int n,m;
int chafen[maxn];int fuzhu[maxn];
int check(int mid) {
	for(int i=1;i<=n;i++) fuzhu[i]=chafen[i];
	for(int i=1;i<=mid;i++) {
		fuzhu[s[i]]-=d[i];
		fuzhu[t[i]+1]+=d[i];
	}
	for(int i=1;i<=n;i++) {
		fuzhu[i]+=fuzhu[i-1];
		if(fuzhu[i]<0) {
			return false;
		}
	}
	return true;
}
int main() {
	memset(chafen,0,sizeof(chafen));
	n=read(),m=read();
	for(int i=1;i<=n;i++) {
		a[i]=read();
		chafen[i]+=a[i];
		chafen[i+1]-=a[i];
	} 
	for(int i=1;i<=m;i++) {
		d[i]=read();s[i]=read();t[i]=read();
	}
	int l=1,r=m;int ans=-1;
	while(l<=r) {
		int mid=(l+r)>>1;
		if(check(mid)) {
			l=mid+1;
			
		}else {
			ans=mid;
			r=mid-1;
		}
	}
	if(ans==-1) cout<<0<<endl;
	else {
		cout<<"-1"<<endl;
		cout<<ans<<endl;
	}
	return 0;
}