【传送门】
我们还是先将一下算法的步骤,待会再解释起来方便一点。

算法步骤

首先我们算出每个子树的\(size\)。
我们就设当前访问的节点
然后我们就得到了当前这个节点的答案是这个树整个的\(size\)的两倍\(-1\),再加上两两子树的\(size\)的积。
也就是$ans=size[u] \times 2 - 1 +\sum size[i] * size[j] $
其中\(i\)和\(j\)是u的儿子。


一下就是核心代码:

register LL ans = sz[p] * 2 - 1;
for (Ri i = head[p] ; i ; i = edge[i].next)
{
     if ( edge[i].to == fa[p]) continue;
     sz_rest = sz[p] - sz[edge[i].to] - 1 ;
     ans = (ans + (sz_rest *  sz[edge[i].to]  ) ) % Mod;
}

解释一下

首先,我们要明白,如果要以当前这个节点为\(LCA\)的话,那么两个节点必须不能是是这个当前这个要查询的节点的父亲,这个应该没有问题。
那么这两个节点必须是在当前查询节点上,或者是在这个节点的不同子树中。(注:这个一定是要在不同的子树中,不然\(LCA\)就会是在这个子树当中,而不是当前的节点
那么我们要考虑两种情况

  • 如果其中一个点是我们要访问的节点,那么另外一个点就可以是这个这棵子树中任意的点,但是要注意两个细节,这些点对是有顺序的,所以答案需要\(\times 2\),第二个细节是我们要注意根节点是只算一次的,因为相同的点放前放后都是一样的,只算一种。
  • 如果两个点是在不同的子树中,那么一棵子树中每一个节点都一定可以和另外一课子树中的任意一点相组成一个合法的点对,那么就根据乘法原理,将这些子树中的节点数相乘在相加就是我们得到的答案了。
    那么我们就得到了答案呀,答案就是上文中所提到的$ans=size[u] \times 2 - 1 +\sum size[i] * size[j] $

以下是代码,但是是错的,会TLE一个点。

# include <bits/stdc++.h>
# define Ri register int
# define for1(i,a,b) for (Ri i(a) ; i <= b; i++ )
# define for2(i,a,b) for (Ri i(a) ; i >= b; i-- )

using namespace std;

typedef long long LL;

const int Mod = 1e9 + 7;
const int Maxn = 50005;

struct Edge {
    int to , next ;
} edge[Maxn<<1] ;

int head[Maxn<<1];
int sz[Maxn], fa[Maxn];
int root, n ,m , Nedge;

inline int read ()
{
    int w = 0,x = 0; char ch = 0;
    while ( !isdigit(ch) ) { w |= ch == '-'; ch = getchar() ; }
    while ( isdigit(ch) ) { x = (x<<1) + (x<<3) + (ch^48); ch = getchar() ; }
    return w ? -x : x ;
}

inline void Add_Edge (int u, int v)
{
    edge[Nedge] = (Edge) {v , head[u]};
    head[u] = Nedge++;
}

inline void dfs (int u , int fat)
{
    fa[u] = fat;
    sz[u] = 1;
    for (int i = head[u] ; i != -1; i = edge[i].next )
    {
        int v = edge[i].to;
        if ( v == fa[u] ) continue;
        dfs (v ,u );
        sz[u] += sz[v];
    }
}

int main ()
{
    memset( head, -1 ,sizeof(head) );
    n = read(), root = read(), m = read();
    for1 (i , 1 , n-1)
    {
        int u = read(),v = read();
        Add_Edge(u, v);  Add_Edge(v, u);
    }
    dfs (root , -1);
    for1 (T ,1 , m )
    {
        int p = read();
        LL ans = sz[p] * 2 - 1;
        for (int i = head[p] ; i != -1 ; i = edge[i].next)
        {
            for (int j = head[p] ; j != -1 ; j = edge[j].next)
            {
                if (i == j || edge[i].to == fa[p] || edge[j].to == fa[p]) continue;
                ans = (ans + sz[edge[i].to] * sz[edge[j].to]) % Mod;
            }
        }
        printf ("%lld\n", ans);
    }
    return 0 ;
}

用尽了卡常技巧,都没法A掉最后一个点,为什么?
因为最后一个点太大了,如果按照我们的做法,是\(O(n^3+n^2+ m + n)\)的复杂度,这样实在是太不优美了。
我们来想一想优化。
其实我们并不需要枚举两个儿子,因为我们还有一个父亲没有用到,因为任意一个儿子需要\(\times\)不属于这个子树的节点的数量,那么这个数量就是父亲的\(size-\)儿子\(size-1\)。\(-1\)是减去父亲的节点
那么也就是优化成\(O(2\times n^2 + n + m)\)
其实也就是优化了主程序的一小部分。

for1 (T ,1 , m )
    {
        register int p = read() ;
        register int sz_rest;
        register LL ans = sz[p] * 2 - 1;
        for (Ri i = head[p] ; i != -1 ; i = edge[i].next)
        {
            if ( edge[i].to == fa[p]) continue;
            sz_rest = sz[p] - sz[edge[i].to] - 1 ;
            ans = (ans + (sz_rest *  sz[edge[i].to]  ) ) % Mod;
        }
        printf ("%lld\n", ans);
    }

但是还是做不了,还是会T掉一个点,那么我们就需要更加牛逼的优化了,因为答案不大,我们就用一个桶记录这个答案,这样我们就把超大的\(m\)缩小成了\(n\)了,这样我就刚好过掉了,而且速度老快惹QAQ!


以下是正解代码

# include <cstdio>
# include <cstring>
# include <ctype.h>
# define Ri register int
# define for1(i,a,b) for (Ri i(a) ; i <= b; i++ )
# define for2(i,a,b) for (Ri i(a) ; i >= b; i-- )

using namespace std;

typedef long long LL;

const int Mod = 1e9 + 7;
const int Maxn = 50005;

struct Edge {
    int to , next ;
} edge[Maxn<<1] ;

int head[Maxn<<1];
int sz[Maxn], fa[Maxn];
int root, n ,m , Nedge;
LL Ans[Maxn];

inline int read ()
{
    int w = 0,x = 0; char ch = 0;
    while ( !isdigit(ch) ) { w |= ch == '-'; ch = getchar() ; }
    while ( isdigit(ch) ) { x = (x<<1) + (x<<3) + (ch^48); ch = getchar() ; }
    return w ? -x : x ;
}

inline void Add_Edge (int u, int v)
{
    edge[Nedge] = (Edge) {v,head[u]};
    head[u] = Nedge++;
}

inline void dfs (int u , int fat) //计算size,并标记父亲
{
    fa[u] = fat; sz[u] = 1;
    for (Ri i = head[u] ; i ; i = edge[i].next )
    {
        int v = edge[i].to;
        if ( v == fa[u] ) continue;
        dfs (v ,u );
        sz[u] += sz[v];//累加size
    }
}

int main ()
{
    n = read(), root = read(), m = read(); Nedge=1;
    for1 (i , 1 , n-1)
    {
        int u = read(), v = read();
        Add_Edge(u, v);  Add_Edge(v, u);
    }
    dfs (root , -1);
    for1 (T ,1 , m )
    {
        register int p = read() ;
        if ( Ans[p] != 0 ) {printf("%lld\n", Ans[p] ); continue; } //如果当前的答案已经算过了,直接输出
        register int sz_rest; //表示剩下的
        register LL ans = sz[p] * 2 - 1; //算第一部分的答案
        for (Ri i = head[p] ; i ; i = edge[i].next)
        {
            if ( edge[i].to == fa[p]) continue;
            sz_rest = sz[p] - sz[edge[i].to] - 1 ;//算第二部分的答案。
            ans = (ans + (sz_rest *  sz[edge[i].to]  ) ) % Mod;//累加答案
        }
        Ans[p] = ans ;
        printf ("%lld\n", ans);
    }
    return 0 ;
}

[luogu5002]专心OI - 找祖先的更多相关文章

  1. P5002 专心OI - 找祖先

    P5002 专心OI - 找祖先 给定一棵有根树(\(n \leq 10000\)),\(M \leq 50000\) 次询问, 求以 \(x\) 为 \(LCA\) 的点对个数 错误日志: 看下面 ...

  2. 【洛谷 5002】专心OI - 找祖先 (树上计数)

    专心OI - 找祖先 题目背景 \(Imakf\)是一个小蒟蒻,他最近刚学了\(LCA\),他在手机\(APP\)里看到一个游戏也叫做\(LCA\)就下载了下来. 题目描述 这个游戏会给出你一棵树,这 ...

  3. 洛谷P5002 专心OI - 找祖先

    题目概括 题目描述 这个游戏会给出你一棵树,这棵树有\(N\)个节点,根结点是\(R\),系统会选中\(M\)个点\(P_1,P_2...P_M\). 要Imakf回答有多少组点对\((u_i,v_i ...

  4. luogu P5002 专心OI - 找祖先

    题目描述 这个游戏会给出你一棵树,这棵树有NN个节点,根结点是RR,系统会选中MM个点P_1,P_2...P_MP 1 ​ ,P 2 ​ ...P M ​ ,要Imakf回答有多少组点对(u_i,v_ ...

  5. 洛谷【P5004 专心OI - 跳房子】 题解

    题目链接 https://www.luogu.org/problem/P5004 洛谷 P5004 专心OI - 跳房子 Imakf有一天参加了PINO 2017 PJ组,他突然看见最后一道题 他十分 ...

  6. HDOJ 题目2475 Box(link cut tree去点找祖先)

    Box Time Limit: 10000/5000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submi ...

  7. [luogu5004]专心OI - 跳房子【矩阵加速+动态规划】

    传送门:https://www.luogu.org/problemnew/show/P5004 分析 动态规划转移方程是这样的\(f[i]=\sum^{i-m-1}_{j=0}f[j]\). 那么很明 ...

  8. 【LuoguP5004】 专心OI - 跳房子

    首先这是一道计数类DP,那我们得先推式子,经过瞎掰乱凑,经过认真分析,我们可以得到这样的方程 F(N)=F(0)+F(1)+....+F(N-M-1) 所有F初值为1,F(1)=2 ANS=F(N+M ...

  9. 「P5004」专心OI - 跳房子 解题报告

    题面 把\(N\)个无色格子排成一行,选若干个格子染成黑色,要求每个黑色格子之间至少间隔\(M\)个格子,求方案数 思路: 矩阵加速 根据题面,这一题似乎可以用递推 设第\(i\)个格子的编号为\(i ...

随机推荐

  1. Git .gitignore文件的使用

    本文转载自 http://blog.csdn.net/xmyzlz/article/details/8592302 在git中如果想忽略掉某个文件,不让这个文件提交到版本库中,可以使用修改 .giti ...

  2. BootStrap学习(5)_多媒体对象&列表组

    一.多媒体对象 这些抽象的对象样式用于创建各种类型的组件(比如:博客评论),我们可以在组件中使用图文混排,图像可以左对齐或者右对齐.媒体对象可以用更少的代码来实现媒体对象与文字的混排. .media: ...

  3. 第一章:模型层model layer -- Django从入门到精通系列教程

    该系列教程系个人原创,并完整发布在个人官网刘江的博客和教程 所有转载本文者,需在顶部显著位置注明原作者及www.liujiangblog.com官网地址. 题外话: Django的教程写到这里,就进入 ...

  4. Qt Creator 中,如何更改h,cpp,ui的文件并不让ui失效

    这个星期在使用qt,碰到一个很蛋疼的问题:创建对话框的时候,不小心输错了名字.而且是在很迟才发现的.这个时候对话框都已经布局差不多了,为了改名字,碰到更蛋疼的问题,改了名字后就无法使用转到槽的功能了. ...

  5. Linux下绑定网卡的操作记录

    公司采购的服务器安装了双网卡,并进行bond网卡绑定设置,网卡绑定mode共有七种(0~6) bond0.bond1.bond2.bond3.bond4.bond5.bond6. 第一种模式:mod= ...

  6. git学习心得

    https://github.com/zhangxinn/test/tree/master 自己虽然在课堂上有认真的听老师讲解如何使用github,包括怎样在线学习,怎样在github上建立自己的仓库 ...

  7. 开始第一段SPRINT

    四则运算Sprint计划 1.小组成员: 李豌湄:master 江丹仪:产品负责人 2.现状: 初步有一个四则运算的程序代码, 我们这个团队的编程基础比较薄弱,还不知道怎么将程序与数据库连接,也是在边 ...

  8. CMake系列之三:多个源文件-同一目录

    同一目录,多个源文件 把前面的main.c里面的power函数单独写入到一个MathFunctions.c源文件里,目录下的文件结构如下: ./Demo2 | +--- main.c | +--- M ...

  9. CMake系列之二:入门案例-单个源文件

    编写一个源码文件 如下 #include<stdio.h> #include<stdlib.h> double power(double base,int exponent) ...

  10. [2017BUAA软工]第零次作业

    第一部分:结缘计算机     你为什么选择计算机专业?你认为你的条件如何?和这些博主比呢?(必答) 我当初选择计算机,是因为:1.北航的前辈对北航计算机专业评价非常高:2.我也喜欢通过编程来代替我完成 ...