考虑把贡献摊到每个点上计算,每个点带来的贡献实际上是经过它的路径并大小,算完求和之后在除以 \(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. VSCode:所选环境中没有可用的Pip安装程序

    VSCode:所选环境中没有可用的Pip安装程序 然后我尝试格式化我的代码,VSCode说没有安装autopep8,可以通过Pip安装 . 但是,当我尝试通过Pip安装时,它会说 There is n ...

  2. JavaScript算法---基础排序类

    <html> <script> //正序排序,把大的放到最后,arr[j]>arr[j+1] let fz=(arr)=>{ for(let len=arr.len ...

  3. fastposter v2.18.0 一分钟完成开发海报-云服务来袭

    fastposter v2.18.0 一分钟完成开发海报-云服务来袭 fastposter 是一款快速开发海报的工具,已经服务众多电商.行业海报.分销系统.电商海报.电商主图等海报生成和制作场景. 什 ...

  4. jquery中.html(),.text()和.val()的差异总结

    .html(),.text(),.val()三种方法都是用来读取选定元素的内容: .html()是用来读取元素的html内容(包括html标签): .text()用来读取元素的纯文本内容,包括其后代元 ...

  5. Java简单实现MQ架构和思路02

    Java MQ的100个功能清单 有重复的 一个消息队列(MQ)可以有以下功能: 批量发送消息:允许将多个消息打包成一个批次发送,可以减少网络传输开销和提高系统吞吐量. 消息过期时间:消息可以设置一个 ...

  6. kubernetes 之网络(canal)

    https://kubernetes.io/docs/setup/production-environment/tools/kubeadm/create-cluster-kubeadm/ 所有节点重设 ...

  7. MLP实现minist数据集分类任务

    1. 数据集 minist手写体数字数据集 2. 代码 ''' Description: Author: zhangyh Date: 2024-05-04 15:21:49 LastEditTime: ...

  8. 鸿蒙极速入门(三)-TypeScript语言简介

    ArkTS是HarmonyOS优选的主力应用开发语言.ArkTS围绕应用开发在TypeScript(简称TS)生态基础上做了进一步扩展,继承了TS的所有特性,是TS的超集.因此,在学习ArkTS语言之 ...

  9. GCD Timer事件的精度

    一.测试环境 iPhoneX 真机+Debug模式,Timer代码工作在主线程,主线程空闲不阻塞 在子线程统计每3秒tick计数,逐步减小inteval,看能达到多大精度. 忽略原子计数值操作的影响 ...

  10. itestwork(爱测试)开源一站式接口测试&敏捷测试工作站 9.0.0 GA 发布,重大升级

    (一)itest 简介 itest work (爱测试)  一站式工作站让测试变得简单.敏捷.itest work 包含极简的任务管理,测试管理,缺陷管理,测试环境管理,接口测试,接口Mock 6合1 ...