Codeforces 161D 树形dp

这篇博客探讨了一种解决树上距离为k的点对计数问题的算法。通过深度优先搜索(DFS)和动态规划相结合的方法,实现了在具有多个子树的情况下,有效地计算树中任意两点间距离为k的点对数量。算法核心在于利用回溯过程中保存的子树信息,避免重复计算并更新答案。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

给一棵树,问树上距离为k的点对有多少个?(u,v)与(v,u)这样的算一种

一开始思考很简单,自然就想到dp,设f[u][k]u结点向下k个位置有多少个结点

转移也很容易想出来:

遍历所有向下能到达的节点v,f[u][k]+=f[v][k-1]

但这只适用与u只有一棵子树,因为这样的话两棵子树间无法计数

画了个有两个子树的样例,加多一个数组g,含义与前面一致,只不过两个分别记录两棵子树。

然后又发现如果一个结点有n棵子树,那么这个方法就不适用了。

正解是,在dfs内,每次回来更新数组必然是完成了一棵子树的统计,而此时f已经保存了之前所有子树的答案,这个时候先拿vfuf计算答案,再用vf更新uf

统计代码

void dfs(int u,int fa)
{
	f[u][0]=1;
	for(int i=head[u];i;i=edge[i].next)
	{
		int v=edge[i].to;
		if(v==fa) continue;
		dfs(v,u);
		for(int j=0;j<=k;j++) ans+=f[u][j]*f[v][k-j-1];
		for(int j=1;j<=k;j++) f[u][j]+=f[v][j-1];
	}
}

比如现在刚统计完v,我们刚回溯还没更新uf时,uf只保存了v_{1},v_{2}两棵子树的点,我们就拿v_{3}f与前两棵子树计算,前两棵子树往下i的点数与v_{3}往下j的点数就是v_{3}为出发点到v_{1},v_{2}的点距离为i+j的点对,因为每一棵子树都是与前面的子树做计算,所以次数不会计算重复。

#include<bits/stdc++.h>
#define ll long long
using namespace std;

ll read()
{
	ll ret=0,base=1;
	char ch=getchar();
	while(!isdigit(ch))
	{
		if(ch=='-') base=-1;
		ch=getchar();
	}
	while(isdigit(ch))
	{
		ret=(ret<<3)+(ret<<1)+ch-48;
		ch=getchar();
	}
	return ret*base;
}

struct way
{
	int to,next;
}edge[200005];
int cnt,head[100005];

void add(int u,int v)
{
	edge[++cnt].to=v;
	edge[cnt].next=head[u];
	head[u]=cnt;
}

void add_(int u,int v){add(u,v);add(v,u);}

int n,k,f[100005][505],ans;

void dfs(int u,int fa)
{
	f[u][0]=1;
	for(int i=head[u];i;i=edge[i].next)
	{
		int v=edge[i].to;
		if(v==fa) continue;
		dfs(v,u);
		for(int j=0;j<=k;j++) ans+=f[u][j]*f[v][k-j-1];
		for(int j=1;j<=k;j++) f[u][j]+=f[v][j-1];
	}
}

int main()
{
	n=read();k=read();
	for(int i=1;i<n;i++) add_(read(),read());
	dfs(1,0);
	cout<<ans;
	return 0;
}

 

引用\[1\]中提到了一种树形动态规划的方法来解决CodeForces - 982C问题。在这个问题中,subtree指的是子连通块,而不是子树。为了使cnt_white - cnt_black尽可能大,可以使用两次树形动态规划来求解。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。如果ans\[u\]为正,则减去dp\[v\]就是树链所代表的子树的权值。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] 问题: CodeForces - 982C 树形DP是什么问题?如何解决? 回答: CodeForces - 982C是一个树形动态规划问题。在这个问题中,需要求解子连通块的最大权值和,使得cnt_white - cnt_black尽可能大。解决这个问题的方法是使用两次树形动态规划。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] #### 引用[.reference_title] - *1* *2* [CodeForces - 1324F Maximum White Subtree(树形dp)](https://blog.youkuaiyun.com/qq_45458915/article/details/104831678)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值