点分治总结

处理的问题

点分治一般用来处理树上的路径问题，如统计符合 $(\cdots \cdots )$ 条件的路径数。

对点分治的理解

简单来说，点分治就是对于一棵树中的点进行处理，通过递归再在子树中处理。时间复杂度较优。

算法时间复杂度分析

由于其是类似用分治对一棵树进行分割，所以复杂度在理想条件下为 $O(nlogn)$。但是在特殊构造的图(如退化为一条链的树)上会退化为 $O(n^2)$，所以要用重心来优化为稳定的 $O(nlogn)$。

重心的复杂度证明：
由于重心的性质，其分割的每个子树的大小是不超过 $\frac{n}{2}$ 的，所以总共有不超过 $logn$ 层，由此得证。

例题分析

race

题目大意

给定一棵有边权的树，求权值和等于 $k$ 且边的数量最小的路径。

输入格式

第一行 两个整数 $n$,$k$。

第二到 $n$ 行，每行三个整数 表示一条无向边的两端和权值 (注意点的编号从0开始)。

输出格式

一个整数，表示最小边数量，如果不存在这样的路径，输出-1。

输入样例

4 3
0 1 1
1 2 2
1 3 4

输出样例

2

数据规模与约定

$N\in [1,2\ast 10^5],K\in [1,10^6]$

题目分析

条件+路径，很明显点分治可写。

由于点的编号从0开始，所以输入时可以把所有边都加1，则样例图如下：

不难发现，合法的最短路径为$1\to 2\to 3$，边数(即答案)为2。
其重心为2。

对于树中的每两个点，由一个根(即重心)可分为以下3种情况：

1. 两个点在不同的子树，如1和3分属不同的子树。
2. 两个点中的一个点是重心。
3. 两个点在相同的子树内，这种情况可以通过递归转化为上面两种情况。

所以我们解决的重点在于如何处理1和2两种情况。

我们可以求出当前子树中子节点到根的距离，存入数组q，然后判断其到重心的距离是否为k，若为k则ans++。接着从p数组(代码中有解释)中判断是否有到根的距离为(设当前点为p)k-q[p]的点，若有则更新答案。

AC代码

#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> PII;    //pair的第一维是距离，第二维是途经的点的个数
const int N=2e5+10,M=1e6+10,INF=0x3f3f3f3f;
int n,m;
int tot;
int ans=INF;
int f[M];    //f[i]表示到根节点距离为y的经过的边数的最小值
int ver[N<<1],head[N],Next[N<<1],edge[N<<1];
PII p[N],q[N];    //q数组存当前子树中点到根的距离，q数组存已经遍历过所有点到根的距离
bool vis[N];    //若vis[i]为真则表示i节点已作为重心删除
int read()    //快读
{
   
	int x=0,f=0;char ch=0;