以1为根建树,先将所有路径挂在lca上,再分两类讨论:

1.lca相同,此时我们仅关心于lca上不经过第$a$和$b$个儿子路径数,容斥一下,即所有路径-经过$a$的-经过$b$的+经过$a$和$b$的,前三个很容易统计,最后一个用map即可

(这样分类主要是避免lca相同时重复计数)

2.lca不同,考虑其中lca深度较小的路径,将这条路径分为不包含lca的两段,那么另外一条路径的lca一定恰好在其中一条路径上

更具体的,由于两段对称,仅考虑其中一段,如果暴力统计,也就是枚举这段上的每一个节点,假设先枚举的路径是第$a$个儿子,也就是求该点上所有路径-经过$a$的路径

(特别的,对于叶子要将所有以该点为lca的路径全部累计)

不难发现这件事情可以差分,即对于每一个点,记录”其到根路径通过上述方法得出的答案“,转移通过父亲求出,之后差分即可

由于求lca还需要倍增,然后还有map,总复杂度为$o(n\log n)$

  1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 300005
4 #define mp make_pair
5 struct Edge{
6 int nex,to;
7 }edge[N<<1];
8 struct path{
9 int x,y,x0,y0;
10 }a[N];
11 vector<int>v[N];
12 map<int,int>mat[N];
13 int E,n,m,x,y,head[N],dep[N],id[N],sum[N],dp[N],f[N][21];
14 long long ans;
15 void add(int x,int y){
16 edge[E].nex=head[x];
17 edge[E].to=y;
18 head[x]=E++;
19 }
20 int lca(int x,int y){
21 if (dep[x]<dep[y])swap(x,y);
22 for(int i=20;i>=0;i--)
23 if (dep[f[x][i]]>=dep[y])x=f[x][i];
24 if (x==y)return x;
25 for(int i=20;i>=0;i--)
26 if (f[x][i]!=f[y][i]){
27 x=f[x][i];
28 y=f[y][i];
29 }
30 return f[x][0];
31 }
32 int get(int x,int y){
33 if (x==y)return x;
34 for(int i=20;i>=0;i--)
35 if (dep[f[x][i]]>dep[y])x=f[x][i];
36 return x;
37 }
38 void dfs(int k,int fa,int s){
39 dep[k]=s;
40 f[k][0]=fa;
41 for(int i=1;i<=20;i++)f[k][i]=f[f[k][i-1]][i-1];
42 for(int i=head[k];i!=-1;i=edge[i].nex)
43 if (edge[i].to!=fa)dfs(edge[i].to,k,s+1);
44 }
45 void calc(int k,int fa){
46 id[0]=id[k]=0;
47 for(int i=head[k];i!=-1;i=edge[i].nex)
48 if (edge[i].to!=fa)id[edge[i].to]=++id[0];
49 for(int i=0;i<v[k].size();i++)
50 if (id[a[v[k][i]].x0]>id[a[v[k][i]].y0]){
51 swap(a[v[k][i]].x,a[v[k][i]].y);
52 swap(a[v[k][i]].x0,a[v[k][i]].y0);
53 }
54 for(int i=0;i<=id[0];i++){
55 sum[i]=0;
56 mat[i].clear();
57 }
58 for(int i=0;i<v[k].size();i++){
59 sum[id[a[v[k][i]].x0]]++;
60 sum[id[a[v[k][i]].y0]]++;
61 mat[id[a[v[k][i]].x0]][id[a[v[k][i]].y0]]++;
62 }
63 for(int i=0;i<v[k].size();i++)
64 if (!id[a[v[k][i]].x0]){
65 if (!id[a[v[k][i]].y0])ans+=(int)v[k].size()-1;
66 else ans+=(int)v[k].size()-sum[id[a[v[k][i]].y0]];
67 }
68 else{
69 ans+=(int)v[k].size()-sum[id[a[v[k][i]].x0]]-sum[id[a[v[k][i]].y0]];
70 ans+=mat[id[a[v[k][i]].x0]][id[a[v[k][i]].y0]];
71 }
72 for(int i=head[k];i!=-1;i=edge[i].nex)
73 if (edge[i].to!=fa)dp[edge[i].to]=dp[k]+(int)v[k].size()-sum[id[edge[i].to]];
74 for(int i=head[k];i!=-1;i=edge[i].nex)
75 if (edge[i].to!=fa)calc(edge[i].to,k);
76 }
77 int main(){
78 scanf("%d",&n);
79 memset(head,-1,sizeof(head));
80 for(int i=1;i<n;i++){
81 scanf("%d%d",&x,&y);
82 add(x,y);
83 add(y,x);
84 }
85 dfs(1,1,0);
86 scanf("%d",&m);
87 for(int i=1;i<=m;i++){
88 scanf("%d%d",&a[i].x,&a[i].y);
89 int z=lca(a[i].x,a[i].y);
90 a[i].x0=get(a[i].x,z);
91 a[i].y0=get(a[i].y,z);
92 v[z].push_back(i);
93 }
94 calc(1,0);
95 ans/=2;
96 for(int i=1;i<=m;i++){
97 int z=lca(a[i].x,a[i].y);
98 if (a[i].x!=z)ans+=dp[a[i].x]-dp[a[i].x0]+(int)v[a[i].x].size();
99 if (a[i].y!=z)ans+=dp[a[i].y]-dp[a[i].y0]+(int)v[a[i].y].size();
100 }
101 printf("%lld",ans);
102 }

[cf1486F]Pairs of Paths的更多相关文章

  1. 【SSSP】A forward-backward single-source paths algorithm

    0. 引子基础的算法和数据结构已经学习的差不多了,上学期期末就打算重点研究研究STOC和FOCS上面的论文.做这件事情的初衷是了解别人是如何改进原有算法的,搞清楚目前比较热的算法问题有哪些,更重要的是 ...

  2. 【LeetCode OJ】Word Ladder II

    Problem Link: http://oj.leetcode.com/problems/word-ladder-ii/ Basically, this problem is same to Wor ...

  3. Floyd算法(弗洛伊德算法)

    算法描述: Floyd算法又称为弗洛伊德算法,插点法,是一种用于寻找给定的加权图中顶点间最短路径的算法.从图的带权邻接矩阵A=[a(i,j)] n×n开始,递归地进行n次更新,即由矩阵D(0)=A,按 ...

  4. C++编程练习(11)----“图的最短路径问题“(Dijkstra算法、Floyd算法)

    1.Dijkstra算法 求一个顶点到其它所有顶点的最短路径,是一种按路径长度递增的次序产生最短路径的算法. 算法思想: 按路径长度递增次序产生算法: 把顶点集合V分成两组: (1)S:已求出的顶点的 ...

  5. Graph图总结

    将COMP20003中关于Graph的内容进行总结,内容来自COMP20003,中文术语并不准确,以英文为准. Graph G = {V, E} 顶Vertices V: can contain in ...

  6. 【推荐】Data Structure Visualizations

    University of San Francisco    David Galles 功能:可视化数据结构&算法实现过程 网站地址  https://www.cs.usfca.edu/~ga ...

  7. Floyd最短路(带路径输出)

    摘要(以下内容来自百度) Floyd算法又称为插点法,是一种利用动态规划的思想寻找给定的加权图中多源点之间最短路径的算法,与Dijkstra算法类似. 该算法名称以创始人之一.1978年图灵奖获得者. ...

  8. SOAPdenove 使用

    0. 该软件原理 它以kerm为节点单位,利用de Bruijn图的方法实现全基因组的组装.何为de Bruijn............... contig 的构建过程: (1)选取初始Kmer, ...

  9. Floyd算法(弗洛伊德算法) 百度百科

    核心代码 for(int k=1; k<=NODE; ++k)//对于每一个中转点 for(int i=0; i<=NODE; ++i)//枚举源点 for(int j=0; j<= ...

随机推荐

  1. Java多线程--实现同步的9种方法

    我们通常说的保持同步,其实就是对共享资源的保护.在单线程模型中, 我们永远不用担心"多个线程试图同时使用同一个资源的问题", 但是有了并发, 就有可能发生多个线程竞争同一个共享资源 ...

  2. SQL Server链接服务器信息查询

    exec sp_helpserver --查询链接服务器select * from sys.servers --查询链接服务器链接地址

  3. 题解 Yet Another Number Sequence

    题目传送门 Description 给出 \(n,k\) ,求出: \[\sum_{i=1}^{n} f_i·i^k \] 其中 \(f_i\) 表示斐波拉契第 \(i\) 项.\(n\le 10^{ ...

  4. vue.$set实现原理

    上源码: export function set (target: Array<any> | Object, key: any, val: any): any { if (process. ...

  5. VS2019 及 Visual Assist X 安装配置

    Visual Studio 2019 安装 下载 https://visualstudio.microsoft.com/zh-hans/downloads/ 安装 设置 扩大 Solution Con ...

  6. rocketMQ(一)基础环境

    一.安装: http://rocketmq.apache.org/dowloading/releases/ https://www.apache.org/dyn/closer.cgi?path=roc ...

  7. activiti流程图上获取各节点的信息获取

    背景:         由于项目的需要,当用户在查看流程图时,当点击某个流程图片上的节点时,需要提示一些信息,这就需要获取各个节点的信息,此处获取id和name的值.           注意:这个并 ...

  8. Linux入门所必备的Linux命令和C语言基础

    文件和目录(底部有视频资料) cd /home 进入 '/ home' 目录' cd - 返回上一级目录 cd -/- 返回上两级目录 cd 进入个人的主目录 cd ~user1 进入个人的主目录 c ...

  9. stm32电机控制之控制两路直流电机!看完你会了吗

    手头上有一个差分驱动的小车,使用两个直流电机驱动,要实现小车的在给定速度下运动,完成直线行驶,转向,加速,刹车等复杂运动. 使用的电机是12v供电的直流电机,带编码器反馈,这样就可以采用闭环速度控制, ...

  10. 有了 HTTP 协议,为什么还需要 Websocket?

    WebSocket 是一种基于 TCP 连接上进行全双工通信的协议,相对于 HTTP 这种非持久的协议来说,WebSocket 是一个持久化网络通信的协议. 它不仅可以实现客户端请求服务器,同时可以允 ...