热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

树形动态规划解决树切割问题(CodeForces1118F2)

题目概述:给定一棵带颜色节点的树,目标是找到一种方法,通过删除某些边使得每个连通分量内的节点颜色相同。需要计算出所有可能的合法边集的数量。使用动态规划的方法,特别是树形DP来解决问题。

题目要求:给定一棵树,每个节点都有一个颜色,目标是通过删除某些边,使每个连通分量内的节点颜色相同。任务是计算所有可能的合法边集的数量。


定义 $f[x][0/1]$ 表示在子树 $x$ 中,是否还存在与节点 $x$ 颜色相同的连通部分。其中 $f[x][1]$ 表示存在这样的连通部分,而 $f[x][0]$ 则表示不存在。


对于每种颜色,一旦确定了一个连通块,这个连通块内部就不能再被分割,因此状态转移方程如下:


$$f[x][1] = \prod (f[y][0] + f[y][1]), \quad f[x][0] = 0$$


如果可以分割的部分仅限于不同颜色连通块之间的无色节点,则状态转移方程为:


$$f[x][0] = \prod (f[y][0] + f[y][1]), \quad f[x][1] = \sum\limits_y (f[y][1]\prod\limits_{z \neq y}(f[z][0] + f[z][1]))$$



#include
#include
#include
#include
#include
#include
#include
#include
#define REP(i,a,n) for(int i=a;i<=n;++i)
#define PER(i,a,n) for(int i=n;i>=a;--i)
#define hr putchar(10)
#define pb push_back
#define lc (o<<1)
#define rc (lc|1)
#define mid ((l+r)>>1)
#define ls lc,l,mid
#define rs rc,mid+1,r
#define x first
#define y second
#define io std::ios::sync_with_stdio(false)
#define endl '\n'
using namespace std;
typedef long long ll;
typedef pair pii;
const int P = 998244353, INF = 0x3f3f3f3f;
ll gcd(ll a,ll b) {return b?gcd(b,a%b):a;}
ll qpow(ll a,ll n) {ll r=1%P;for (a%=P;n;a=a*a%P,n>>=1)if(n&1)r=r*a%P;return r;}
ll inv(ll x){return x<=1?1:inv(P%x)*(P-P/x)%P;}

#ifdef ONLINE_JUDGE
const int N = 1e6+10;
#else
const int N = 111;
#endif

int n, k;
vector g[N], q;
int col[N], c[N], cnt[N];
int f[N][2], prod[N];

void dfs(int x, int fa) {
cnt[x] = col[x]>0;
for (int y : g[x]) if (y != fa) {
dfs(y, x);
if (!col[x]) col[x] = col[y];
else if (col[y] && col[x] != col[y]) {
puts("0"), exit(0);
}
cnt[x] += cnt[y];
}
q.clear();
for (int y : g[x]) if (y != fa) q.pb(y);
prod[0] = 1;
int sz = q.size();
REP(i, 0, sz-1) {
int y = q[i];
prod[i+1] = (ll)prod[i] * (f[y][0] + f[y][1]) % P;
}
if (col[x]) f[x][1] = prod[sz];
else {
f[x][0] = prod[sz];
int tmp = 1;
PER(i, 0, sz-1) {
int y = q[i];
f[x][1] = (f[x][1] + (ll)tmp * f[y][1] % P * prod[i] % P) % P;
tmp = (ll)tmp * (f[y][0] + f[y][1]) % P;
}
}
if (c[col[x]] == cnt[x]) cnt[x] = col[x] = 0;
}

int main() {
scanf("%d%d", &n, &k);
REP(i, 1, n) scanf("%d", col + i);
REP(i, 1, n) ++c[col[i]];
REP(i, 2, n) {
int u, v;
scanf("%d%d", &u, &v);
g[u].pb(v), g[v].pb(u);
}
dfs(1, 0);
printf("%d\n", f[1][1]);
}

推荐阅读
  • 题目Link题目学习link1题目学习link2题目学习link3%%%受益匪浅!-----&# ... [详细]
  • 题目描述:给定n个半开区间[a, b),要求使用两个互不重叠的记录器,求最多可以记录多少个区间。解决方案采用贪心算法,通过排序和遍历实现最优解。 ... [详细]
  • UNP 第9章:主机名与地址转换
    本章探讨了用于在主机名和数值地址之间进行转换的函数,如gethostbyname和gethostbyaddr。此外,还介绍了getservbyname和getservbyport函数,用于在服务器名和端口号之间进行转换。 ... [详细]
  • Splay Tree 区间操作优化
    本文详细介绍了使用Splay Tree进行区间操作的实现方法,包括插入、删除、修改、翻转和求和等操作。通过这些操作,可以高效地处理动态序列问题,并且代码实现具有一定的挑战性,有助于编程能力的提升。 ... [详细]
  • Codeforces Round #566 (Div. 2) A~F个人题解
    Dashboard-CodeforcesRound#566(Div.2)-CodeforcesA.FillingShapes题意:给你一个的表格,你 ... [详细]
  • C++: 实现基于类的四面体体积计算
    本文介绍如何使用C++编程语言,通过定义类和方法来计算由四个三维坐标点构成的四面体体积。文中详细解释了四面体体积的数学公式,并提供了两种不同的实现方式。 ... [详细]
  • 本文探讨了 C++ 中普通数组和标准库类型 vector 的初始化方法。普通数组具有固定长度,而 vector 是一种可扩展的容器,允许动态调整大小。文章详细介绍了不同初始化方式及其应用场景,并提供了代码示例以加深理解。 ... [详细]
  • 本实验主要探讨了二叉排序树(BST)的基本操作,包括创建、查找和删除节点。通过具体实例和代码实现,详细介绍了如何使用递归和非递归方法进行关键字查找,并展示了删除特定节点后的树结构变化。 ... [详细]
  • 文件描述符、文件句柄与打开文件之间的关联解析
    本文详细探讨了文件描述符、文件句柄和打开文件之间的关系,通过具体示例解释了它们在操作系统中的作用及其相互影响。 ... [详细]
  • 本文详细探讨了VxWorks操作系统中双向链表和环形缓冲区的实现原理及使用方法,通过具体示例代码加深理解。 ... [详细]
  • Linux设备驱动程序:异步时间操作与调度机制
    本文介绍了Linux内核中的几种异步延迟操作方法,包括内核定时器、tasklet机制和工作队列。这些机制允许在未来的某个时间点执行任务,而无需阻塞当前线程,从而提高系统的响应性和效率。 ... [详细]
  • 探索1000以内的完美数:因数和等于自身
    本文探讨了如何在1000以内找到所有完美数,即一个数的因数(不包括自身)之和等于该数本身。例如,6是一个完美数,因为1 + 2 + 3 = 6。通过编程实现这一过程,可以更好地理解完美数的特性。 ... [详细]
  • 本文详细介绍了如何构建一个高效的UI管理系统,集中处理UI页面的打开、关闭、层级管理和页面跳转等问题。通过UIManager统一管理外部切换逻辑,实现功能逻辑分散化和代码复用,支持多人协作开发。 ... [详细]
  • 本文探讨了如何在给定整数N的情况下,找到两个不同的整数a和b,使得它们的和最大,并且满足特定的数学条件。 ... [详细]
  • 本题通过将每个矩形视为一个节点,根据其相对位置构建拓扑图,并利用深度优先搜索(DFS)或状态压缩动态规划(DP)求解最小涂色次数。本文详细解析了该问题的建模思路与算法实现。 ... [详细]
author-avatar
holy190
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有