SPOJ COT2 Count on a tree II 树上莫队

原创 2016年08月30日 20:28:53

题目:http://www.spoj.com/problems/COT2/en/

题意:给定一棵树n个点,树上每个点都有一个权值。有m组查询,每个查询给出两个点,问这两点之间的路径上有多少种不同的权值

思路:树上莫队啊。有两种写法

第一种写法:通过一次dfs将树分块,然后查询按照左端点所在的块排序,依次查询。这之中重点是怎么进行区间转移,对两点的lca特殊处理,从别的博客上转载如下:

用S(v, u)代表 v到u的路径上的结点的集合。
用root来代表根结点,用lca(v, u)来代表v、u的最近公共祖先。
那么
S(v, u) = S(root, v) xor S(root, u) xor lca(v, u)
其中xor是集合的对称差。
简单来说就是节点出现两次消掉。
lca很讨厌,于是再定义
T(v, u) = S(root, v) xor S(root, u)
观察将curV移动到targetV前后T(curV, curU)变化:
T(curV, curU) = S(root, curV) xor S(root, curU)
T(targetV, curU) = S(root, targetV) xor S(root, curU)
取对称差:
T(curV, curU) xor T(targetV, curU)= (S(root, curV) xor S(root, curU)) xor (S(root, targetV) xor S(root, curU))
由于对称差的交换律、结合律:
T(curV, curU) xor T(targetV, curU)= S(root, curV) xorS(root, targetV)
两边同时xor T(curV, curU):
T(targetV, curU)= T(curV, curU) xor S(root, curV) xor S(root, targetV)
发现最后两项很爽……哇哈哈
T(targetV, curU)= T(curV, curU) xor T(curV, targetV)
(有公式恐惧症的不要走啊 T_T)
也就是说,更新的时候,xor T(curV, targetV)就行了。
即,对curV到targetV路径(除开lca(curV, targetV))上的结点,将它们的存在性取反即可。
——vfk博客

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define debug() puts("here")
using namespace std;

const int N = 500010;
int n, m, unit;
int arr[N], brr[N];
struct edge
{
    int to, next;
} g[N*2];
struct node
{
    int l, r, v, u, id;
    friend bool operator< (node a, node b)
    {
        return a.l != b.l ? a.l < b.l : a.r < b.r;
    }
}q[N*2];
int cnt, head[N];
int dep[N], par[N][21];
int pos[N], st[N], res[N*2];
int tmp, top, tag;
int tot[N], vis[N];
void add_edge(int v, int u)
{
    g[cnt].to = u, g[cnt].next = head[v], head[v] = cnt++;
}
int dfs(int v)
{
    int num = 0;
    for(int i = head[v]; i != -1; i = g[i].next)
    {
        int u = g[i].to;
        if(! dep[u])
        {
            dep[u] = dep[v] + 1, par[u][0] = v;
            num += dfs(u);
            if(num >= unit) //分块
            {
                while(num--) pos[st[--top]] = tag;
                tag++;
            }
        }
    }
    st[top++] = v; //储存待分块的序列
    return num + 1; //向上一层返回已被访问还未分块的点的个数
}
int LCA(int v, int u) //倍增法求LCA
{
    if(dep[v] < dep[u]) swap(v, u);
    int d = dep[v] - dep[u];
    for(int i = 0; (d>>i) != 0; i++)
        if((d>>i) & 1) v = par[v][i];
    if(v == u) return v;
    for(int i = 20; i >= 0; i--)
        if(par[v][i] != par[u][i]) v = par[v][i], u = par[u][i];
    return par[v][0];
}
void work(int &v)
{
    if(vis[v]) //已被记录,则本次去掉此点
    {
        if(--tot[arr[v]] == 0) tmp--;
    }
    else if(++tot[arr[v]] == 1) tmp++;
    vis[v] ^= 1;
    v = par[v][0];
}
void solve()
{
    scanf("%d%d", &n, &m);
    for(int i = 1; i <= n; i++) scanf("%d", &arr[i]), brr[i] = arr[i];
    sort(brr + 1, brr + 1 + n);
    for(int i = 1; i <= n; i++) arr[i] = lower_bound(brr + 1, brr + 1 + n, arr[i]) - brr;
    int a, b;
    cnt = 0;
    memset(head, -1, sizeof head);
    for(int i = 1; i < n; i++)
        scanf("%d%d", &a, &b), add_edge(a, b), add_edge(b, a);
    unit = (int)sqrt(n);
    dep[1] = 1;
    dfs(1);
    while(top) pos[st[--top]] = tag; //最后一部分没有分块的点,分块
    for(int j = 1; (1<<j) <= n; j++)
        for(int i = 1; i <= n; i++)
            par[i][j] = par[par[i][j-1]][j-1];
    for(int i = 1; i <= m; i++)
    {
        scanf("%d%d", &q[i].v, &q[i].u);
        if(pos[q[i].v] > pos[q[i].u]) swap(q[i].v, q[i].u);
        q[i].id = i, q[i].l = pos[q[i].v], q[i].r = pos[q[i].u]; //确定两个点分别位于的块
    }
    sort(q + 1, q + 1 + m); //分块排序
    tmp = 0;
    int cv = 1, cu = 1;
    for(int i = 1; i <= m; i++)
    {
        int nv = q[i].v, nu = q[i].u;
        int lca = LCA(cv, nv);//两点朝lca移动,处理路径上的点
        while(cv != lca) work(cv);
        while(nv != lca) work(nv);
        lca = LCA(cu, nu);
        while(cu != lca) work(cu);
        while(nu != lca) work(nu);
        cv = q[i].v, cu = q[i].u;
        lca = LCA(cv, cu);
        res[q[i].id] = tmp + (!tot[arr[lca]]);//对lca特殊处理
    }
    for(int i = 1; i <= m; i++) printf("%d\n", res[i]);
}
int main()
{
    solve();
    return 0;
}

第二种:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
using namespace std;

typedef long long ll;
const int N = 50010;
struct edge
{
    int to, next;
}g[N*2];
struct node
{
    int l, r, anc, id;
}p[N*2];
int n, m, unit;
int arr[N], brr[N];
int cnt, head[N];
int par[N][20], dep[N];
int in[N], out[N], lst[N*2], num;
int res[N*2], tmp, ver[N];
bool vis[N];
void add_edge(int v, int u)
{
    g[cnt].to = u, g[cnt].next = head[v], head[v] = cnt++;
}
void dfs(int v)
{
    in[v] = ++num;
    lst[num] = v;
    for(int i = head[v]; i != -1; i = g[i].next)
    {
        int u = g[i].to;
        if(! dep[u])
            par[u][0] = v, dep[u] = dep[v] + 1, dfs(u);
    }
    out[v] = ++num;
    lst[num] = v;
}
int LCA(int v, int u)
{
    if(dep[v] < dep[u]) swap(v, u);
    int d = dep[v] - dep[u];
    for(int i = 0; (d>>i) != 0; i++)
        if((d>>i) & 1) v = par[v][i];
    if(v == u) return v;
    for(int i = 19; i >= 0; i--)
        if(par[v][i] != par[u][i]) v = par[v][i], u = par[u][i];
    return par[v][0];
}
void update(int i)
{
    //树上每个点在每次查询时只能被访问一次,若之前没访问过,那就是说明当前点应当在路径中,否则,不在路径中
    if(vis[lst[i]]) //当前点被访问过,那么一定被计数了
    {
        ver[arr[lst[i]]]--;
        if(! ver[arr[lst[i]]]) tmp--; //当这个权值不存在时,才把计数减1
        vis[lst[i]] = false;
    }
    else
    {
        if(! ver[arr[lst[i]]]) tmp++; //当这个权值本来不存在时,把计数加1
        ver[arr[lst[i]]]++;
        vis[lst[i]] = true;
    }
}
void solve()
{
    int a, b;
    for(int i = 1; i <= n; i++)
        scanf("%d", &arr[i]), brr[i] = arr[i];
    sort(brr + 1, brr + 1 + n);
    for(int i = 1; i <= n; i++) arr[i] = lower_bound(brr + 1, brr + 1 + n, arr[i]) - brr; //离散化
    cnt = 0;
    memset(head, -1, sizeof head);
    for(int i = 1; i <= n - 1; i++) //存树
        scanf("%d%d", &a, &b), add_edge(a, b), add_edge(b, a);
    memset(dep, 0, sizeof dep);
    dep[1] = 1;
    num = 0;
    par[1][0] = 1;
    dfs(1);
    for(int j = 1; (1<<j) <= n; j++) //倍增法预处理
        for(int i = 1; i <= n; i++)
            par[i][j] = par[par[i][j-1]][j-1];
    for(int i = 1; i <= m; i++)
    {
        scanf("%d%d", &a, &b);
        p[i].id = i;
        if(a == b) p[i].anc = -1; //特殊标记,此时公共祖先应该为1
        else
        {
            p[i].anc = LCA(a, b);
            if(p[i].anc != a && p[i].anc != b) //画个图很快就可以看明白
                p[i].l = min(out[a], out[b]), p[i].r = max(in[a], in[b]);
            else
                p[i].l = min(in[a], in[b]), p[i].r = max(in[a], in[b]);
        }
    }
    unit = (int)sqrt(num);
    memset(vis, 0, sizeof vis);
    sort(p + 1, p + 1 + m, [](node a, node b){return a.l/unit != b.l/unit ? a.l/unit < b.l/unit : a.r < b.r;});//分块排序
    int l = 1, r = 0;
    tmp = 0;
    for(int i = 1; i <= m; i++)
        if(p[i].anc == -1) res[p[i].id] = 1; //查询的两点为同一点,则种类只有1
        else
        {
            for(; r < p[i].r; r++) update(r + 1);
            for(; r > p[i].r; r--) update(r);
            for(; l < p[i].l; l++) update(l);
            for(; l > p[i].l; l--) update(l - 1);
            if(lst[p[i].l] == p[i].anc || lst[p[i].r] == p[i].anc) res[p[i].id] = tmp; //其中一点为两点的公共祖先
            else
            { //此时所访问的路径中不包括两点的lca,所以要对lca特别处理
                update(in[p[i].anc]);
                res[p[i].id] = tmp;
                update(in[p[i].anc]);
            }
        }
    for(int i = 1; i <= m; i++) printf("%d\n", res[i]);
}
int main()
{
    scanf("%d%d", &n, &m);
    solve();
    return 0;
}


版权声明:本文为博主原创文章,未经博主允许不得转载。 举报

相关文章推荐

SPOJ COT2 Count on a tree II [树上莫队]

合成公式 : 离散化+树上分块+LCA+排序 == 树上莫队

BZOJ 2589 Spoj 10707 Count on a tree II 强制在线莫队算法(TLE)

题目大意:给定一棵树,每个节点有一个颜色,多次询问某条路径上颜色数量,强制在线 正解是块状数组,强制在线莫队会TLE到死,想AC这道题的不用看了 如果朴素的跑树上莫队其实并不难- - 但是强制在线 因...

我是如何成为一名python大咖的?

人生苦短,都说必须python,那么我分享下我是如何从小白成为Python资深开发者的吧。2014年我大学刚毕业..

SPOJ COT2 树上的莫队算法,树上区间查询

题意:n个节点形成的一棵树。每个节点有一个值。m次查询,求出(u,v)路径上出现了多少个不同的数。 树上的莫队算法,同样将树分成siz=sqrt(n)块,然后离线操作。先对树dfs一遍,每当子树节点个...
  • HTT_H
  • HTT_H
  • 2015-08-17 19:09
  • 1169

BZOJ 3052 [wc2013]糖果公园 树上莫队

BZOJ 3052 [wc2013]糖果公园 树上莫队

树上莫队算法

继续回来写博客……记录点有意思的题目什么的。

[Codeforces 842D Vitya and Strange Lesson]异或字典树

[Codeforces 842D Vitya and Strange Lesson]异或字典树分类:Data Structure Trie Tree 1. 题目链接[Codeforces 842D V...

SPOJ 10707 Count on a Tree II 树上莫队

查询树点对间不同数字的个数。为什么我的程序越改越慢。。。#include #include #include using namespace std; #define FOR(i,j,k) fo...

[spoj COT2- Count on a tree II] 树上莫队

[spoj COT2- Count on a tree II]树上莫队分类:Mo's Algorithm 1. 题目链接[spoj COT2- Count on a tree II]2. 题意描述给一...

spoj cot2 树上莫队

COT2 - Count on a tree II #tree You are given a tree with N nodes. The tree nodes are nu...

spoj_cot2 Count on a tree II(树上莫队+离散化)

题意:给两个点u,v,询问两点路径上有多少种不同的权值。树上莫队。然后权值要离散化。树上区间转移呢,基本就是这样的:记上次询问的两点为lastu,lastv,现在询问的两点为u,v,那么对于路径(la...
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)