借教室 二分+差分

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

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

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

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

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

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

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

输出格式

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

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

输入样例

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

输出样例

-1
2

思路：

将所有订单表示成一条数轴，范围从1~m，如果订单不满足的话，会发现这条数轴上一定存在某一点使得订单不满足。换句话说，一定存在某个点，使得这个点前面的订单都是满足的，而后面的订单都是不满足的。这就具备了二分搜索的基本条件，所以这道题要用二分来写。

但如果只是单纯的二分+枚举的话，一定会超时，毕竟枚举的复杂度为O(n)，所以要减少时间复杂度还应该想到使用差分算法（题目中已经说了订单会使某个区间内的房间数减少，如果接触过差分算法的话应该还是比较容易想到的），这样复杂度就可以降低到O(1)。

代码如下

#include<iostream>
#include<algorithm>
#include<cstring>

using namespace std;

typedef long long int LL;

const int N = 1000010;

int n, m;
int r[N], d[N], s[N], t[N];
LL b[N];

bool cheak(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 1;  //确实不能满足订单
    }
    return 0;
}

int main()
{
    cin >> 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 (!cheak(m))     //如果最后一个订单都可以满足的话，那么都可以满足
    {
        puts("0");
        return 0;
    }
    
    int l = 1, r = m;
    while (l < r)
    {
        int mid = l + r >> 1;
        if (cheak(mid)) r = mid;  //如果不能满足 则订单应该是在左边
        else l = mid + 1;
    }

    cout << "-1" << endl << r << endl;

    return 0;
}

---

又写了一遍，更正了一下错误，补充一下别的易错点

#include<iostream>
#include<algorithm>

using namespace std;

const int N = 1e6 + 10;

typedef long long LL;

int n, m;
int a[N], d[N], s[N], t[N];
LL b[N];

bool cheak(int mid)
{
	for (int i = 1; i <= n; i++) b[i] = a[i] - a[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 0;
	}

	return 1;
}

int main()
{
	cin >> n >> m;
	for (int i = 1; i <= n; i++)scanf("%d", &a[i]);

	for (int i = 1; i <= m; i++)cin >> d[i] >> s[i] >> t[i];

	if (cheak(m))
	{
		cout << "0" << endl;
		return 0;
	}

	int l = 0, r = m;
	while (l < r)
	{
		int mid = l + r + 1 >> 1;
		if (cheak(mid)) l = mid;
		else r = mid - 1;
	}

	cout << "-1" << endl << r + 1 << endl;

	return 0;
}