线段树

假设有编号从1到n的n个点，每个点都存了一些信息，用[L,R]表示下标从L到R的这些点。线段树的用处就是，对编号连续的一些点进行修改或者统计操作，修改和查询的复杂度都是O(log2(n)).

线段树的更改和查询时间复杂度均为O(logn)

struct Node{
    int l,r;
    int v;
}tr[N * 4];

基本操作

• push_up(int u)：左右子节点更新父节点
• push_down(int u)：向下传递懒惰标记
• build(int l,int r,int u)：建立树，第u个节点的左边界和有边界分别为l和r
• query(int l,int r,int u)：在第查询[l,r]的值
• void update(int x,int y,int u)：更新位置x的值为y
• void modify(int l,int r,int x,int u)：[l,r]加上x

struct Node{
    int l,r;
    ll v;
    ll add;    //懒惰标记,保存当前节点以及子节点应该加上的值
}tr[N * 4];
int a[N];
void push_up(int u){
    tr[u].v = tr[left(u)].v + (tr[left(u)].r - tr[left(u)].l + 1) * tr[left(u)].add
     + tr[right(u)].v + (tr[right(u)].r - tr[right(u)].l + 1) * tr[right(u)].add;
}
void push_down(int u){
    if(tr[u].add){
        tr[u].v += (tr[u].r - tr[u].l + 1) * tr[u].add;
        tr[left(u)].add += tr[u].add;
        tr[right(u)].add += tr[u].add;
        tr[u].add = 0;
    }
}
void build(int l,int r,int u){
    if(l == r){
        tr[u] = {l,r,a[l],0};
        return;
    }
    else{
        tr[u] = {l,r,0,0};
        int mid = (l + r) >> 1;
        build(l, mid, left(u));
        build(mid + 1, r, right(u));
        push_up(u);
    }
}
ll query(int l,int r,int u){
    push_down(u);
    if(tr[u].l >= l && tr[u].r <= r){
        return tr[u].v;
    }
    int mid = (tr[u].l + tr[u].r) >> 1;
    ll sum = 0;
    if(l <= mid)sum += query(l,r,left(u));
    if(r > mid)sum += query(l,r,right(u));
    return sum;
}
void modify(int l,int r,int x,int u){
    if(tr[u].l >= l && tr[u].r <= r)tr[u].add += x;
    else{
        push_down(u);
        int mid = (tr[u].l + tr[u].r) >> 1;
        if(l <= mid)modify(l,r,x,left(u));
        if(r > mid)modify(l,r,x,right(u));
        push_up(u);     //修改了值就要push_up
    }
}
void update(int x,int y,int u){
    if(tr[u].l == x && tr[u].r == x)tr[u].v = y;
    else{
        push_down(u);
        int mid = (tr[u].l + tr[u].r) >> 1;
        if(x <= mid)update(x,y,left(u));
        else update(x,y,right(u));
        push_up(u);
    }
}
---

[例题](https://www.acwing.com/problem/content/1277/)
给定一个正整数数列 a1,a2,…,an，每一个数都在 0∼p−1 之间。

可以对这列数进行两种操作：

添加操作：向序列后添加一个数，序列长度变成 n+1；
询问操作：询问这个序列中最后 L 个数中最大的数是多少。
程序运行的最开始，整数序列为空。

写一个程序，读入操作的序列，并输出询问操作的答案。

输入格式
第一行有两个正整数 m,p，意义如题目描述；

接下来 m 行，每一行表示一个操作。

如果该行的内容是 Q L，则表示这个操作是询问序列中最后 L 个数的最大数是多少；

如果是 A t，则表示向序列后面加一个数，加入的数是 (t+a) mod p。其中，t 是输入的参数，a 是在这个添加操作之前最后一个询问操作的答案（如果之前没有询问操作，则 a=0）。

第一个操作一定是添加操作。对于询问操作，L>0 且不超过当前序列的长度。

输出格式
对于每一个询问操作，输出一行。该行只有一个数，即序列中最后 L 个数的最大数。

数据范围
1≤m≤2×105,
1≤p≤2×109,
0≤t<p
输入样例：

```bash
10 100
A 97
Q 1
Q 1
A 17
Q 2
A 63
Q 1
Q 1
Q 3
A 99

输出样例：

97
97
97
60
60
97

样例解释
最后的序列是 97,14,60,96。

AC代码

#include<bits/stdc++.h>
#define x first
#define y second
#define send string::npos
#define lowbit(x) (x&(-x))
#define left(x) x<<1
#define right(x) x<<1|1
using namespace std;
typedef long long ll;
typedef pair<int,int> PII;
typedef struct Node * pnode;
const int N = 2e5 + 10;
const int M = 3 * N;
const int INF = 0x3f3f3f3f;
const int Mod = 1e9;
struct Node{
    int l,r;
    int v;
}tr[N * 4];
void push_up(int u){
    tr[u].v = max(tr[left(u)].v,tr[right(u)].v);
}
void build(int l,int r,int u){
    tr[u] = {l,r};
    if(l == r)return;
    int mid = (l + r) >> 1;
    build(l, mid, left(u));
    build(mid + 1, r, right(u));
}
int query(int l,int r,int u){
    if(tr[u].l >= l && tr[u].r <= r)return tr[u].v;
    int mid = (tr[u].l + tr[u].r) >> 1;
    int v = 0;
    if(l <= mid)v = query(l,r,left(u));
    if(r > mid)v = max(v,query(l,r,right(u)));
    return v;
}
void update(int x,int y,int u){
    if(tr[u].l == x && tr[u].r == x)tr[u].v = y;
    else{
        int mid = (tr[u].l + tr[u].r) >> 1;
        if(x <= mid)update(x,y,left(u));
        else update(x,y,right(u));
        push_up(u);
    }
}
int main(){
    int m,p,L,t = 0,a = 0,n = 0;
    char q;
    cin>>m>>p;
    build(0,m,1);
    for(int i = 0;i < m;i ++){
        cin>>q;
        if(q == 'A'){
            cin>>t;
            modify(n ++,(t + a) % p,1);
        }else if(q == 'Q'){
            cin>>L;
            a = query(n - L,n - 1,1);
            cout<<a<<endl;
        }
    }
    return 0;
}