2021牛客多校4 - Rebuild Tree(树形dp)

题目链接：点击查看

题目大意：给出一棵 nnn 个节点的树，现在可以删掉 kkk 条边，然后加上 kkk 条边，问有多少种方案使得操作后 nnn 个点仍然是一棵树

题目分析：原树删掉 kkk 条边后会变成一个具有 k+1k+1k+1 个连通块的森林，设每个连通块的大小依次为 s[1]...s[k+1]s[1]...s[k+1]s[1]...s[k+1]，考虑 prufer 序列，答案就是 nk−1∏i=1ks[i]n^{k-1}\prod\limits_{i=1}^{k} s[i]nk−1i=1∏ks[i]。可以这样理解，如果想要将 k+1k+1k+1 个连通块继续加边直到变成一棵树，那么需要构造一个长度为 k−1k-1k−1 的 prufer 序列，每个位置可以取值 [1,n][1,n][1,n]，这样就将最终树的形态确定下来了，我们还需要确定删除的是哪 kkk 条边，这个可以用每个连通块大小的乘积表示所有情况。

现在问题转换为如何求解 ∏i=1ks[i]\prod\limits_{i=1}^{k} s[i]i=1∏ks[i]，考虑转换为等价问题：删掉 kkk 条边，并且每个连通块内恰好选了一个点的方案数。dp[i][j][0/1]dp[i][j][0/1]dp[i][j][0/1] 代表对于子树 iii，删了 jjj 条边，点 iii 所在的连通块是否已经选择了点的方案数，然后就是树形 dp 了，枚举每条边选择是否删除进行转移

代码：

// Problem: Rebuild Tree
// Contest: NowCoder
// URL: https://ac.nowcoder.com/acm/contest/11255/D
// Memory Limit: 524288 MB
// Time Limit: 2000 ms
//
// Powered by CP Editor (https://cpeditor.org)// #pragma GCC optimize(2)
// #pragma GCC optimize("Ofast","inline","-ffast-math")
// #pragma GCC target("avx,sse2,sse3,sse4,mmx")
#include<iostream>
#include<cstdio>
#include<string>
#include<ctime>
#include<cmath>
#include<cstring>
#include<algorithm>
#include<stack>
#include<climits>
#include<queue>
#include<map>
#include<set>
#include<sstream>
#include<cassert>
#include<bitset>
#define lowbit(x) x&-x
using namespace std;
typedef long long LL;
typedef unsigned long long ull;
template<typename T>
inline void read(T &x)
{T f=1;x=0;char ch=getchar();while(0==isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}while(0!=isdigit(ch)) x=(x<<1)+(x<<3)+ch-'0',ch=getchar();x*=f;
}
template<typename T>
inline void write(T x)
{if(x<0){x=~(x-1);putchar('-');}if(x>9)write(x/10);putchar(x%10+'0');
}
const int inf=0x3f3f3f3f;
const int N=5e4+100;
const int mod=998244353;
int n,k,sz[N];
vector<int>node[N];
LL dp[N][110][2],tmp[110][2];
void dfs(int u,int fa) {sz[u]=1;dp[u][0][0]=dp[u][0][1]=1;//一条边不删只有一种情况for(auto v:node[u]) {if(v==fa) {continue;}dfs(v,u);memset(tmp,0,sizeof(tmp));for(int i=0;i<sz[u]&&i<=k;i++) {//u当前子树中删了多少条边for(int j=0;j<sz[v]&&i+j<=k;j++) {//v子树中删了多少条边//not deletetmp[i+j][0]=(tmp[i+j][0]+dp[u][i][0]*dp[v][j][0])%mod;tmp[i+j][1]=(tmp[i+j][1]+dp[u][i][0]*dp[v][j][1]+dp[u][i][1]*dp[v][j][0])%mod;if(i+j==k) {continue;}//delete (u,v)//因为v的子树是独立的，所以删掉(u,v)后，v的子树中必须已经选择了点才行tmp[i+j+1][0]=(tmp[i+j+1][0]+dp[u][i][0]*dp[v][j][1])%mod;tmp[i+j+1][1]=(tmp[i+j+1][1]+dp[u][i][1]*dp[v][j][1])%mod;}}memcpy(dp[u],tmp,sizeof(tmp));sz[u]+=sz[v];}
}
int main()
{#ifndef ONLINE_JUDGE
//  freopen("data.in.txt","r",stdin);
//  freopen("data.out.txt","w",stdout);
#endif
//  ios::sync_with_stdio(false);read(n),read(k);for(int i=1;i<n;i++) {int u,v;read(u),read(v);node[u].push_back(v);node[v].push_back(u);}dfs(1,-1);LL ans=dp[1][k][1];for(int i=1;i<k;i++) {ans=(ans*n)%mod;}cout<<ans<<endl;return 0;
}

2021牛客多校4 - Rebuild Tree(树形dp)相关推荐

LCS(2021牛客多校4)
LCS(2021牛客多校4) 题意: 让你构造三个字符串s1,s2,s3,长度均为n,要求LCS(s1,s2)=a,LCS(s2,s3)=b,LCS(s1,s3)=c 题解: 先考虑三个串互相LCS为 ...
【2021牛客多校2】F－Girlfriend 计算几何
2021牛客多校2-F F-Girlfriend 题目大意给出四个点 A , B , C , D A, B, C, D A,B,C,D 另有两点 P 1 , P 2 P_1, P_2 P1,P2 ...
K-Stack 2021牛客多校2
链接:https://ac.nowcoder.com/acm/contest/11253/K 来源:牛客网题目描述 ZYT had a magic permutation a1,a2,⋯ ,an a ...
2021牛客多校第八场补题 D-OR
链接:https://ac.nowcoder.com/acm/contest/11259/D 来源:牛客网题目描述 There are two sequences of length n−1n-1n ...
2021牛客多校第五场补题
B-Boxes 链接:https://ac.nowcoder.com/acm/contest/11256/B 来源:牛客网题目描述 There're nn_{}n boxes in front o ...
牛客多校1 - Infinite Tree(虚树+换根dp+树状数组)
题目链接:点击查看题目大意:给出一个无穷个节点的树,对于每个大于 1 的点 i 来说,可以向点 i / minvid[ i ] 连边,这里的 mindiv[ x ] 表示的是 x 的最小质因数,现在 ...
run （牛客多校第二场）计数DP
链接:https://www.nowcoder.com/acm/contest/140/A 来源:牛客网题目描述 White Cloud is exercising in the playgroun ...
2021牛客多校4 - Tree Xor(线段树+异或区间拆分)
题目链接:点击查看题目大意:给出一棵 nnn 个点组成的树,每个点权的取值范围是 [li,ri][l_i,r_i][li,ri],每条边权代表的是两点的异或值,现在问这棵树有多少种有效赋值题目 ...
线段树合并与分裂维护树上最长上升子序列 + 点分治删点 ---- 2021 牛客多校第一场 C - Cut the tree(详解)
题目大意: 给你一个树,树上每个点都有一个权值valnodeval_{node}valnode,路径(u,v)(u,v)(u,v) 上所有点按顺序有序序列,令f(u,v)f(u,v)f(u,v)是这 ...

2021牛客多校4 - Rebuild Tree(树形dp)

2021牛客多校4 - Rebuild Tree(树形dp)相关推荐

最新文章

热门文章