Codeforces Round #630 (Div. 2) F. Independent Set 树形dp

传送门

文章目录

  • 题意:
  • 思路:

题意:

给你一棵树,求这棵树的边导出子图中独立集的数量和,独立集大小可以为000

思路:

先考虑普通的独立集数量怎么求,无非就是分情况讨论一下选根还是不选根,而这个题多了一个边导出子图的条件,那么无非就是多了一个选择,那就是切掉根与其儿子的边,所以直接考虑类似的dpdpdp多加一个切边的操作就好啦。
定义f[i][j]f[i][j]f[i][j]表示到以iii为根的子树,状态为jjj的时候的独立集个数。
f[i][0]f[i][0]f[i][0]表示iii可以选也可以不选,并且iii与其父亲节点之间的边不选。
f[i][1]f[i][1]f[i][1]表示选iii这个点,并且iii与其父亲之间有边。
f[i][2]f[i][2]f[i][2]表示不选iii这个点,并且iii与其父亲之间有边。
这个题主要是难在状态的设计上,我们设计出状态来转移就比较好想了。
(1)j=1(1)j=1(1)j=1时,由于选了iii这个点,所以要不就断掉iii与他儿子的边,要不就加上与他儿子的边并且不选他儿子。f[i][1]=∏(f[j][0]+f[j][2])f[i][1]=\prod (f[j][0]+f[j][2])f[i][1]=(f[j][0]+f[j][2])
(2)j=2(2)j=2(2)j=2时,由于没选iii这个点,那么他与儿子之间的关系随意。f[i][2]=∏(f[j][0]+f[j][1]+f[j][2])f[i][2]=\prod (f[j][0]+f[j][1]+f[j][2])f[i][2]=(f[j][0]+f[j][1]+f[j][2])
(3)j=3(3)j=3(3)j=3时,显然f[i][0]=f[i][1]+f[i][2]f[i][0]=f[i][1]+f[i][2]f[i][0]=f[i][1]+f[i][2],但是这样就行了吗?要知道f[i][1]+f[i][2]f[i][1]+f[i][2]f[i][1]+f[i][2]是包含了与iii的儿子之间的边都不选的情况,我们现在与iii的父亲之间的边也不选了,那么iii这个点不就被孤立了吗?但是边导出子图是肯定不能有孤立的点的,所以我们要减去∏f[j][0]\prod f[j][0]f[j][0]f[i][0]=f[i][1]+f[i][2]−∏f[j][0]f[i][0]=f[i][1]+f[i][2]-\prod f[j][0]f[i][0]=f[i][1]+f[i][2]f[j][0]
最终的答案即为f[1][0]−1f[1][0]-1f[1][0]1,因为不能选的边集为空集。

// Problem: F. Independent Set
// Contest: Codeforces - Codeforces Round #630 (Div. 2)
// URL: https://codeforces.com/contest/1332/problem/F
// Memory Limit: 512 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid (tr[u].l+tr[u].r>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=998244353,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
vector<int>v[N];
LL f[N][3];
// 0 选不选都行 但是与父亲之间没边
// 1 选这个点 但是与父亲之间有边
// 2 不选这个点 但是与父亲之间有边void dfs(int u,int fa) {LL fun=1;for(auto x:v[u]) {if(x==fa) continue;dfs(x,u);(f[u][1]*=(f[x][0]+f[x][2])%mod)%=mod;(f[u][2]*=(f[x][0]+f[x][1]+f[x][2])%mod)%=mod;(fun*=f[x][0])%=mod;}f[u][0]=((f[u][1]+f[u][2]-fun)%mod+mod)%mod;//由于如果他的到叶子的边都不选的而且u选的话,那么就是一个孤立的点了,这是不允许的
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);scanf("%d",&n);for(int i=1;i<=n-1;i++) {int a,b; scanf("%d%d",&a,&b);v[a].pb(b); v[b].pb(a);}for(int i=1;i<=n;i++) f[i][1]=f[i][2]=1;dfs(1,0);printf("%lld\n",((f[1][0]-1)%mod+mod)%mod);//减去空集的情况return 0;
}
/**/

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315157.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

CSP赛前总结

1.由奥卡姆剃刀定律&#xff0c;通过各种特判和大量无根据猜测得到的解法不可能正确。 比赛的题目解法可能复杂&#xff0c;但绝不会繁琐。 2.由幸存者偏差&#xff0c;在写题时往往会参考样例&#xff0c;这样样例以外的情况可能会导致bug。 不要相信样例&#xff0c;大样例…

正确使用AES对称加密

正确使用AES对称加密经常我看到项目中有人使用了对称加密算法&#xff0c;用来加密客户或项目传输中的部分数据。但我注意到开发 人员由于不熟悉原理&#xff0c;或者简单复制网上的代码示例&#xff0c;有导致代码存在安全风险。我经常遇到的问题&#xff0c;有如下&#xff1…

Codeforces Round #709 (Div. 1) C. Skyline Photo dp + 单调栈优化

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 首先一个非常明显的dpdpdp式子就是f[i]max(f[j]val(j1,i))f[i]max(f[j]val(j1,i))f[i]max(f[j]val(j1,i))&#xff0c;其中val(j1,i)val(j1,i)val(j1,i)是[j1,i][j1,i][j1,i]中高度最小的美…

CSP2019游记

Day -不知道多少 第一轮 题出得挺好&#xff0c;终于没有鬼畜的CCF赞歌了 考得还行 Day -1 复习了Tarjan并伪证了一遍&#xff0c;然后颓废了 安利E17大失败 放了几十个满贯 给某同学科普了一些不好的东西&#xff0c;现在他好像自闭了 我谢罪 Day 0 继续肝Tarjan然后…

「数据分析」Sqlserver中的窗口函数的精彩应用之数据差距与数据岛(含答案)...

上一篇介绍过数据差距与数据岛的背景&#xff0c;这里不再赘述&#xff0c;请翻阅上一文。此篇在Sqlserver上给大家演示1000万条记录的计算性能。测试电脑软硬件说明一般般的笔记本电脑&#xff0c;2017年7月&#xff0c;价格&#xff1a;4500。电脑配置数据构造1000万行数据&a…

Codeforces Round #631 (Div. 2) C. Dreamoon Likes Coloring 构造

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 针灸思维不行&#xff0c;数据结构来凑呗。 一开始做的时候想简单了&#xff0c;一直wawawa&#xff0c;后来想到了hackhackhack样例&#xff0c;开始换思路构造&#xff0c;结果死活想不到…

用象棋的思维趣说IT人的职业发展和钱途

最近我花了不少功夫在学习象棋&#xff0c;也学习了王天一等高手的棋路&#xff0c;感觉IT人的职业和下棋一样&#xff0c;往好了讲&#xff0c;争主动权争实惠只争朝夕&#xff0c;往坏了讲&#xff0c;一步走错得用多步来弥补&#xff0c;如果错误太大未必能弥补回来。在本文…

【康复训练】[国家集训队] calc【dp】【拉格朗日插值】

传送门 显然可以dp 显然可以假设单调增&#xff0c;答案乘个阶乘即可 设f(i,j)f(i,j)f(i,j)表示前iii个不超过jjj的答案 f(i,j)f(i,j−1)jf(i−1,j−1)f(i,j)f(i,j-1)jf(i-1,j-1)f(i,j)f(i,j−1)jf(i−1,j−1) 注意边界是f(0,i)1!f(0,i)1!f(0,i)1! 注意边界是f(0,i)1!!f(0…

Codeforces Round #631 (Div. 2) D. Dreamoon Likes Sequences 思维 + 组合数学

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你d,modd,modd,mod&#xff0c;让你求能构造出如下序列aaa的个数模modmodmod&#xff1a; 思路&#xff1a; 首先可以发现aaa的长度不能超过log2dlog_2dlog2​d&#xff0c;因为如果存在两个aaa的二进制…

基于 Roslyn 实现动态编译

基于 Roslyn 实现动态编译Intro之前做的一个数据库小工具可以支持根据 Model 代码文件生成创建表的 sql 语句&#xff0c;原来是基于 CodeDom 实现的&#xff0c;最近改成使用基于 Roslyn 去做了。实现的原理在于编译选择的Model 文件生成一个程序集&#xff0c;再从这个程序集…

【NOI2013】向量内积【随机化】

传送门 题意&#xff1a;给nnn个ddd维向量&#xff0c;询问是否有两个向量内积&#xff08;对应位乘积和&#xff09;为kkk的倍数 n≤100000,d≤100,k2,3n \leq100000,d\leq100,k2,3n≤100000,d≤100,k2,3 考虑每个向量能否与之前的某一个匹配 如果我们找到某一个与之前的可…

Codeforces Round #212 (Div. 2) C. Insertion Sort 思维

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; n≤5000n\le5000n≤5000 思路&#xff1a; 从dpdpdp题集中看到的&#xff0c;一看n≤5000n\le5000n≤5000&#xff0c;这不就乱搞就行了&#xff0c;哪有什么dpdpdp&#x1f986;。 看到冒泡排序&#xff0…

[Abp vNext 源码分析] - 4. 工作单元

一、简要说明统一工作单元是一个比较重要的基础设施组件&#xff0c;它负责管理整个业务流程当中涉及到的数据库事务&#xff0c;一旦某个环节出现异常自动进行回滚处理。在 ABP vNext 框架当中&#xff0c;工作单元被独立出来作为一个单独的模块(Volo.Abp.Uow)。你可以根据自己…

OI训练记录

2019/12/25 Linux下VS code安装、emacs基础配置、gdb简单使用 NOI2013 向量内积 构造一个貌似随便找到但复杂度不允许的方案&#xff0c;可以考虑弱化条件后随机化 NOI2013 树的计数 2019/12/26 NOI2013 矩阵游戏(无blog) 矩阵幂不满足费马小定理&#xff0c;需要推导通…

Codeforces Round #462 (Div. 2) C. A Twisty Movement dp + 思维转换

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个长度为nnn的只包含1,21,21,2的序列aaa&#xff0c;你可以至多翻转一段区间&#xff0c;求翻转之后最长非递减子序列是多长。 思路&#xff1a; 考虑如果翻转的话&#xff0c;翻转的子区间肯定是22…

使用 Cake 推送 NuGet 包到 AzureDevops 的 Artifacts 上

大家好&#xff0c;我最近在想如何提交代码的时候自动的打包 NuGet 然后发布到 AzureDevOps 中的 Artifacts&#xff0c;在这个过程中踩了很多坑&#xff0c;也走了很多弯路&#xff0c;所以这次篇文章就是将我探索的结果和我遇到的一些问题整理分享给大家。我的上一篇关于 CI/…

【NOI2013】树的计数【树的遍历】【期望】

传送门 题意&#xff1a;给定一棵nnn个点的树的DFS和BFS序&#xff0c;求树高期望。 n≤2e5n \leq 2e5n≤2e5 首先根据BFS序将树点分层&#xff0c;一定切记先自己把树点分层&#xff0c;这样实际上是在排除一部分情况。 将每一层第一个点打标记&#xff0c;答案就是期望标记…

Codeforces Round #632 (Div. 2) C. Eugene and an array 思维 + 前缀和

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给定一个长度为nnn的序列aaa&#xff0c;定义一段区间为好区间是这段区间的所有连续子区间的和都不为000&#xff0c;求好区间的个数。 思路&#xff1a; 套路题&#xff0c;定义aia_iai​的前缀和bi∑j1i…

C++中vector返回值的最高效返回

返回值优化&#xff08;RVO&#xff09; std::vector<int> get_vector() {std::vector<int> v {1, 2, 3, 4, 5};return v; // 依赖编译器进行返回值优化&#xff0c;消除多余的拷贝 }虽然看起来像是在返回一个局部变量&#xff08;通常会引发拷贝或者移动&…

了解Kubernetes主体架构(二十八)

前言 Kubernetes的教程一直在编写&#xff0c;目前已经初步完成了以下内容&#xff1a;1&#xff09;基础理论2&#xff09;使用Minikube部署本地Kubernetes集群3&#xff09;使用Kubeadm创建集群接下来还会逐步完善本教程&#xff0c;比如Helm、ELK、Windows Serv…