首先理解模板
一.概念
是处理树上路径的一个极好的方法。如果你需要大规模的处理一些树上路径的问题时,点分治是一个离线的方法
一般而言 对于一棵树 我们能选取一个点 将其分割为几个棵子树 如果想要dfs每次进行的少 我们最好就要找到数得重心 这样深度就变为了 log2(n)
int siz[maxn],SIZ,dp[maxn],root; // 这里部分是之后用的
bool use[maxn];
void get_root(int u,int fa){
dp[u]=0,siz[u]=1;
for (int i=head[u];i;i=nxt[i]) {
int v=to[i];
if (v==fa||use[v]) continue;
get_root(v,u);
dp[u]=max(dp[u],siz[v]);
siz[u]+=siz[v];
}
dp[u]=max(dp[u],SIZ-siz[u]);
if (dp[u]<dp[root]) root=u;
}
分治代码
dfs 处理出子树到跟的距离 然后存到d里面
然后答案计数
get_ans(x,0,1); 这一句的作用是将答案加上经过x的路径答案。 而这一个0是为了解决掉一些,有重复计算的结果;(看不懂先假装没有这个0)
get_ans(v.to,edges[i].cost,-1); 这一句是将在既经过x这个点,又经过v.to这一个点的路径来去重。因为像这种路径会在get_ans(x,0)和get_ans(v.to,0)中都计算一次。所以在减一次
S = size[v.to]; 现在我们要分治v.to的这一颗子树,又将求重心的树的大小改为size[v.to];
void solve(int u) {
get_ans(u,0,1);
use[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(use[v]) continue;
get_ans(v,dis[i],-1);
root=0,SIZ=siz[v],dp[0]=n;
get_root(v,u);
solve(root);
}
}
图例
把树分成2部分后 我们找的是路过root的点相对距离长度 但是会有一种情况 我们必须剪掉 她是不合法的
路过根节点 但是在同一个子树中 显然我们加多了
给定一棵有n个点的树
询问树上距离为k的点对是否存在。
这代码实际上是N^2的 之后又更低复杂度的 在下2题
#include <bits/stdc++.h>
#define fastio ios::sync_with_stdio(false);cin.tie(0)
//#define int long long
using namespace std;
typedef long long ll;
const long long INF = 0x3f3f3f3f3f3f3f3f;
const long long mod = 1e8;
const int maxn = 4e4+5;
int n,m,k;
int cnt,head[maxn];
int to[maxn<<1],nxt[maxn<<1],dis[maxn<<1];
void ade(int a,int b,int c) {
to[++cnt]=b;
nxt[cnt]=head[a];
dis[cnt]=c;
head[a]=cnt;
}
int siz[maxn],SIZ,dp[maxn],root;
bool use[maxn];
void get_root(int u,int fa){
dp[u]=0,siz[u]=1;
for (int i=head[u];i;i=nxt[i]) {
int v=to[i];
if (v==fa||use[v]) continue;
get_root(v,u);
dp[u]=max(dp[u],siz[v]);
siz[u]+=siz[v];
}
dp[u]=max(dp[u],SIZ-siz[u]);
if (dp[u]<dp[root]) root=u;
}
int d[maxn],tail;
void get_dist(int u,int fa,int len) {
d[++tail]=len;
siz[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(v==fa||use[v]) continue ;
get_dist(v,u,len+dis[i]);
siz[u]+=siz[v];
}
}
int ans[int(1e6)+5];
void get_ans(int u,int len,int w) {
d[tail=0]=0;
get_dist(u,0,len);
int l=1,r=tail,res=0;
for(int i=1;i<=tail;i++)
for(int j=1;j<=tail;j++)
if(i!=j) ans[d[i]+d[j]]+=w;
}
void solve(int u) {
get_ans(u,0,1);
use[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(use[v]) continue;
get_ans(v,dis[i],-1);
root=0,SIZ=siz[v],dp[0]=n;
get_root(v,u);
solve(root);
}
}
signed main() {
fastio;
cin>>n>>m;
for(int i=1; i<n; i++) {
int a,b,c;
cin>>a>>b>>c;
ade(a,b,c),ade(b,a,c);
}
dp[0]=SIZ=n,root=0;
get_root(1,0);
solve(root);
while(m--){
cin>>k;
if(ans[k]) cout<<"AYE"<<endl;
else cout<<"NAY"<<endl;
}
return 0;
}
CF161D Distance in Tree
输入点数为N一棵树
求树上长度恰好为K的路径个数
这里用二分 压复杂度 k-一个子树到根节点距离 在另一个子树查 存在这个数据对于 就是一对点
#include <bits/stdc++.h>
#define fastio ios::sync_with_stdio(false);cin.tie(0)
#define int long long
using namespace std;
typedef long long ll;
const long long INF = 0x3f3f3f3f3f3f3f3f;
const long long mod = 1e8;
const int maxn = 5e4+5;
int n,m,k;
int cnt,head[maxn];
int to[maxn<<1],nxt[maxn<<1],dis[maxn<<1];
void ade(int a,int b,int c) {
to[++cnt]=b;
nxt[cnt]=head[a];
dis[cnt]=c;
head[a]=cnt;
}
int siz[maxn],SIZ,dp[maxn],root;
bool use[maxn];
void get_root(int u,int fa) {
dp[u]=0,siz[u]=1;
for (int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if (v==fa||use[v]) continue;
get_root(v,u);
dp[u]=max(dp[u],siz[v]);
siz[u]+=siz[v];
}
dp[u]=max(dp[u],SIZ-siz[u]);
if (dp[u]<dp[root]) root=u;
}
int d[maxn],tail;
void get_dist(int u,int fa,int len) {
d[++tail]=len;
siz[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(v==fa||use[v]) continue ;
get_dist(v,u,len+dis[i]);
siz[u]+=siz[v];
}
}
int ans;
void get_ans(int u,int len,int w) {
d[tail=0]=0;
get_dist(u,0,len);
sort(d+1,d+1+tail);
for (int i=1; i<=tail; i++) {
int t1=lower_bound(d+1,d+1+tail,k-d[i])-d;
int t2=upper_bound(d+1,d+1+tail,k-d[i])-d-1;
if (t2<t1) continue;
if (t1==0) continue;
if ((d[t1]!=k-d[i])) continue;
ans+=(w)*(t2-t1+1);
if (i>=t1&&i<=t2) ans-=w;
}
}
void solve(int u) {
get_ans(u,0,1);
use[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(use[v]) continue;
get_ans(v,dis[i],-1);
root=0,SIZ=siz[v],dp[0]=n;
get_root(v,u);
solve(root);
}
}
signed main() {
fastio;
cin>>n>>k;
for(int i=1; i<n; i++) {
int a,b,c;
cin>>a>>b;
ade(a,b,1),ade(b,a,1);
}
dp[0]=SIZ=n,root=0;
get_root(1,0);
solve(root);
cout<<(ans>>1)<<endl;
return 0;
}
Tree POJ - 3237
给你一棵TREE,以及这棵树上边的距离.问有多少对点它们两者间的距离小于等于K
#include <bits/stdc++.h>
#define fastio ios::sync_with_stdio(false);cin.tie(0)
//#define int long long
using namespace std;
typedef long long ll;
const long long INF = 0x3f3f3f3f3f3f3f3f;
const long long mod = 1e8;
const int maxn = 4e4+5;
int n,m,k,ans;
int cnt,head[maxn];
int to[maxn<<1],nxt[maxn<<1],dis[maxn<<1];
void ade(int a,int b,int c) {
to[++cnt]=b;
nxt[cnt]=head[a];
dis[cnt]=c;
head[a]=cnt;
}
int siz[maxn],SIZ,dp[maxn],root;
bool use[maxn];
void get_root(int u,int fa){
dp[u]=0,siz[u]=1;
for (int i=head[u];i;i=nxt[i]) {
int v=to[i];
if (v==fa||use[v]) continue;
get_root(v,u);
dp[u]=max(dp[u],siz[v]);
siz[u]+=siz[v];
}
dp[u]=max(dp[u],SIZ-siz[u]);
if (dp[u]<dp[root]) root=u;
}
int d[maxn],tail;
void get_dist(int u,int fa,int len) {
d[++tail]=len;
siz[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(v==fa||use[v]) continue ;
get_dist(v,u,len+dis[i]);
siz[u]+=siz[v];
}
}
int get_ans(int u,int len) {
d[tail=0]=0;
get_dist(u,0,len);
sort(d+1,d+1+tail);
int l=1,r=tail,res=0;
while(l<=r) {
if(d[l]+d[r]<=k) res+=r-l,l++;
else r--;
}
return res;
}
void solve(int u) {
ans+=get_ans(u,0);
use[u]=1;
for(int i=head[u]; i; i=nxt[i]) {
int v=to[i];
if(use[v]) continue;
ans-=get_ans(v,dis[i]);
root=0,SIZ=siz[v],dp[0]=n;
get_root(v,u);
solve(root);
}
}
signed main() {
fastio;
cin>>n;
for(int i=1; i<n; i++) {
int a,b,c;
cin>>a>>b>>c;
ade(a,b,c),ade(b,a,c);
}
cin>>k;
dp[0]=SIZ=n,root=0;
get_root(1,0);
solve(root);
cout<<ans<<endl;
return 0;
}