线段树 ---- 2021牛客多校第一场 J Journey among Railway Stations [线段树维护区间可行性判断]

题目链接

---

题目大意：

一段路上有 $N$ 个点，每个点有一个合法时间段$[u_i,v_i]$，相邻两个点有一个长度$w_i$。有$q$次询问，每次询问，在 $[u_i,v_i]$的时间段从$i$出发后，能否依次经过$i+1到j$的所有点，使得到达时间满足每个点的合法区间（如果提前到可以等待，迟到了失败了）。同时还可能修改一段路的长度，或者修改一个点的合法时间段。

$N,q\in [1,1e6]$

---

解题思路：

1. 从$[l,l+1,l+2....+r-1,r]$实际上我们可以这么来看,我们先把$[u_l,v_l]+w_l\to [u_l+w_l,v_l+w_l]$然后和$[u_{l+1},v_{l+1}]$求区间交

2. 但是不是简单的区间交，因为是可以的等待的，那么就是左端点取$max$,但是右端点还是取$v_{l+1}$

3. 区间就变成了$[max(u_l+w_l,u_{l+1}),v_{l+1}]$然后再把这个区间加$w_{l+1}$去迭代（假设相交部分是绿色的）
   

4. 但是我们不可能每次都把绿色拿出来那么我们可以直接把$L$区间和$L+1$的区间直接拿去和$L+2$区间相交，现在就是蓝色的部分啦，就是三个区间交！

5. 我们发现就是对于把$L$和$L+1$区间$add(w_{l+1})$和$L+2$交对于$L$是加上$w_l+w_{l+1}$
6. 实际上就是加上$w_i$的后缀和就可以了$[u_L,v_L]+w_l+....w_{n-1}$
7. 那么所以的$[1,n]的时间段就变成了[u_i+w_i+...+w_{n-1},v_i+w_i+...+w_{n-1}]$
8. 那么是不是判断这$[l,r]$里面区间是否有没有交集呢？
9. 不是！！假设我们处理后的区间长$[l,l+4]$长这样
10. 对于任意的标号小于自己的区间只能小于自己,就是$u_j\le v_i[j\le i]$！！ 因为可以等待！！
11. 那就是线段树了！！
12. 叶子节点维护区间左端点的最大值$lmax$和右端点最小值$rmin$
13. 合并的时候判断左区间的左端点的最大值和右区间右端点的最小值就可以了
14. 一个ok表示下面的区间是否合法(就是是否可以在任意站停靠)
15. 区间修改$w_i$，因为修改一个$w_i$影响了线段树里面$[1,i]$里面所以点的权值和单点修改$[u_l,v_l]$只对特定点修改了

---

AC code

$O(nlogn)$

#include <bits/stdc++.h>
#define mid ((l + r) >> 1)
#define Lson rt << 1, l , mid
#define Rson rt << 1|1, mid + 1, r
#define IOS std::ios::sync_with_stdio(0); cin.tie(0); cout.tie(0)
#define endl '\n'
using namespace std;
const int maxn = 1000010;
typedef long long ll;
typedef pair<ll,ll> PLL;
int n;
struct inf {ll lmax, rmin;bool ok;};
PLL seg[maxn];
ll w[maxn], pre[maxn];
struct node {
   ll lmax[maxn << 2];
   ll rmin[maxn << 2];
   ll tag[maxn << 2];
   bool ok[maxn << 2];
   inline void pushup(int rt) {
      lmax[rt] = max(lmax[rt<<1],lmax[rt<<1|1]);
      rmin[rt] = min(rmin[rt<<1],rmin[rt<<1|1]);
      if((lmax[rt<<1] > rmin[rt<<1|1]) || ok[rt<<1] || ok[rt<<1|1]) ok[rt] = 1;// 合并判断
      else ok[rt] = 0;
   }
   inline void pushdown(int rt) {
      tag[rt<<1] += tag[rt];
      tag[rt<<1|1] += tag[rt];
      lmax[rt<<1] += tag[rt];
      lmax[rt<<1|1] += tag[rt];
      rmin[rt<<1] += tag[rt];
      rmin[rt<<1|1] += tag[rt];
      tag[rt] = 0;
   }
   void build(int rt, int l, int r) {
      tag[rt] = 0;
      ok[rt] = 0;
      if(l == r) {
         lmax[rt] = pre[l] + seg[l].first;
         rmin[rt] = pre[l] + seg[l].second;
         return;
      }
      build(Lson);
      build(Rson);
      pushup(rt);
   }
   void update(int rt ,int l, int r, int posl, int posr, int val, int ok) {
      if(posl <= l && posr >= r) {
         tag[rt] += val;
         if(ok==0) lmax[rt] += val;// 单点修改判断是改哪个？
         else if(ok==1)rmin[rt] += val;
         else lmax[rt] += val, rmin[rt] += val;
         return;
      }
      pushdown(rt);
      if(posl <= mid) update(Lson,posl,posr,val,ok);
      if(posr > mid) update(Rson,posl,posr,val,ok);
      pushup(rt);
   }
   inf ask(int rt, int l, int r, int posl, int posr) {
      if(posl <= l && posr >= r) return {lmax[rt],rmin[rt],ok[rt]};
      pushdown(rt);
      inf resl = {(ll)-1e18,(ll)1e18,0};
      inf resr = {(ll)-1e18,(ll)1e18,0};
      if(posl <= mid) resl = ask(Lson,posl,posr);
      if(posr > mid) {
         resr = ask(Rson,posl,posr);
         resr.ok |= ((resl.lmax > resr.rmin) | resl.ok); // 合并的时候判断
         resr.lmax = max(resl.lmax,resr.lmax);
         resr.rmin = min(resl.rmin,resr.rmin);
         return resr;
      }      
      return resl;
   } 
}sgt;
int main() {
    IOS;
    int _;
    cin >> _;
    while(_--) {
      cin >> n; 
      for(int i = 1; i <= n; ++ i) cin >> seg[i].first;
      for(int i = 1; i <= n; ++ i) cin >> seg[i].second;
      for(int i = 1; i < n; ++ i) cin >> w[i];
      pre[n] = 0;
      for(int i = n-1; i >= 1; -- i) pre[i] = w[i] + pre[i+1];//求个后缀和
      sgt.build(1,1,n);
      int q;
      cin >> q;
      while(q--) {
         int op, l, r, val;
         cin >> op >> l >> r;
         if(op == 0) {
            inf res = sgt.ask(1,1,n,l,r);
            if(res.ok) cout << "No\n";
            else cout << "Yes\n";
         } else if(op == 1) {
            sgt.update(1,1,n,1,l,r-w[l],2);
            w[l] = r;// 注意更新
         } else {
            cin >> val;
            sgt.update(1,1,n,l,l,r-seg[l].first,0);
            sgt.update(1,1,n,l,l,val-seg[l].second,1);
            seg[l].first = r;
            seg[l].second = val;// 注意更新
         }
      }
    }
}