树数数【智算之道复赛E】【树链剖分+dfs序】

题目链接


树数数【智算之道复赛E】【树链剖分+dfs序】_第1张图片


  我们可以考虑一个黑点u,它作为LBCA点所产生贡献次数为cnt[u] = \frac{size[u] * (size[u] - 1)}{2} - \sum cnt[son[u]],其中,son[u]指的是u的子孙节点们,那么,u点作为LBCA点的贡献值就可以求出来了,就是cnt[u] * w[u]了。

  根据这样的关系,我们可以推导改变所带来的信息变化。

  • 白点变黑点

  那么,它的影响只会对它向上最近的黑色节点LBA(u)产生直接影响,对于再往上的黑色节点,由于被LBA(u)给阻断了,所以受不到影响,同时,它会产生贡献,它产生的贡献就可以通过cnt[u] = \frac{size[u] * (size[u] - 1)}{2} - \sum cnt[son[u]]来计算得到。

  对于LBA(u)节点的影响呢?那么,其实相当于LBA(u)节点就会少去了cnt[u]这些部分了,所以它要减去cnt[u]的部分,似乎这样就达成了一个能量守恒,一个加cnt[u],一个减去cnt[u],所以确确实实对LBA(u)之上的黑点就没有影响了。

  • 黑点变白点

  我们看到白点变黑点时候的变化,那么黑点变白点可以考虑成“白点变黑点的逆变换”。

  于是,我们先对LBA(u)加上cnt[u]的贡献,然后再是对u节点减去它的这些贡献次数,因为它要变成白点了呀。

  所以,这个问题全程围绕着cnt[u] = \frac{size[u] * (size[u] - 1)}{2} - \sum cnt[son[u]]这个关键的等式展开,求解了这些问题。

  然后关于怎么去找LBA(u)点,这个可以用树剖去找dfs序最大的点,那么就一定同时满足深度最深的黑点(dfs序和深度关系),也就是距离u最近的黑点了。

  剩下的一些,几乎都是单点修改和区间更新的问题了,可以使用dfs序维护出来的线段树来解决该问题。

给几组测试数据:

/*
4 4
1 2 3
1 2 5 5
Q 2
F 3
M 3 11451
Q 2
*/
/*
5 4
1 1 2 2
3 1 2 4 2
F 1
M 1 2
F 4
Q 2
ans:
6
*/
/*
6 4
1 1 2 2 3
6 5 4 3 2 1
F 2
F 3
F 1
Q 1
ans:
85
*/
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 2e5 + 7;
int N, Q;
ll w[maxN];
namespace Graph
{
    int head[maxN], cnt;
    struct Eddge
    {
        int nex, to;
        Eddge(int a=-1, int b=0):nex(a), to(b) {}
    } edge[maxN];
    inline void addEddge(int u, int v)
    {
        edge[cnt] = Eddge(head[u], v);
        head[u] = cnt++;
    }
    inline void init()
    {
        cnt = 0;
        for(int i=1; i<=N; i++) head[i] = -1;
    }
};
using namespace Graph;
namespace Tree_Divide
{
    int deep[maxN], fa[maxN], siz[maxN], wson[maxN];
    void dfs_1(int u)
    {
        siz[u] = 1; wson[u] = 0;
        for(int i=head[u], v; ~i; i=edge[i].nex)
        {
            v = edge[i].to;
            deep[v] = deep[u] + 1;
            dfs_1(v);
            siz[u] += siz[v];
            if(siz[v] > siz[wson[u]]) wson[u] = v;
        }
    }
    int top[maxN], tot, dfn[maxN], end_tim[maxN], rid[maxN] = {0};
    void dfs_2(int u, int topy)
    {
        dfn[u] = ++tot;
        rid[tot] = u;
        top[u] = topy;
        if(wson[u]) dfs_2(wson[u], topy);
        for(int i=head[u], v; ~i; i=edge[i].nex)
        {
            v = edge[i].to;
            if(v == wson[u]) continue;
            dfs_2(v, v);
        }
        end_tim[u] = tot;
    }
    int t[maxN << 2] = {0};
    void Change(int rt, int l, int r, int qx)
    {
        if(l == r) { t[rt] ^= l; return; }
        int mid = HalF;
        if(qx <= mid) Change(Lson, qx);
        else Change(Rson, qx);
        t[rt] = max(t[lsn], t[rsn]);
    }
    int Find(int rt, int l, int r, int ql, int qr)
    {
        if(ql <= l && qr >= r) return t[rt];
        int mid = HalF;
        if(qr <= mid) return Find(QL);
        else if(ql > mid) return Find(QR);
        else return max(Find(QL), Find(QR));
    }
    inline int _LBA(int u)
    {
        if(!u) return 0;
        int ans = 0;
        while(top[u] ^ 1)
        {
            ans = Find(1, 1, N, dfn[top[u]], dfn[u]);
            if(ans) break;
            u = fa[top[u]];
        }
        if(!ans) ans = Find(1, 1, N, dfn[1], dfn[u]);
        return rid[ans];
    }
};
using namespace Tree_Divide;
namespace Segement
{
    ll sum[maxN << 2], ans[maxN << 2];
    void update(ll *tree, int rt, int l, int r, int qx, ll val)
    {
        if(l == r) { tree[rt] = val; return; }
        int mid = HalF;
        if(qx <= mid) update(tree, Lson, qx, val);
        else update(tree, Rson, qx, val);
        tree[rt] = tree[lsn] + tree[rsn];
    }
    ll query(ll *tree, int rt, int l, int r, int ql, int qr)
    {
        if(ql <= l && qr >= r) return tree[rt];
        int mid = HalF;
        if(qr <= mid) return query(tree, QL);
        else if(ql > mid) return query(tree, QR);
        else return query(tree, QL) + query(tree, QR);
    }
};
using namespace Segement;
bool col[maxN] = {false};
int main()
{
    scanf("%d%d", &N, &Q);
    init();
    for(int i=2; i<=N; i++)
    {
        scanf("%d", &fa[i]);
        addEddge(fa[i], i);
    }
    for(int i=1; i<=N; i++) scanf("%lld", &w[i]);
    deep[1] = 1;
    dfs_1(1);
    dfs_2(1, 1);
    char op[3];
    ll tmp, det, flba, nw, old_sum, new_sum;
    for(int i=1, u; i<=Q; i++)
    {
        scanf("%s%d", op, &u);
        switch (op[0])
        {
            case 'Q':
            {
                tmp = query(ans, 1, 1, N, dfn[u], end_tim[u]);
                if(!col[u])
                {
                    flba = _LBA(u);
                    if(flba)
                    {
                        old_sum = 1LL * siz[u] * (siz[u] - 1) / 2LL - query(sum, 1, 1, N, dfn[u], end_tim[u]);
                        tmp += old_sum * w[flba];
                    }
                }
                printf("%lld\n", tmp);
                break;
            }
            case 'M':
            {
                scanf("%lld", &nw);
                if(col[u])
                {
                    tmp = query(sum, 1, 1, N, dfn[u], dfn[u]);
                    update(ans, 1, 1, N, dfn[u], nw * tmp);
                }
                w[u] = nw;
                break;
            }
            default:
            {
                flba = _LBA(fa[u]);
                det = 1LL * siz[u] * (siz[u] - 1) / 2LL;
                if(siz[u] > 1) det -= query(sum, 1, 1, N, dfn[u] + 1, end_tim[u]);
                if(col[u])
                {
                    if(flba)
                    {
                        old_sum = query(sum, 1, 1, N, dfn[flba], dfn[flba]);
                        new_sum = old_sum + det;
                        update(sum, 1, 1, N, dfn[flba], new_sum);
                        update(ans, 1, 1, N, dfn[flba], new_sum * w[flba]);
                    }
                    update(sum, 1, 1, N, dfn[u], 0);
                    update(ans, 1, 1, N, dfn[u], 0);
                }
                else
                {
                    update(sum, 1, 1, N, dfn[u], det);
                    update(ans, 1, 1, N, dfn[u], det * w[u]);
                    if(flba)
                    {
                        old_sum = query(sum, 1, 1, N, dfn[flba], dfn[flba]);
                        new_sum = old_sum - det;
                        update(sum, 1, 1, N, dfn[flba], new_sum);
                        update(ans, 1, 1, N, dfn[flba], new_sum * w[flba]);
                    }
                }
                col[u] ^= 1;
                Change(1, 1, N, dfn[u]);
                break;
            }
        }
    }
    return 0;
}

 

你可能感兴趣的:(树链剖分,线段树,树链剖分,dfs序,线段树)