考虑把贡献摊到每个点上计算,每个点带来的贡献实际上是经过它的路径并大小,算完求和之后在除以 \(2\) 就得到了答案。

考虑怎么计算路径并大小。

考虑这样一个办法,将所有路径的起始点和终点按照 DFS 序排序,相邻两点(包括第一个会最后一个点)在树上的距离之和便是其路径并大小的两倍。原理的话便是路径并大小等价于包含所有路径起始点的最小联通生成树。

考虑树上点差分,然后用线段树储存 DFS 序为 \(x\) 的点是否在子树中,维护节点内最大和最小的存在的 DFS 序就可以在通过一次求 LCA 合并两个子节点的信息。

那么最后一步通过线段树合并将子树的信息合并到父亲即可。

时间复杂度 \(O(n \log^2 n)\) 空间复杂度 \(O(n \log n)\),也可以通过写压缩 01Trie 或者直接维护线段树叶子节点的方法做到线性空间,但没什么必要。

#include <bits/stdc++.h>
#define int long long
using namespace std;
const int maxn = 1e5 + 114;
int fa[maxn][19], lg[maxn];
int dfn[maxn], dfncnt, dep[maxn];
int Node[maxn];
int n, m;
vector<int> edge[maxn];
void dfs1(int u, int father) {
dep[u] = dep[father] + 1;
dfn[u] = ++dfncnt;
Node[dfncnt] = u;
fa[u][0] = father; for (int i = 1; i <= 17; i++)
fa[u][i] = fa[fa[u][i - 1]][i - 1]; for (int v : edge[u]) {
if (v == father)
continue; dfs1(v, u);
}
}
int LCA(int u, int v) {
if (dep[u] < dep[v])
swap(u, v); while (dep[u] > dep[v]) {
u = fa[u][lg[dep[u] - dep[v]]];
} if (u == v)
return u; for (int i = 17; i >= 0; i--) {
if (fa[u][i] != fa[v][i]) {
u = fa[u][i], v = fa[v][i];
}
} return fa[u][0];
}
int dist(int x, int y) {
return dep[x] + dep[y] - 2 * dep[LCA(x, y)];
}
#define ls(cur)(tr[cur].ls)
#define rs(cur)(tr[cur].rs)
int tot;
struct Segment_tree {
int ls, rs;
int mi, mx, sum, cnt;
} tr[maxn * 40];
int root[maxn];
void pushup(int cur) {
tr[cur].cnt = tr[ls(cur)].cnt + tr[rs(cur)].cnt; if (tr[ls(cur)].cnt == 0 && tr[rs(cur)].cnt == 0)
cur = 0;
else if (tr[ls(cur)].cnt == 0)
tr[cur].sum = tr[rs(cur)].sum, tr[cur].mi = tr[rs(cur)].mi, tr[cur].mx = tr[rs(cur)].mx;
else if (tr[rs(cur)].cnt == 0)
tr[cur].sum = tr[ls(cur)].sum, tr[cur].mi = tr[ls(cur)].mi, tr[cur].mx = tr[ls(cur)].mx;
else {
tr[cur].sum = tr[ls(cur)].sum + tr[rs(cur)].sum + dist(Node[tr[ls(cur)].mx], Node[tr[rs(cur)].mi]);
tr[cur].mi = tr[ls(cur)].mi;
tr[cur].mx = tr[rs(cur)].mx;
}
}
void update(int &cur, int lt, int rt, int pos, int v) {
if (pos < lt || pos > rt)
return ; if (cur == 0)
cur = ++tot; if (lt == rt && lt == pos) {
tr[cur].cnt += v;
tr[cur].mi = tr[cur].mx = lt;
tr[cur].sum = 0;
return ;
} int mid = (lt + rt) >> 1;
update(ls(cur), lt, mid, pos, v);
update(rs(cur), mid + 1, rt, pos, v);
pushup(cur);
}
int merge(int a, int b, int lt, int rt) {
if (a == 0 || b == 0)
return a + b; if (lt == rt) {
tr[a].cnt += tr[b].cnt;
tr[a].mi = tr[a].mx = lt;
tr[a].sum = 0;
return a;
} int mid = (lt + rt) >> 1;
tr[a].ls = merge(tr[a].ls, tr[b].ls, lt, mid);
tr[a].rs = merge(tr[a].rs, tr[b].rs, mid + 1, rt);
pushup(a);
return a;
}
vector<int> Ins[maxn], Del[maxn];
int answer;
void dfs2(int u, int father) {
for (int v : edge[u]) {
if (v == father)
continue; dfs2(v, u);
root[u] = merge(root[u], root[v], 1, n);
} for (int x : Ins[u])
update(root[u], 1, n, x, 1); for (int x : Del[u])
update(root[u], 1, n, x, -1); answer += (tr[root[u]].sum + dist(Node[tr[root[u]].mi], Node[tr[root[u]].mx])) / 2;
}
signed main() {
cin >> n >> m;
lg[1] = 0; for (int i = 2; i <= n; i++)
lg[i] = lg[i / 2] + 1; for (int i = 1; i < n; i++) {
int u, v;
cin >> u >> v;
edge[u].push_back(v);
edge[v].push_back(u);
} dep[0] = -1;
dfs1(1, 0); for (int i = 1; i <= m; i++) {
int u, v;
cin >> u >> v; if (u == v)
continue; Ins[u].push_back(dfn[u]);
Ins[u].push_back(dfn[v]);
Ins[v].push_back(dfn[v]);
Ins[v].push_back(dfn[u]);
Del[LCA(u, v)].push_back(dfn[u]);
Del[LCA(u, v)].push_back(dfn[v]);
Del[fa[LCA(u, v)][0]].push_back(dfn[u]);
Del[fa[LCA(u, v)][0]].push_back(dfn[v]);
} dfs2(1, 0);
cout << answer / 2;
}

P5327 题解的更多相关文章

  1. 题解 P5327 [ZJOI2019]语言

    P5327 [ZJOI2019]语言 解题思路 暴力 首先讲一下我垃圾的 40pts 的暴力(其他 dalao 都是 60pts 起步): 当然评测机快的话(比如 LOJ 的),可以卡过 3,4 个点 ...

  2. 【题解】Luogu P5327 [ZJOI2019]语言

    原题传送门 看到这种树上统计点对个数的题一般是线段树合并,这题也不出意外 先对这棵树进行树剖,对于每次普及语言,在\(x,y\)两点的线段树上的\(x,y\)两位置打\(+1\)标记,在点\(fa[l ...

  3. 2016 华南师大ACM校赛 SCNUCPC 非官方题解

    我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...

  4. noip2016十连测题解

    以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...

  5. BZOJ-2561-最小生成树 题解(最小割)

    2561: 最小生成树(题解) Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1628  Solved: 786 传送门:http://www.lyd ...

  6. Codeforces Round #353 (Div. 2) ABCDE 题解 python

    Problems     # Name     A Infinite Sequence standard input/output 1 s, 256 MB    x3509 B Restoring P ...

  7. 哈尔滨理工大学ACM全国邀请赛(网络同步赛)题解

    题目链接 提交连接:http://acm-software.hrbust.edu.cn/problemset.php?page=5 1470-1482 只做出来四道比较水的题目,还需要加强中等题的训练 ...

  8. 2016ACM青岛区域赛题解

    A.Relic Discovery_hdu5982 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Jav ...

  9. poj1399 hoj1037 Direct Visibility 题解 (宽搜)

    http://poj.org/problem?id=1399 http://acm.hit.edu.cn/hoj/problem/view?id=1037 题意: 在一个最多200*200的minec ...

  10. 网络流n题 题解

    学会了网络流,就经常闲的没事儿刷网络流--于是乎来一发题解. 1. COGS2093 花园的守护之神 题意:给定一个带权无向图,问至少删除多少条边才能使得s-t最短路的长度变长. 用Dijkstra或 ...

随机推荐

  1. linux下的开机启动

    使用systemctl命令,systemctl命令是系统服务管理器指令,它实际上将 service 和 chkconfig 这两个命令组合到一起. 据说在CentOS7.0后,不再使用service, ...

  2. SQL Server 数据库分析操作程序时SQL语句等待或执行时间较长(死锁)

    大型程序,总会遇到程序操作端卡顿或者直接遇到死锁,死锁是数据库设计的缺陷,虽不能完全避免死锁的出现,但一旦出现死锁我们要进行及时分析死锁语句,找出原因,进行SQL语句或程序的优化,避免再次出现同样的问 ...

  3. SimpleHTTPServer模块详解

    SimpleHTTPServer实现文件的展示和下载 可以用python2.7直接启动一个进程.以命令执行的当前目录为页面根目录,如果不存在index.html,默认展示当前目录的所有文件. pyth ...

  4. golang select 和外层的 for 搭配

    select语句通常与for循环搭配使用,但并不是必须的. 在某些情况下,select可能会直接放在一个独立的goroutine中,没有外层的for循环. 这通常发生在你知道只会有一次或有限次操作的情 ...

  5. 【C#】关于ACCESS数据库insert into报错:标准表达式中数据类型不匹配

    如果插入列有日期/时间类型,使用C#时,var ptime = new OleDbParameter("@DtTime", OleDbType.Date); OleDbType.D ...

  6. HTML——基本标签

    1.标题标签 <h1>标题1</h1> <h2>标题2</h2> <h3>标题3</h3> <h4>标题4</ ...

  7. 一个简单demo展示应用接口使用goroutine优雅退出

    package main import ( "context" "errors" "log" "net/http" &q ...

  8. Linux系统编程(十)线程池

    #include <stdio.h> #include <stdlib.h> #include <unistd.h> #include <pthread.h& ...

  9. 在 Inno Setup iss 打包过程 中检测 .NET 6 / .net 5 / .NET Core 运行环境是否存在或已安装

    为了将 .NET 5 / .NET Core 应用程序部署到客户机,我们可以编写 Inno Setup 代码来判断客户机是否安装了必要的运行环境..NET 官方仓库 中提供了一个名为 NetCoreC ...

  10. k8s——daemonset

    daemonset 为每一个匹配的node都部署一个守护进程 # daemonset node:type=logs daemonset 选择节点 - nadeSelector: 只调度到匹配指定的la ...