BZOJ 2243 染色 树链剖分+线段树

https://www.lydsy.com/JudgeOnline/problem.php?id=2243

给定一棵有n个节点的无根树和m个操作，操作有2类：

1、将节点a到节点b路径上所有点都染成颜色c；

2、询问节点a到节点b路径上的颜色段数量（连续相同颜色被认为是同一段），

如“112221”由3段组成：“11”、“222”和“1”。

请你写一个程序依次完成这m个操作。

Input

第一行包含2个整数n和m，分别表示节点数和操作数；

第二行包含n个正整数表示n个节点的初始颜色

下面 行每行包含两个整数x和y，表示x和y之间有一条无向边。

下面 行每行描述一个操作：

“C a b c”表示这是一个染色操作，把节点a到节点b路径上所有点（包括a和b）都染成颜色c；

“Q a b”表示这是一个询问操作，询问节点a到节点b（包括a和b）路径上的颜色段数量。

Output

对于每个询问操作，输出一行答案。

 

Sample Input

6 5 2 2 1 2 1 1 1 2 1 3 2 4 2 5 2 6 Q 3 5 C 2 1 1 Q 3 5 C 5 1 2 Q 3 5

Sample Output

3 1 2

Hint

 

数N<=10^5，操作数M<=10^5，所有的颜色C为整数且在[0, 10^9]之间。

思路：树链剖分+线段树。难点在于如何合并两个相连的区间，在线段树中用两个变量lc、rc分别记录该区间的左右端点的颜色，然后在合并的时候判断就可以了。涉及到区间置数，要用lazy标记。树剖是把一棵树划分成了几个链，合并的区间可能并不连续，此时在合并的时候要判断该条链顶节点的颜色与链顶节点的父节点的颜色是否相同。下面的做法用到了LCA(最近公共祖先)，把询问u、v拆成两部分来做，即u到grand和v到grand。(grand=LCA(u，v))

#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
using namespace std;

const int maxn=1e5+5;

struct node
{
    int l,r,sum,lc,rc,lazy;
}tree[maxn<<2]; //线段树

struct edge
{
    int to,nxt;
}Edge[maxn<<1];

int head[maxn];
int siz[maxn];//子树大小
int son[maxn];//重儿子
int fa[maxn];//父节点
int deep[maxn];//深度
int top[maxn];//所在链链顶
int pos[maxn];//dfs序编号
int v[maxn];//映射到序列后的值 线段树依照此序列建树
int a[maxn];//树上各节点的值
int n,m,tot=0,cnt=0;
char op[10];

inline void addedge(int u,int v)
{
    Edge[++cnt].to=v,Edge[cnt].nxt=head[u],head[u]=cnt;
    Edge[++cnt].to=u,Edge[cnt].nxt=head[v],head[v]=cnt;
}

inline int LCA(int u,int v)
{
    int f1=top[u],f2=top[v];
    while(f1!=f2)
    {
        if(deep[f1]<deep[f2])
            swap(f1,f2),swap(u,v);
        u=fa[f1];
        f1=top[u];
    }
    if(deep[u]<deep[v])
        return u;
    else
        return v;
}

void dfs1(int u,int father)//处理出重儿子 深度 父亲 子树大小等信息
{
    siz[u]=1;
    son[u]=0;
    fa[u]=father;
    deep[u]=deep[father]+1;
    int to;
    for(int i=head[u];i;i=Edge[i].nxt)
    {
        to=Edge[i].to;
        if(to!=father)
        {
            dfs1(to,u);
            siz[u]+=siz[to];
            if(siz[son[u]]<siz[to])
                son[u]=to;
        }
    }
}

void dfs2(int u,int father,int k)//处理出 链顶 dfs序 映射后的值 等信息
{
    top[u]=k;
    pos[u]=++tot;
    v[tot]=a[u];
    if(son[u])
        dfs2(son[u],u,k);
    int to;
    for(int i=head[u];i;i=Edge[i].nxt)
    {
        to=Edge[i].to;
        if(to!=father&&to!=son[u])
            dfs2(to,u,to);
    }
}

void down(int i)
{
    tree[i<<1].lazy=tree[i].lazy;
    tree[i<<1|1].lazy=tree[i].lazy;
    tree[i<<1].sum=tree[i<<1|1].sum=1;
    tree[i<<1].lc=tree[i<<1].rc=tree[i<<1|1].lc=tree[i<<1|1].rc=tree[i].lazy;
    tree[i].lazy=-1;
}

void up(int i)
{
    tree[i].lc=tree[i<<1].lc;
    tree[i].rc=tree[i<<1|1].rc;
    if(tree[i<<1].rc==tree[i<<1|1].lc)
        tree[i].sum=tree[i<<1].sum+tree[i<<1|1].sum-1;
    else
        tree[i].sum=tree[i<<1].sum+tree[i<<1|1].sum;
}

void build(int i,int l,int r)//建线段树
{
    tree[i].l=l,tree[i].r=r,tree[i].lazy=-1;;
    if(l==r)
    {
        tree[i].sum=1;
        tree[i].lc=tree[i].rc=v[l];
        return ;
    }
    int mid=(l+r)>>1;
    build(i<<1,l,mid);
    build(i<<1|1,mid+1,r);
    up(i);
}

int query(int i,int l,int r)
{
    if(l==tree[i].l&&r==tree[i].r)
        return tree[i].sum;
    int mid=(tree[i].l+tree[i].r)>>1;
    if(tree[i].lazy!=-1)
        down(i);
    if(r<=mid)
        return query(i<<1,l,r);
    else if(l>mid)
        return query(i<<1|1,l,r);
    else
    {
        int ll=query(i<<1,l,mid);
        int rr=query(i<<1|1,mid+1,r);
        if(tree[i<<1].rc==tree[i<<1|1].lc)
            return ll+rr-1;
        else
            return ll+rr;
    }
}

void update(int i,int l,int r,int v)
{
    if(l==tree[i].l&&r==tree[i].r)
    {
        tree[i].sum=1;
        tree[i].lazy=v;
        tree[i].lc=tree[i].rc=v;
        return ;
    }
    if(tree[i].lazy!=-1)
        down(i);
    int mid=(tree[i].l+tree[i].r)>>1;
    if(r<=mid)
        update(i<<1,l,r,v);
    else if(l>mid)
        update(i<<1|1,l,r,v);
    else
        update(i<<1,l,mid,v),
        update(i<<1|1,mid+1,r,v);
    up(i);
}

int getc(int i,int pos)
{
    if(tree[i].l==tree[i].r)
        return tree[i].lc;
    if(tree[i].lazy!=-1)
        down(i);
    int mid=(tree[i].l+tree[i].r)>>1;
    if(pos<=mid)
        return getc(i<<1,pos);
    else
        return getc(i<<1|1,pos);
}

int solvesum(int u,int v)
{
    if(deep[u]<deep[v])
        swap(u,v);
    int ans=0;
    while(top[u]!=top[v])
    {
        ans+=query(1,pos[top[u]],pos[u]);
        if(getc(1,pos[top[u]])==getc(1,pos[fa[top[u]]]))
            --ans;
        u=fa[top[u]];
    }
    if(deep[u]>deep[v])
        swap(u,v);
    ans+=query(1,pos[u],pos[v]);
    return ans;
}

void solveupdate(int u,int v,int val)
{
    if(deep[u]<deep[v])
        swap(u,v);
    while(top[u]!=top[v])
    {
        update(1,pos[top[u]],pos[u],val);
        u=fa[top[u]];
    }
    if(deep[u]>deep[v])
        swap(u,v);
    update(1,pos[u],pos[v],val);
}

inline void prework()
{
    scanf("%d%d",&n,&m);
    int u,v;
    for(int i=1;i<=n;i++)
        scanf("%d",&a[i]);
    for(int i=1;i<n;i++)
    {
        scanf("%d %d",&u,&v);
        addedge(u,v);
    }
    dfs1(1,0);
    dfs2(1,0,1);
    build(1,1,n);
}

inline void mainwork()
{
    int u,v,d,tmp;
    for(int i=0;i<m;i++)
    {
        scanf("%s%d%d",op,&u,&v);
        if(op[0]=='Q')
        {
            tmp=LCA(u,v);
            printf("%d\n",solvesum(u,tmp)+solvesum(v,tmp)-1);
        }
        else
        {
            scanf("%d",&d);
            tmp=LCA(u,v);
            solveupdate(u,tmp,d);
            solveupdate(v,tmp,d);
        }
    }
}

int main()
{
    prework();
    mainwork();
    return 0;
}