[JZOJ4331] 【清华集训模拟】树
题目
题目大意
给你一棵带点权的树,求将树变成一堆不相交的链,而且这些链的权值和非负的方案数。
正解
显然这道题是个\(DP\)。
首先求个前缀和\(sum\)。
为了后面讲述方便,我这样设:\(f_{i,j}\)表示以\(i\)为根的子树,其中某条链从\(x\)伸出到\(i\)的方案数,而且\(sum_x=j\)。
还有设\(g_i\)表示以\(i\)为根的,没有伸出去的链的方案数。
显然有这样的转移:
f_{y,j}\prod_{i\neq y} g_i\to f_x,j\]
f_{y,j}f_{z,k}\prod_{i\neq y,i\neq z}g_i\to g_x \ (j+k-2sum_x+a_x\geq 0)
\]
如果直接这样搞肯定会爆炸。所以考虑用线段树来维护\(f\)。
由于可能会出现\(g\)值为\(0\)的情况,所以不能直接用逆元来搞。
要维护个前缀积和后缀积。
首先要求出重儿子,把重儿子作为第一个儿子,然后线段树合并之前也启发式合并。
具体来说,我们钦定\(j<k\)。在合并的时候(设前面子树合并出来的线段树为\(A\),这个线段树为\(B\))当前的儿子作为\(k\),遍历\(B\)的所有叶子节点,并在\(A\)中区间询问。这时候记得要乘上后缀积。将询问出来的东西加在\(g_x\)中。
然后两个合并在一起。记得在合并之前,整个\(A\)乘子树的\(g_x\),整个\(B\)乘前缀积
。搞完这个再合并。
最后你就会愉快地发现,所有子树合并之后就是上面第二行式子。这样只需要把第一行的加进去。第四行的式子已经计算完了,只需要再加上第一个式子就可以了。
然而这不是题解的做法,作为一个小蒟蒻,表示看不懂题解……
代码
using namespace std;
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cassert>
#define N 100010
#define INF 1000000000
#define mo 1000000007
int n;
int a[N];
struct EDGE{
int to;
EDGE *las;
} e[N*2];
int ne;
EDGE *last[N];
struct Node *null;
struct Node{
Node *l,*r;
int sum,tag;
inline void get_tag(int c){sum=(long long)sum*c%mo;tag=(long long)tag*c%mo;}
inline void pushdown(){
if (tag!=1){
l->get_tag(tag);
r->get_tag(tag);
tag=1;
}
}
inline void update(){sum=l->sum+r->sum;sum>=mo?sum-=mo:0;}
} d[N*40];
int cnt;
Node *rt[N];
inline Node *newnode(){return &(d[++cnt]={null,null,0,1});}
void add(Node *&t,int l,int r,int x,int c){
if (t==null)
t=newnode();
if (l==r){
(t->sum+=c)%=mo;
return;
}
t->pushdown();
int mid=l+r>>1;
if (x<=mid)
add(t->l,l,mid,x,c);
else
add(t->r,mid+1,r,x,c);
t->update();
}
int query(Node *t,int l,int r,int st,int en){
if (t==null)
return 0;
if (st<=l && r<=en)
return t->sum;
t->pushdown();
int mid=l+r>>1,res=0;
if (st<=mid)
res+=query(t->l,l,mid,st,en);
if (mid<en)
res+=query(t->r,mid+1,r,st,en);
return res>=mo?res-mo:res;
}
Node *merge(Node *a,Node *b){
if (a==null)
return b;
if (b==null)
return a;
a->pushdown(),b->pushdown();
a->l=merge(a->l,b->l);
a->r=merge(a->r,b->r);
a->sum+=b->sum;
a->sum>=mo?a->sum-=mo:0;
return a;
}
int calc(Node *t,int l,int r,Node *rt,int bor){
if (t==null)
return 0;
if (l==r)
return (long long)query(rt,-INF,INF,bor-l,INF)*t->sum%mo;
t->pushdown();
int mid=l+r>>1,res=0;
res+=calc(t->l,l,mid,rt,bor);
res+=calc(t->r,mid+1,r,rt,bor);
return res>=mo?res-mo:res;
}
int fa[N],sum[N],siz[N],hs[N];
int son[N],ns,pre[N],suc[N];
int g[N];
void dp(int x){
sum[x]=sum[fa[x]]+a[x];
siz[x]=1;
for (EDGE *ei=last[x];ei;ei=ei->las)
if (ei->to!=fa[x]){
fa[ei->to]=x;
dp(ei->to);
siz[x]+=siz[ei->to];
if (siz[ei->to]>siz[hs[x]])
hs[x]=ei->to;
}
if (!hs[x]){
rt[x]=newnode();
add(rt[x],-INF,INF,sum[x],1);
g[x]=(a[x]>=0);
return;
}
son[ns=1]=hs[x];
pre[0]=1,pre[1]=g[hs[x]];
for (EDGE *ei=last[x];ei;ei=ei->las)
if (ei->to!=fa[x] && ei->to!=hs[x]){
son[++ns]=ei->to;
pre[ns]=(long long)pre[ns-1]*g[ei->to]%mo;
}
suc[ns+1]=1;
for (int i=ns;i>=1;--i)
suc[i]=(long long)suc[i+1]*g[son[i]]%mo;
rt[x]=rt[hs[x]];
for (int i=2;i<=ns;++i){
g[x]=(g[x]+(long long)calc(rt[son[i]],-INF,INF,rt[x],sum[fa[x]]*2+a[x])*suc[i+1])%mo;
rt[son[i]]->get_tag(pre[i-1]);
rt[x]->get_tag(g[son[i]]);
rt[x]=merge(rt[x],rt[son[i]]);
}
add(rt[x],-INF,INF,sum[x],pre[ns]);
g[x]+=query(rt[x],-INF,INF,sum[fa[x]],INF);
g[x]>=mo?g[x]-=mo:0;
}
int main(){
freopen("tree.in","r",stdin);
freopen("tree.out","w",stdout);
scanf("%d",&n);
for (int i=1;i<=n;++i)
scanf("%d",&a[i]);
for (int i=1;i<n;++i){
int u,v;
scanf("%d%d",&u,&v);
e[ne]={v,last[u]};
last[u]=e+ne++;
e[ne]={u,last[v]};
last[v]=e+ne++;
}
null=d;
*null={null,null,0,0};
dp(n>>1);
printf("%d\n",g[n>>1]);
return 0;
}
总结
好多树形DP都可以用线段树合并来优化啊……
[JZOJ4331] 【清华集训模拟】树的更多相关文章
- 洛谷P4247 序列操作 [清华集训] 线段树
正解:线段树 解题报告: 传送门! 通过这题我get了一个神奇的,叫,线段树五问的东西hhhh 听起来有点中二但感觉真正做题的时候还是比较有用的,,,?感觉会让条理清晰很多呢,所以放一下QwQ →每个 ...
- [JZOJ4330] 【清华集训模拟】几何题
题目 题目大意 也懒得解释题目大意了-- 正解 正解居然是\(FFT\)? 不要看题目的那个式子这么长,也不要在那个式子上下手. 其实我们会发现,不同的\((x_i-x_j,y_i-y_j,z_i-z ...
- 【题解】P4247 [清华集训]序列操作(线段树修改DP)
[题解]P4247 [清华集训]序列操作(线段树修改DP) 一道神仙数据结构(DP)题. 题目大意 给定你一个序列,会区间加和区间变相反数,要你支持查询一段区间内任意选择\(c\)个数乘起来的和.对1 ...
- Loj 2320.「清华集训 2017」生成树计数
Loj 2320.「清华集训 2017」生成树计数 题目描述 在一个 \(s\) 个点的图中,存在 \(s-n\) 条边,使图中形成了 \(n\) 个连通块,第 \(i\) 个连通块中有 \(a_i\ ...
- 「清华集训2015」V
「清华集训2015」V 题目大意: 你有一个序列,你需要支持区间加一个数并对 \(0\) 取 \(\max\),区间赋值,查询单点的值以及单点历史最大值. 解题思路: 观察发现,每一种修改操作都可以用 ...
- [LOJ#2330]「清华集训 2017」榕树之心
[LOJ#2330]「清华集训 2017」榕树之心 试题描述 深秋.冷风吹散了最后一丝夏日的暑气,也吹落了榕树脚下灌木丛的叶子.相识数年的Evan和Lyra再次回到了小时候见面的茂盛榕树之下.小溪依旧 ...
- [LOJ#2324]「清华集训 2017」小Y和二叉树
[LOJ#2324]「清华集训 2017」小Y和二叉树 试题描述 小Y是一个心灵手巧的OIer,她有许多二叉树模型. 小Y的二叉树模型中,每个结点都具有一个编号,小Y把她最喜欢的一个二叉树模型挂在了墙 ...
- [LOJ#2323]「清华集训 2017」小Y和地铁
[LOJ#2323]「清华集训 2017」小Y和地铁 试题描述 小Y是一个爱好旅行的OIer.一天,她来到了一个新的城市.由于不熟悉那里的交通系统,她选择了坐地铁. 她发现每条地铁线路可以看成平面上的 ...
- uoj266[清华集训2016]Alice和Bob又在玩游戏(SG函数)
uoj266[清华集训2016]Alice和Bob又在玩游戏(SG函数) uoj 题解时间 考虑如何求出每棵树(子树)的 $ SG $ . 众所周知一个状态的 $ SG $ 是其后继的 $ mex $ ...
随机推荐
- 用Cython加速Python代码
安装Cython pip install Cython 如何使用 要在我们的笔记本中使用Cython,我们将使用IPython magic命令.Magic命令以百分号开始,并提供一些额外的功能,这些功 ...
- 一、微服务概述与SpringCloud
一.微服务概述与SpringCloud 1.微服务与微服务架构 微服务强调的是服务的大小,它关注的是某一个点,是具体解决某一个问题/提供落地对应服务的一个服务应用,狭意的看,可以看作Eclipse里面 ...
- 让微信小程序页面之间的通信不在变得困难
一个开始 小程序开发者总会碰到各种页面之间的通信问题,实现方式也五花八门,比如... 场景还原 首先这是一个电商小程序. 有这样一个需求: 首页某个地方要展示购物车商品数量. 当我在其他页面加购了商品 ...
- 解决 Onenote 默认全角输入的一种解决办法(输入法已经设置为默认半角)
环境说明:Windows 7 x64 Ultimate SP1, QQ 拼音输入法 6.1(5306),Onenote 2016 x64 问题描述:每次打开Onenote,在输入法已经设置为默认半角的 ...
- js求三个数的最大值运算
js代码: <script> // var num1 = 32, // num2 = 43, // num3 = 98; // if (num1 > num2) { // if (n ...
- java----int,string 转化为long
String: 1.返回Long包装类型: String str = "aaa"; long l = Long.parseLong([str]); 2.返回long基本数据类型: ...
- is与==的区别
is:比较两边的内存地址是否一样 ==:比较两边的数据值是否一样 list1 = [1, 2] list2 = [1, 2] if list1 == list2: # == 是比较数据 print(' ...
- 《DNS攻击防范科普系列2》 -DNS服务器怎么防DDoS攻击
在上个系列<你的DNS服务真的安全么?>里我们介绍了DNS服务器常见的攻击场景,看完后,你是否对ddos攻击忧心重重?本节我们来告诉你,怎么破局!! 首先回顾一下DDoS攻击的原理.DDo ...
- php的字符串{}选定与{变量}
$str = "abcdefg"; echo $str{2};//输出c $a = "test"; echo "ddd{$a}";//输出d ...
- 线性筛积性函数+反演T套路——bzoj4407
#include<bits/stdc++.h> using namespace std; #define ll long long #define mod 1000000007 #defi ...