以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. 11.4.2 LVS—NAT

    Virtual Server via NAT(VS-NAT) 用地址翻译实现虚拟服务器。地址转换器有能被外界访问到的合法IP地址,它修改来自专有网络的流出包的地址。外界看起来包是来自地址转换器本身,, ...

  2. Docker-初见

    目录 Docker概述 Docker历史 Docker Docker的基本组成 Docker安装 使用流程 底层原理 Docker的常用命令 Portainer 可视化面板安装 镜像原理之联合文件系统 ...

  3. CAM对象样式表

    CAM对象样式表 121 160 UF_machining_task_type UF_mach_order_task_subtype 112 UF_machining_null_grp_type 无 ...

  4. 兜底机制——leader到底做了什么?

    Case 在之前一次年底考评的时候,有一位leader将一个案例同时用到了自己和下属身上,老板发出了责问: 这个项目到底你是负责人,还是你下面的同学是负责人,如果下面的同学是负责人,为什么要算到你的头 ...

  5. Flink Yarn的2种任务提交方式

    Flink Yarn的2种任务提交方式 Pre-Job模式介绍 每次使用flink run运行任务的时候,Yarn都会重新申请Flink集群资源(JobManager和TaskManager),任务执 ...

  6. 基于Apache Hudi 的CDC数据入湖

    作者:李少锋 文章目录: 一.CDC背景介绍 二.CDC数据入湖 三.Hudi核心设计 四.Hudi未来规划 1. CDC背景介绍 首先我们介绍什么是CDC?CDC的全称是Change data Ca ...

  7. 混合开发框架Flutter

    Flutter开发简介与其他的混合开发的对比 为什么要使用Flutter? 跨平台技术简介 Hybrid技术简介 QT简介 Flutter简介 为什么要使用Flutter? Flutter有什么优势? ...

  8. js_数据类型转换

    转整数----parseInt(string,radix) 1)类似于从左往右匹配数字,直到匹配到非数字结束,并返回匹配到的数字.同parseFloat(). parseInt("123&q ...

  9. STM32串口通信配置(USART1+USART2+USART3+UART4) (转)

    一.串口一的配置(初始化+中断配置+中断接收函数) 1 /*====================================================================== ...

  10. Spring Cache 带你飞(一)

    Spring 3.1 版本引入基于 annotation 的 cache 技术,提供了一套抽象的缓存实现方案,通过注解方式使用缓存,基于配置的方式灵活使用不同缓存组件.代码具有相当的灵活性和扩展性,本 ...