差分+二分答案--P1083 借教室

*前置知识：

1. 前缀和：$sum_i$表示$0-i$内的所有数的和，求[i-j]内所有数的和就可以用$sum_j-sum_{i-1}$

   for(int i=1;i<=n;i++)
   {cin>>a[i];sum[i]=sum[i-1]+a[i];}
   for(int i=1;i<=q;i++)
   {cin>>l>>r;cout<<sum[r]-sum[l-1]<<" ";}

2. 差分数组：其实是前缀和的逆运算，由差分数组可以求出原数的大小

   for(int i=1;i<=n;i++)
   {cin>>diff[i];a[i]=diff[i]+a[i-1];}
   for(int i=1;i<=n;i++)
   {cout<<a[i];}

3. 关于二分：一般来说，二分是个很有用的优化途径，因为这样会直接导致减半运算，而对于能否二分，有一个界定标准：状态的决策过程或者序列是否满足单调性或者可以局部舍弃性。 而在这个题里，因为如果前一份订单都不满足，那么之后的所有订单都不用继续考虑；而如果后一份订单都满足，那么之前的所有订单一定都可以满足，符合局部舍弃性，所以可以二分订单数量。

*代码实现：

1. 求差分数组，因为是再一段区间加上一个数，所以区间左端点$l$会比$l-1$又多出$d$，而右端点$r$会比$r+1$少多出$d$for (int i = 1;i <= x;i++){ 2 dis[l[i]]+=d[i]; dis[r[i]+1]-=d[i]; 3 } 
2. 求原数组（即需要的教室个数），如果大于我已有的，那么订单不合法

   for (int i = 1;i <= n;i++){
       need[i]=need[i-1]+dis[i];
       if (need[i]>room[i]) return false;
     }

3. 二分求第一个不符合答案的订单编号：如果当前份订单不满足，那么后面的一定都不满足，前面的不一定满不满足，找左区间，如果当前订单满足，那么前面的一定都满足，后面的不一定满不满足，找右区间

   while (ll<rr){
       int mid=(ll+rr)>>1;
       if (solve(mid)) ll=mid+1;
       else rr=mid;
     }

完整代码：

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>
using namespace std;
const int  maxn=1e6+10;
int n,m;
int room[maxn],l[maxn],r[maxn],d[maxn];
int dis[maxn],need[maxn];
bool solve(int x){
  memset(dis,0,sizeof(dis));
  for (int i = 1;i <= x;i++){
    dis[l[i]]+=d[i]; dis[r[i]+1]-=d[i];
  }
  for (int i = 1;i <= n;i++){
    need[i]=need[i-1]+dis[i];
    if (need[i]>room[i]) return false;
  }
  return true;
}
int main(){
  scanf ("%d%d",&n,&m);
  for (int i = 1;i <= n;i++) scanf ("%d",&room[i]);
  for (int  i = 1;i <= m;i++) scanf ("%d%d%d",&d[i],&l[i],&r[i]);
  if (solve(m)) {printf("0\n");return 0;}
  int ll = 1,rr=m;
  while (ll<rr){
    int mid=(ll+rr)>>1;
    if (solve(mid)) ll=mid+1;
    else rr=mid;
  }
  printf("-1\n%d\n",ll);
  return 0;
}