树-线段树

线段树

线段树一般是用于解决区间问题，在区间查询和区间修改上有着O(logN)的时间复杂度。
线段树主要有5个操作：建树build() 更新父节点pushup() 更新子节点pushdowm() 查询区间最值query() 更改结 点值modify()，最坏情况下空间复杂度为O(4*n) 因此我们建树要开四倍的空间！

1.build(根节点，范围左值，范围右值) 建树先确立一维数组tr[]的结点代表的数的范围

2.pushup(节点) 求两个子节点的最值再更新

3.query(根节点，范围左值，范围右值) 如果当前节点的tr[u].l和tr[u].r都在我们的范围l和r之间，那就没有必要求它的子节点，返回它的值即代表了这个区间的最值，否则我们求mid，如果l要小于等于mid，说明这个节点的左节点有一部分在我们要查询的范围l~r之间，要递归下去；如果r大于mid，同理递归

4.modify(根节点，要修改的节点编号，修改值) 如果当前节点的左和右相同并且等于要修改的节点编号，那么我们就修改这个节点，否则 求mid，如果要修改的节点编号小于等于mid，那么就往左边递归，否则往右边递归，注意递归完毕回溯时由于子节点的变化要更新父节点pushup()

5.pushdown(根节点) 如果线段树设有懒标记lazy的话，那么在query时，就需要先将该节点的lazy标记算掉，因此pushdown便是将懒标记更新到子节点。

例题1：最大数

给定一个正整数数列 a1,a2,…,an，每一个数都在 0∼p−1 之间。
可以对这列数进行两种操作：

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

一共要对整数序列进行 m 次操作。
写一个程序，读入操作的序列，并输出询问操作的答案。

输入格式
第一行有两个正整数 m,p，意义如题目描述；
接下来 m 行，每一行表示一个操作。
如果该行的内容是 Q L，则表示这个操作是询问序列中最后 L 个数的最大数是多少；
如果是 A t，则表示向序列后面加一个数，加入的数是 (t+a) mod p。其中，t 是输入的参数，a 是在这个添加操作之前最后一个询问操作的答案（如果之前没有询问操作，则 a=0）。
第一个操作一定是添加操作。对于询问操作，L>0 且不超过当前序列的长度。

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

不带lazy标记

#include "bits/stdc++.h"
using namespace std;
const int N=200010;
struct node
{
    int l,r,v;
}tr[N*4];
int m,p,res;
void build(int u,int l,int r)
{
    tr[u].l=l;
    tr[u].r=r;
    if(l==r) return ;
    int mid=l+r>>1;
    build(u<<1,l,mid),build(u<<1|1,mid+1,r);
}
void pushup(int u)
{
    tr[u].v=max(tr[u<<1].v,tr[u<<1|1].v);
}
int query(int u,int l,int r)
{
    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(mid>=l) v=query(u<<1,l,r);
    if(mid<r) v=max(v,query(u<<1|1,l,r));
    return v;
}
void modify(int u,int x,int v)
{
    if(tr[u].l==x&&tr[u].r==x) tr[u].v=v;
    else
    {
        int mid=tr[u].l+tr[u].r>>1;
        if(x<=mid) modify(u<<1,x,v);
        else modify(u<<1|1,x,v);
        pushup(u);
    }
}
int main()
{
    int n=0;
    cin>>m>>p;
    build(1,1,m);
    while(m--)
    {
        string a;int b;
        cin>>a>>b;
        if(a=="A")
        {  
            modify(1,n+1,(1ll*b+res)%p);
            n++;
        }
        else
        {
            res=query(1,n-b+1,n);
            cout<<res<<endl;
        }
    }
}

例题2：一个简单的整数问题

给定一个长度为 N 的数列 A，以及 M 条指令，每条指令可能是以下两种之一：

1.C l r d，表示把 A[l],A[l+1],…,A[r] 都加上 d。
2.Q l r，表示询问数列中第 l∼r 个数的和。

对于每个询问，输出一个整数表示答案。
输入格式
第一行两个整数 N,M。
第二行 N 个整数 A[i]。
接下来 M 行表示 M 条指令，每条指令的格式如题目描述所示。

输出格式
对于每个询问，输出一个整数表示答案。
每个答案占一行。
带lazy标记

//线段树
//当建立一个线段树时，要根据题目的问题来考虑应该维护几个变量，从而进行维护
#include "bits/stdc++.h"
using namespace std;
const int N=500010;
struct node 
{
    int l,r,v;
    int tmax,lmax,rmax;
}tr[N*4],Node;
int n,m,vis[N];
void pushup(struct node &u,struct node &l,struct node &r)
{
    u.v=l.v+r.v;
    u.lmax=max(l.lmax,l.v+r.lmax);
    u.rmax=max(r.rmax,r.v+l.rmax);
    u.tmax=max(l.tmax,r.tmax);
    u.tmax=max(u.tmax,l.rmax+r.lmax);
}
void push(int u)
{
    pushup(tr[u],tr[u<<1],tr[u<<1|1]);
}
void build(int u,int l,int r)
{   
    tr[u].l=l;
    tr[u].r=r;
    if(l==r) 
    {
        tr[u].v=vis[l];
        tr[u].lmax=tr[u].rmax=tr[u].tmax=vis[l];
        return ;
    }
    int mid=l+r>>1;
    build(u<<1,l,mid);
    build(u<<1|1,mid+1,r);
    push(u);
}

struct node query(int u,int l,int r)
{
    if(tr[u].l>=l&&tr[u].r<=r) return tr[u];
    int mid=tr[u].l+tr[u].r>>1;
    if(r<=mid) return query(u<<1,l,r);
    else if(l>mid) return query(u<<1|1,l,r);
    else
    {
        auto ll=query(u<<1,l,r);
        auto rr=query(u<<1|1,l,r);
        struct node res;
        pushup(res,ll,rr);
        return res;
    }
}
void modify(int u,int x,int v)
{
    if(tr[u].l==x&&tr[u].r==x)
    {tr[u].v=tr[u].lmax=tr[u].rmax=tr[u].tmax=v;}
    else
    {
        int mid=tr[u].l+tr[u].r>>1;
        if(mid>=x) modify(u<<1,x,v);
        else modify(u<<1|1,x,v);
        push(u);
    }
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=n;i++) cin>>vis[i];
    build(1,1,n);
    while(m--)
    {
        int a,b,c;
        cin>>a>>b>>c;
        if(a==1)
        {
            cout<<query(1,min(b,c),max(b,c)).tmax<<endl;
        }
        else
        {   
            modify(1,b,c);
        }
    }
}