CodeCraft-19 and Codeforces Round #537 (Div. 2) E 虚树 + 树形dp(新坑)
https://codeforces.com/contest/1111/problem/E
题意
一颗有n个点的树,有q个询问,每次从树挑出k个点,问将这k个点分成m组,需要保证在同一组中不存在一个点是另一个点的祖先这种情况,问有多少中分组方案
题解
- 首先解决转移问题,假设一次询问全颗树的分组方案数,定义dp[u][i]为到树节点u,分了i组的方案数,其中num(fa[u])为u的祖先节点个数
- \(dp[u][i]=dp[fa][i]*(i-num(fa[u]))+dp[fa][i-1]\)
- 当前这个点独立分组:\(dp[fa][i-1]->dp[u][i]\)
- 当前这个点加入前面的分组:\(dp[fa][i]*(i-num(fa[u]))->dp[u][i]\)
- 反着扫,滚掉一维
- 然后每次询问一些点,但点询问的总规模数和总点数相同的这种问题可以考虑用虚树解决
代码
#include<bits/stdc++.h>
#define MOD 1000000007
#define MAXN 100005
#define MAXM 305
#define MAXK 100005
#define ll long long
using namespace std;
int n,i,q,u,v,sp[MAXN],dfn[MAXN],dep[MAXN],f[MAXN][40],rt;
ll ans,dp[MAXM];
int k,m,r,ti,S[MAXK];
vector<int>g[MAXN];
vector<int>vt[MAXK];
bool cmp(int x,int y){
return dfn[x]<dfn[y];
}
void dfs1(int u,int fa){
dfn[u]=++ti;
dep[u]=dep[fa]+1;
f[u][0]=fa;
for(int i=1;i<=20;i++)f[u][i]=f[f[u][i-1]][i-1];
for(auto v:g[u])
if(v!=fa)dfs1(v,u);
}
int lca(int u,int v){
if(dep[u]<dep[v])swap(u,v);
int dis=dep[u]-dep[v];
for(int i=20;i>=0;i--)if((dis>>i)&1)u=f[u][i];
if(u==v)return u;
for(int i=20;i>=0;i--){
if(f[u][i]!=f[v][i]){
u=f[u][i];
v=f[v][i];
}
}
return f[u][0];
}
void add_edge(int u,int v){
vt[u].push_back(v);
vt[v].push_back(u);
}
void build_vtree(vector<int>& a){
sort(a.begin(),a.end(),cmp);
a.erase(unique(a.begin(),a.end()),a.end());
int t=0;
S[t++]=a[0];
vector<int>b;b.clear();
for(int i=1;i<a.size();i++){
if(t==0){S[t++]=a[i];continue;}
int l=lca(a[i],S[t-1]);
while(t>1&&dfn[S[t-2]]>=dfn[l]){add_edge(S[t-2],S[t-1]);t--;}
if(l!=S[t-1]){add_edge(S[t-1],l);S[t-1]=l;b.push_back(l);}
S[t++]=a[i];
}
while(t>1){add_edge(S[t-1],S[t-2]);t--;}
for(auto u:b)a.push_back(u);
}
void dfs2(int u,int fa,int cnt){
if(sp[u]){
for(int i=m;i>=1;i--){
if(i>cnt)dp[i]=dp[i]*(i-cnt)%MOD;
else dp[i]=0;
dp[i]=(dp[i]+dp[i-1])%MOD;
}
dp[0]=0;
cnt++;
}
for(int i=0;i<vt[u].size();i++){
int v=vt[u][i];if(v==fa)continue;
dfs2(v,u,cnt);
}
}
int main(){
cin>>n>>q;
for(int i=0;i<n-1;i++){
scanf("%d%d",&u,&v);
g[u].push_back(v);
g[v].push_back(u);
}
dfs1(1,0);
while(q--){
scanf("%d%d%d",&k,&m,&r);
vector<int>nodes;nodes.clear();
for(int i=0;i<k;i++){
scanf("%d",&u);
nodes.push_back(u);
sp[u]=1;
}
nodes.push_back(r);
build_vtree(nodes);
memset(dp,0,sizeof(dp));
dp[0]=1;
dfs2(r,0,0);
ans=0;
for(int i=0;i<=m;i++)ans=(ans+dp[i])%MOD;
printf("%lld\n",ans);
for(auto u:nodes)sp[u]=0;
for(auto u:nodes)vt[u].clear();
}
}
CodeCraft-19 and Codeforces Round #537 (Div. 2) E 虚树 + 树形dp(新坑)的更多相关文章
- Codeforces Round #530 (Div. 2) F 线段树 + 树形dp(自下往上)
https://codeforces.com/contest/1099/problem/F 题意 一颗n个节点的树上,每个点都有\(x[i]\)个饼干,然后在i节点上吃一个饼干的时间是\(t[i]\) ...
- Codeforces Round #536 (Div. 2) F 矩阵快速幂 + bsgs(新坑) + exgcd(新坑) + 欧拉降幂
https://codeforces.com/contest/1106/problem/F 题意 数列公式为\(f_i=(f^{b_1}_{i-1}*f^{b_2}_{i-2}*...*f^{b_k} ...
- Codeforces Round #549 (Div. 2) F 数形结合 + 凸包(新坑)
https://codeforces.com/contest/1143/problem/F 题意 有n条形如\(y=x^2+bx+c\)的抛物线,问有多少条抛物线上方没有其他抛物线的交点 题解 \(y ...
- Codeforces Round #530 (Div. 2)F Cookies (树形dp+线段树)
题:https://codeforces.com/contest/1099/problem/F 题意:给定一个树,每个节点有俩个信息x和t,分别表示这个节点上的饼干个数和先手吃掉这个节点上一个饼干的的 ...
- Codeforces Round #426 (Div. 2) D 线段树优化dp
D. The Bakery time limit per test 2.5 seconds memory limit per test 256 megabytes input standard inp ...
- Codeforces Round #302 (Div. 1) D - Road Improvement 树形dp
D - Road Improvemen 思路:0没有逆元!!!! 不能直接除,要求前缀积和后缀积!!! #include<bits/stdc++.h> #define LL long lo ...
- Codeforces Round #367 (Div. 2) C. Hard problem(DP)
Hard problem 题目链接: http://codeforces.com/contest/706/problem/C Description Vasiliy is fond of solvin ...
- CodeCraft-19 and Codeforces Round #537 Div. 2
D:即有不超过52种物品,求容量为n/2的有序01背包方案数.容易想到设f[i][j]为前i种物品已用容量为j的方案数,有f[i][j]=f[i-1][j-a[i]]*C(n/2-j+a[i],a[i ...
- Codeforces Beta Round #14 (Div. 2) D. Two Paths 树形dp
D. Two Paths 题目连接: http://codeforces.com/contest/14/problem/D Description As you know, Bob's brother ...
随机推荐
- PHP中empty、isset和is_null的具体区别?
1.isset()用来检测一个变量是否已声明; 2.empty()用来检测一个变量是否为空如果有如下情况返回真值: 1)空字符串 2)false 3)空数组 4)NULL 5)0 6)0.0 7)un ...
- Vue组件间的参数传递
1.父组件与子组件传值 父组件传给子组件:子组件通过props方法接受数据: 子组件传给父组件: $emit 方法传递参数 2.非父子组件间的数据传递,兄弟组件传值 eventBus,就是创建一个事件 ...
- python实战博客
2018-10-31 更新Logging日志记录以及异常捕获 感谢廖大教程.Python实战 直接在闲置的服务器上开发.阿里云Centos 6.8 64位. 1 搭建开发环境 Python 环境是Py ...
- Merge Into 语句代替Insert/Update在Oracle中的应用实战
动机: 想在Oracle中用一条SQL语句直接进行Insert/Update的操作. 说明: 在进行SQL语句编写时,我们经常会遇到大量的同时进行Insert/Update的语句 ,也就是说当存在记录 ...
- 去“BAT”这样面试,拿到offer的几率是80%(转)
一.概述面试,难还是不难?取决于面试者的底蕴(气场+技能).心态和认知及沟通技巧.面试其实可以理解为一场聊天和谈判,在这过程中有心理.思想上的碰撞和博弈.其实你只需要搞清楚一个逻辑:“面试官为什么会这 ...
- 6.Python enumerate 特性
enumerate()可参考: list1 = ["这", "是", "一个", "测试"] for index,ite ...
- user story
What is a user story? A user story is a short description of something that your customer will do wh ...
- 查找单链表中倒数第K个位置上的结点,若查找成功返回该节点的data域,若不成功只返回0
算法的基本设计思想:定义两个指针变量p和q 初始时均指向头结点的下一个结点(即链表的第一个结点)p沿链表移动,当p移动到第k个结点时,q指针开始与p指针同时移动,当p指针移动到最后一个结点时,q指针 ...
- properties文件读写工具类
java代码: import java.io.FileInputStream; import java.io.FileOutputStream; import java.io.IOException; ...
- 【Django】HTTP status code must be an integer.
刚刚出现这个问题,还以为是表单提交或者什么网络错误 结果发现是自己的低级错误写了 HttpResponse(request,'sigin_result2.html',context)这个根本不能渲染模 ...