洛谷P5206/loj2983 [WC2019]数树

最新推荐文章于 2021-11-08 15:02:29 发布
最新推荐文章于 2021-11-08 15:02:29 发布
阅读量447 收藏 1
点赞数 1
分类专栏： 数学 动态规划 文章标签： 生成函数 多项式 DP
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/litble/article/details/87117758
版权

今年年初，WC2019上，我继续扮演爆零士，Q1Q2双爆零，弘扬爆零文化，希望大家多多资磁。

y=1的subtask输出1的就是在下

这位大佬写的题解真是精妙啊->here

Question0

记 m m m为颜色种类， T 1 T_1 T1​为树1的边集， T 2 T_2 T2​为树2的边集，那么答案就是 m n − ∣ T 1 ∩ T 2 ∣ m^{n-|T_1 \cap T_2|} mn−∣T1​∩T2​∣，用个map哈希一下即可。

Question1

基本推导

T 1 T_1 T1​已经给定了， T 2 T_2 T2​未知。

a n s = m n − ∣ T 1 ∩ T 2 ∣ = m n m − ∣ T 1 ∩ T 2 ∣ ans=m^{n-|T_1 \cap T_2|}=m^nm^{-|T_1 \cap T_2|} ans=mn−∣T1​∩T2​∣=mnm−∣T1​∩T2​∣，将前面的定值 m n m^n mn暂时放在一边。

设 F ( S ) F(S) F(S)为 T 1 ∩ T 2 = S T_1 \cap T_2=S T1​∩T2​=S的 T 2 T_2 T2​的个数

设 G ( S ) G(S) G(S)为满足存在边集 S S S的 T 2 T_2 T2​个数

根据集合反演的那一套理论，因为 G ( S ) = ∑ S ⊂ T F ( T ) G(S)=\sum_{S \subset T} F(T) G(S)=∑S⊂T​F(T)，所以 F ( S ) = ∑ S ⊂ T G ( T ) ( − 1 ) ∣ T − S ∣ = ∑ S ⊂ T G ( T ) ( − 1 ) ∣ T ∣ ( − 1 ) − ∣ S ∣ F(S)=\sum_{S \subset T} G(T) (-1)^{|T-S|}=\sum_{S \subset T} G(T) (-1)^{|T|}(-1)^{-|S|} F(S)=∑S⊂T​G(T)(−1)∣T−S∣=∑S⊂T​G(T)(−1)∣T∣(−1)−∣S∣

a n s = ∑ S F ( S ) m − ∣ S ∣ = ∑ T G ( T ) ( − 1 ) ∣ T ∣ ∑ S ⊂ T ( − m ) − ∣ S ∣ ans=\sum_S F(S)m^{-|S|}=\sum_T G(T)(-1)^{|T|}\sum_{S \subset T} (-m)^{-|S|} ans=∑S​F(S)m−∣S∣=∑T​G(T)(−1)∣T∣∑S⊂T​(−m)−∣S∣

a n s = ∑ T G ( T ) ( − 1 ) ∣ T ∣ ∑ i = 0 ∣ T ∣ ( − m ) − i C ∣ T ∣ i ans=\sum_{T} G(T)(-1)^{|T|} \sum_{i=0}^{|T|} (-m)^{-i} C_{|T|}^i ans=∑T​G(T)(−1)∣T∣∑i=0∣T∣​(−m)−iC∣T∣i​

a n s = ∑ T G ( T ) ( − 1 ) ∣ T ∣ ∑ i = 0 ∣ T ∣ C ∣ T ∣ i ( − 1 m ) i 1 ∣ T ∣ − i ans=\sum_{T} G(T)(-1)^{|T|} \sum_{i=0}^{|T|} C_{|T|}^i (-\frac{1}{m})^i 1^{|T|-i} ans=∑T​G(T)(−1)∣T∣∑i=0∣T∣​C∣T∣i​(−m1​)i1∣T∣−i

a n s = ∑ T G ( T ) ( 1 m − 1 ) ∣ T ∣ ans=\sum_{T} G(T) (\frac{1}{m}-1)^{|T|} ans=∑T​G(T)(m1​−1)∣T∣

G(T)咋求

那么现在问题来了： G ( T ) G(T) G(T)咋求？

假设边集 T T T将原图划分为了 k k k个连通块（ k = n − ∣ T ∣ k=n-|T| k=n−∣T∣），其中第 i i i个连通块的大小为 a i a_i ai​。那么存在集合 S S S中的边的树的个数，等价于将每个连通块看成一个点，点 i i i和点 j j j之间有 a i a j a_ia_j ai​aj​条不同的边的生成树方案数。

端上矩阵树定理，手玩行列式（过程略，反正就是一行同时除以一个数啊，一列同时减其他列啊之类的操作把行列式消成上三角即可）得 n k − 2 ∏ i = 1 k a i n^{k-2}\prod_{i=1}^k a_i nk−2∏i=1k​ai​。

那么 a n s = ∑ T n n − ∣ T ∣ − 2 ( 1 m − 1 ) ∣ T ∣ ∏ a i ans=\sum_{T} n^{n-|T|-2} (\frac{1}{m}-1)^{|T|}\prod a_i ans=∑T​nn−∣T∣−2(m1​−1)∣T∣∏ai​

a n s = ( 1 m − 1 ) n n 2 ∑ T ∏ a i n 1 m − 1 ans=\frac{(\frac{1}{m}-1)^n}{n^2}\sum_T \prod a_i\frac{n}{\frac{1}{m}-1} ans=n2(m1​−1)n​∑T​∏ai​m1​−1n​

前面定值 ( 1 m − 1 ) n n 2 \frac{(\frac{1}{m}-1)^n}{n^2} n2(m1​−1)n​暂时放在一边。（“一边”里有的东西： ( 1 m − 1 ) n n 2 m n \frac{(\frac{1}{m}-1)^n}{n^2}m^n n2(m1​−1)n​mn）

DP?生成函数!

一大堆参数看着烦，记 n 1 m − 1 = w \frac{n}{\frac{1}{m}-1}=w m1​−1n​=w

答案是所有边集的价值和，一个边集的价值等于所有连通块的价值的乘积，一个连通块的价值等于连通块大小乘以 w w w。因为边集中的边都应该是 T 1 T_1 T1​里有的边，所以可以一边在 T 1 T_1 T1​上dfs一边DP。

f ( x , i ) f(x,i) f(x,i)表示，所有能够满足在以 x x x为根的子树中， x x x所在的连通块大小为 i i i的边集，它们贡献的不包括 x x x所在的连通块的所有连通块价值乘积的和。

只要考虑 x x x与每个儿子之间的边是否存在即可DP，复杂度 O ( n 2 ) O(n^2) O(n2)。

构造生成函数 f x ( x ) f_x(x) fx​(x)，其中 i i i次项的系数为 f ( x , i ) f(x,i) f(x,i)

如果要算包括 x x x所在连通块的所有连通块价值乘积的话，就是 w f x ′ ( 1 ) wf_x'(1) wfx′​(1)，记这个东西为 g x g_x gx​

记DP过程中，考虑到儿子 y y y之前算出的 f x f_x fx​为 f t f_t ft​，那么：

f x ( x ) = f t ( x ) ( f y ( x ) + g y ) f_x(x)=f_t(x)(f_y(x)+g_y) fx​(x)=ft​(x)(fy​(x)+gy​)

于是有 f x ′ ( x ) = ( f t ( x ) f y ( x ) + f t ( x ) g y ) ′ = g y f t ′ ( x ) + f t ′ ( x ) f y ( x ) + f y ′ ( x ) f t ( x ) f_x'(x)=(f_t(x)f_y(x)+f_t(x)g_y)'=g_yf_t'(x)+f_t'(x)f_y(x)+f_y'(x)f_t(x) fx′​(x)=(ft​(x)fy​(x)+ft​(x)gy​)′=gy​ft′​(x)+ft′​(x)fy​(x)+fy′​(x)ft​(x)

所以 g x = g y g t + g t f y ( 1 ) + g y f t ( 1 ) g_x=g_yg_t+g_tf_y(1)+g_yf_t(1) gx​=gy​gt​+gt​fy​(1)+gy​ft​(1)

记 f ( 1 ) f(1) f(1)为 h h h，则得到两个DP式：

g x = g y g t + g t h y + g y h t g_x=g_yg_t+g_th_y+g_yh_t gx​=gy​gt​+gt​hy​+gy​ht​和 h x = h t ( h y + g y ) h_x=h_t(h_y+g_y) hx​=ht​(hy​+gy​)

于是就可以 O ( n ) O(n) O(n)地DP出 g 1 g_1 g1​，然后答案就是 ( 1 m − 1 ) n n 2 m n g 1 \frac{(\frac{1}{m}-1)^n}{n^2}m^n g_1 n2(m1​−1)n​mng1​

Question2

将 F ( S ) F(S) F(S)的意义更改为满足 T 1 ∩ T 2 = S T_1 \cap T_2=S T1​∩T2​=S的树对 ( T 1 , T 2 ) (T_1,T_2) (T1​,T2​)的个数

那么对应的就是 G ( S ) 2 G(S)^2 G(S)2

子集反演啊，变换啊， G ( S ) G(S) G(S)怎么算啊都一样地搞（即“基本推导”和“G(T)咋求”两段），得到：

a n s = ∑ S ∏ a i 2 n 2 1 m − 1 ans=\sum_S \prod \frac{a_i^2n^2}{\frac{1}{m}-1} ans=∑S​∏m1​−1ai2​n2​，放在一边的是 m n ( 1 m − 1 ) n n 4 m^n\frac{(\frac{1}{m}-1)^n}{n^4} mnn4(m1​−1)n​

w = n 2 1 m − 1 w=\frac{n^2}{\frac{1}{m}-1} w=m1​−1n2​

接下来一个边集的价值就是所有连通块的价值乘积，连通块价值是连通块大小的平方乘 w w w。因为 T 1 T_1 T1​和 T 2 T_2 T2​都未知，所以所有边集的价值和就是所有 n n n个节点的森林的价值和。

n n n个节点的树有 n n − 2 n^{n-2} nn−2个（prufer编码经典结论），所以 n n n个节点的所有树的贡献是 w n n wn^n wnn

构造指数型生成函数， f ( x ) f(x) f(x)的 i i i次项是 i i i个节点的所有树的贡献（ f i = w i i i ! ） f_i=\frac{wi^i}{i!}） fi​=i!wii​）， g ( x ) g(x) g(x)的 i i i次项是 i i i个节点所有森林的贡献。

图计数问题中，构造指数型生成函数，从连通到不连通是求exp，从不连通到连通是求ln。

所以 g ( x ) = e x p ( l n ( x ) ) g(x)=exp(ln(x)) g(x)=exp(ln(x))，答案是 g n ( n ! ) ( m n ) ( 1 m − 1 ) n n 4 g_n (n!) (m^n)\frac{(\frac{1}{m}-1)^n}{n^4} gn​(n!)(mn)n4(m1​−1)n​

代码

#include<bits/stdc++.h>
using namespace std;
#define RI register int
int read() {
	int q=0;char ch=' ';
	while(ch<'0'||ch>'9') ch=getchar();
	while(ch>='0'&&ch<='9') q=q*10+ch-'0',ch=getchar();
	return q;
} 
const int mod=998244353,N=100005,LIM=262150;
int n,m,op;
typedef pair<int,int> PR;

int qm(int x) {return x>=mod?x-mod:x;}
int ksm(int x,int y) {
	int re=1;
	for(;y;y>>=1,x=1LL*x*x%mod) if(y&1) re=1LL*re*x%mod;
	return re;
}

namespace work0{
	map<PR,int> mp;
	void work() {
		int x,y,ans=n;
		for(RI i=1;i<n;++i) {
			x=read(),y=read(); if(x>y) swap(x,y);
			mp[(PR){x,y}]=1;
		}
		for(RI i=1;i<n;++i) {
			x=read(),y=read(); if(x>y) swap(x,y);
			if(mp[(PR){x,y}]) --ans;
		}
		printf("%d\n",ksm(m,ans));
	}
}

namespace work1{
	int tot,w,ans,h[N],ne[N<<1],to[N<<1],G[N],H[N];
	void add(int x,int y) {to[++tot]=y,ne[tot]=h[x],h[x]=tot;}
	void dfs(int x,int las) {
		G[x]=w,H[x]=1;
		for(RI i=h[x];i;i=ne[i]) {
			if(to[i]==las) continue;
			dfs(to[i],x);
			int tG=G[x],tH=H[x];
			H[x]=1LL*tH*qm(G[to[i]]+H[to[i]])%mod;
			G[x]=qm(qm(1LL*tG*G[to[i]]%mod+1LL*tG*H[to[i]]%mod)+1LL*G[to[i]]*tH%mod);
		}
	}
	void work() {
		if(m==1) {printf("%d\n",ksm(n,n-2));return;}
		int x,y,kl=qm(ksm(m,mod-2)-1+mod);
		for(RI i=1;i<n;++i) x=read(),y=read(),add(x,y),add(y,x);
		w=1LL*n*ksm(kl,mod-2)%mod,dfs(1,0);
		ans=1LL*G[1]*ksm(m,n)%mod*ksm(kl,n)%mod*ksm(ksm(n,2),mod-2)%mod;
		printf("%d\n",ans);
	}
}

namespace work2{
	int w,ans;
	int F[LIM],G[LIM],rev[LIM],len[LIM],inv[LIM];
	int k1[LIM],k2[LIM],k3[LIM],k4[LIM],k5[LIM];
	void NTT(int *a,int n,int x) {
		for(RI i=0;i<n;++i) if(rev[i]>i) swap(a[i],a[rev[i]]);
		for(RI i=1;i<n;i<<=1) {
			int gn=ksm(3,(mod-1)/(i<<1));
			for(RI j=0;j<n;j+=(i<<1)) {
				int t1,t2,g=1;
				for(RI k=0;k<i;++k,g=1LL*g*gn%mod) {
					t1=a[j+k],t2=1LL*g*a[j+i+k]%mod;
					a[j+k]=qm(t1+t2),a[j+i+k]=qm(t1-t2+mod);
				}
			}
		}
		if(x==1) return;
		reverse(a+1,a+n);for(RI i=0;i<n;++i) a[i]=1LL*a[i]*inv[n]%mod;
	}
	void getrev(int n)
		{for(RI i=0;i<n;++i) rev[i]=(rev[i>>1]>>1)|((i&1)<<(len[n]-1));}
	void getJF(int *a,int *b,int n)
		{for(RI i=1;i<n;++i) b[i]=1LL*inv[i]*a[i-1]%mod; b[0]=0;}
	void getDao(int *a,int *b,int n)
		{for(RI i=1;i<n;++i) b[i-1]=1LL*a[i]*i%mod; b[n-1]=0;}
	void getinv(int *a,int *b,int n) {
		if(n==1) {b[0]=ksm(a[0],mod-2),b[1]=0;return;}
		getinv(a,b,n>>1);int kn=n<<1;
		for(RI i=0;i<n;++i) k5[i]=a[i],k5[i+n]=b[i+n]=0;
		getrev(kn),NTT(k5,kn,1),NTT(b,kn,1);
		for(RI i=0;i<kn;++i) b[i]=1LL*b[i]*qm(2-1LL*k5[i]*b[i]%mod+mod)%mod;
		NTT(b,kn,-1);
		for(RI i=n;i<kn;++i) b[i]=0;
	}
	void getln(int *a,int *b,int n) {
		getDao(a,k3,n),getinv(a,k4,n);
		int kn=n<<1;for(RI i=n;i<kn;++i) k3[i]=k4[i]=0;
		getrev(kn),NTT(k3,kn,1),NTT(k4,kn,1);
		for(RI i=0;i<kn;++i) k3[i]=1LL*k3[i]*k4[i]%mod;
		NTT(k3,kn,-1),getJF(k3,b,n);
		for(RI i=n;i<kn;++i) b[i]=0;
	}
	void getexp(int *a,int *b,int n) {
		if(n==1) {b[0]=1,b[1]=0;return;}
		getexp(a,b,n>>1);int kn=n<<1;
		getln(b,k1,n);
		for(RI i=0;i<n;++i) k2[i]=qm(a[i]-k1[i]+mod),k2[i+n]=b[i+n]=0;
		k2[0]=qm(k2[0]+1);
		getrev(kn),NTT(b,kn,1),NTT(k2,kn,1);
		for(RI i=0;i<kn;++i) b[i]=1LL*b[i]*k2[i]%mod;
		NTT(b,kn,-1);
		for(RI i=n;i<kn;++i) b[i]=0;
	}
	void work() {
		if(m==1) {printf("%d\n",ksm(n,2*n-4));return;}
		int kl=qm(ksm(m,mod-2)-1+mod);
		w=1LL*n*n%mod*ksm(kl,mod-2)%mod;
		int kn=1;while(kn<=n) kn<<=1,len[kn]=len[kn>>1]+1;
		len[kn<<1]=len[kn]+1;
		inv[0]=inv[1]=1;
		for(RI i=2;i<=(kn<<1);++i) inv[i]=1LL*(mod-mod/i)*inv[mod%i]%mod;
		int invfac=1,fac=1;
		for(RI i=1;i<=n;++i)
			invfac=1LL*invfac*inv[i]%mod,F[i]=1LL*ksm(i,i)*w%mod*invfac%mod;
		getexp(F,G,kn);
		for(RI i=1;i<=n;++i) fac=1LL*fac*i%mod;
		ans=1LL*G[n]*ksm(m,n)%mod*ksm(kl,n)%mod*fac%mod*ksm(ksm(n,4),mod-2)%mod;
		printf("%d\n",ans);
	}
}

int main()
{
	n=read(),m=read(),op=read();
	if(op==0) work0::work();
	else if(op==1) work1::work();
	else work2::work();
    return 0;
}
litble
关注
专栏目录
【LOJ2983】「WC2019」数树
cz_xuyixuan的博客
03-31 646
【题目链接】 点击打开链接 【思路要点】 op=0op=0op=0 ，算一算两棵树的公共边数即可。 时间复杂度 O(N)O(N)O(N) 或 O(NLogN)O(NLogN)O(NLogN) 。 op=1op=1op=1 ，考虑枚举蓝树上的一个边集 SSS ，强制红树上同样存在这些边，计算将剩余 N−∣S∣N-|S|N−∣S∣ 个联通块连成一棵树的方案数，更新答案。 上述算法中，枚举蓝...
题解 [SCOI2016] 幸运数字（洛谷 P3292 / LOJ #2013）【线性基 倍增】
破壁人五号的博客
05-28 198
题目链接：洛谷 P3292 / LOJ #2013 题意 一棵树，每个点有点权 GiG_iGi​，qqq 次询问 xxx 到 yyy 的路径上的所有点中任选一些点可以得到的异或和的最大值。n≤2×104,q≤2×105,Gi≤260n\leq 2\times 10^4,q\leq 2\times 10^5,G_i\leq 2^{60}n≤2×104,q≤2×105,Gi​≤260 题解 倍增+线性基，可能 log⁡\loglog 有些多、常数也有些大。 /********** Author: WLBKR5
[WC2019] 数树
weixin_34146410的博客
04-12 262
[WC2019] 数树 Zhang_RQ题解（本篇仅概述） 前言 有进步，只做了半天。。。。 一道具有极强综合性的数数好题！ 强大的多合一题目 精确地数学推导和耐心。 有套路又不失心意。 融合了： 算法： prufer序列及其扩展 树形Dp 容斥或者二项式定理 EGF 多项式Exp 先要会： [学习笔记]prufer序列 [学习笔记]多项式指数...
[WC2019]数树
时光真疯狂, 我一路执迷于匆忙.
02-27 337
Description 有两棵n个点的树，T1和T2，每个点可以填一个[1,y]的颜色 若两棵树有一条边重合这条边两个端点的颜色必须相同 有三种问题： op=0，给出T1和T2问答案 op=1，给出T1问所有T2的答案和 op=2，给出n问所有的T1和T2的答案和 n&lt;=100000 Solution op=0大家都会 op=1的话，考虑算恰好有i条重边的y−iy^{-i}y−i的和 考虑到...
WC2019数树
Fire Dancer
02-21 852
首先由于我们很难直接求解边集之交为Ｓ的树的个数，所以考虑容斥，转化成至少交Ｓ，这里需要推一波式子，然后利用组合意义，转化成一个连通块内给一个点染色，就可以O(n)　DP了。 这类题能够转化成包含的好算一定要尝试着去凑一下，很有可能可以出奇迹。 然后再推一推就可以推出一个多项式exp的式子啦，感觉还是很妙妙的QAQ。 prufer序列那一部分可以用生成函数的exp来推。 ...
WC2019 数树
weixin_30908941的博客
02-25 105
多谢yn大佬的指点。 op=0 挺简单的。 op=1 设\(T1,T2\)为两棵树 考虑我们知道\(T1\),不知道\(T2\) 但是答案只是多了个\(\sum\) \[ans= \sum_{T2} y^{|T1 \& T2|} \] 考虑重合了\(m\)条边 \[ans= \sum_{T2} y^{n-m} \] \[ans= \sum_{m=0}^n y^{n-m} f(m)\] \(...
题解 [十二省联考 2019] 春节十二响（LOJ #3052 / 洛谷 P5290）【启发式合并】
破壁人五号的博客
06-08 249
题目链接：洛谷 P5290 / LOJ #3052 题意 给定一棵有根树，节点有权值 MiM_iMi​，将节点分为多个集合（记为 SiS_iSi​），最小化 ∑imax⁡j∈siMj\sum\limits_{i}\max\limits_{j\in s_i}M_ji∑​j∈si​max​Mj​，要求 ∀i,j,k(i,j∈sk)\forall i,j,k(i,j\in s_k)∀i,j,k(i,j∈sk​)，i,ji,ji,j 无祖孙关系。 题解 假如有两个子树，要将它们合并起来，显然取它们的最大值放一起、次
洛谷 P1025 数的划分 & LOJ #10018. 「一本通 1.3 例 1」数的划分
bifanwen的博客
08-06 230
洛谷原题链接 LOJ\text{LOJ}LOJ 原题链接 愉快的三倍经验题。 简要题意： 给定 n,kn,kn,k，求将 nnn 分为 kkk 个有序正整数之和 的方案数。 6≤n≤200,2≤k≤66 \leq n \leq 200 , 2 \leq k \leq 66≤n≤200,2≤k≤6. 算法一 搜索 + 剪枝。 状态设计 首先我们应当考虑，如何设计搜索状态。 对本问题即以下的问题： 如何保证和为 nnn? 如何保证共 kkk 个数？ 如何保证有序？ 第一问，我们需要一个 sum，记录当前所选
洛谷 3736 bzoj 4565 loj 2063 [HAOI2016]字符合并 题解
LightningUZ的博客
01-12 269
博客观赏效果更佳 题意简述 长度为n（<=300）的01串，你能合并连续一段长度为k（k<=8）的子串。会合并成什么，得到多少分数，由映射表决定。 比如说，映射表是 1 10 1 10 0 20 1 30 就代表 00->1，得分是10 01->1，得分是10 10->0，得分是20 11->1，得分是30 合理分配合并方案，使得得分最大。 思路框架 区间D...
LOJ#2983. 「WC2019」数树
Cyhlnj
02-01 245
传送门 抄题解 Task0Task0Task0，随便做一下，设 cntcntcnt 为相同的边的个数，输出 yn−cnty^{n-cnt}yn−cnt Task1Task1Task1，给定其中一棵树 设初始答案为 yny^nyn，首先可以发现，每有一条边和给定的树相同就会使得答案除去 yyy 那么可以利用矩阵树定理，已经有的边权值为 y−1y^{-1}y−1，其它的连成完全图，权值为 111 求解...
[LOJ#2983][WC2019]数树
女装的你，如此好看！
03-08 374
Address 洛谷 P5206 LOJ #2983 Solution 这是一道计数 (shen) 好 (xian) 题，综合性很强 ，虽然是三合一 鉴于此题用到的算法较多，我就不在标题里列出了，此题用到的算法及技巧如下 容斥原理 prufer 序列计数 组合数学 树形 DP 多项式 exp Task 1 ： op=0op=0op=0 首先分析下问题，很容易得出，如果设 T0T_0T0​...
【WC2019】数树【计数】【DP】【多项式】
Never give in.
04-20 260
Description 此题含有三个子问题 问题1： 给出n个点的两棵树，记m为同时在两棵树中的边的个数，求ymy^mym 问题2： 给出n个点的一棵树，另外一棵树任意生成，求所有方案总的ymy^mym的和 问题3： 两棵树均任意生成，求所有方案总的ymy^mym的和 Solution 留坑待填 Code #include <bits/stdc++.h> #define fo(i,a,...
Loj #2983. 「WC2019」数树
weixin_33836223的博客
05-29 104
Loj #2983. 「WC2019」数树 题目背景 白兔喜欢树。 白云喜欢数数。 有 \(n\) 只鼠，白兔用 \(n − 1\) 根蓝色绳子把它们连成了一棵树，每根蓝色绳子连着两只鼠，白云用 \(n − 1\) 根红色绳子把它们连成了一棵树，每根红色绳子连接着两只鼠。 白云要给予每只鼠一个数。这个数可以是 \([1, y]\) 中的任意一个整数。 白兔给了白云一个要求：对于两只鼠 \(p, q...
「WC 2019」数树
weixin_30409849的博客
04-17 193
「WC 2019」数树 一道涨姿势的EGF好题，官方题解我并没有完全看懂，尝试用指数型生成函数和组合意义的角度推了一波。考场上只得了 44 分也暴露了我在数数的一些基本套路上的不足，后面的 \(\exp\) 是真的神仙，做不出来当然很正常，而且我当时也不怎么会多项式。 Task0 考虑公共边组成 \(k\) 个联通块，答案就是 \(y^k\) ，并查集维护一下即可，复杂度 \(\mathcal O...
「WC2019」数树（生成函数）（树形DP）（容斥）（多项式exp）
FSYo 的博客
03-08 328
LOJLOJLOJ 传送门 转换一下题意得到：对于两棵树 T1,T2T1,T2T1,T2，边集是 E1,E2E1,E2E1,E2，那么贡献就是 yn−∣E1∩E2∣y^{n-|E1\cap E2|}yn−∣E1∩E2∣ 第一问：直接求出并即可 第二问：T1T1T1 确定，不妨来枚举 T2T2T2 令 F(S)=∑T2[T1∩T2=S]F(S)=\sum_{T2} [T1\cap T2=...
【LOJ】#2983. 「WC2019」数树
weixin_30466953的博客
05-28 95
LOJ2983. 「WC2019」数树 task0 有\(i\)条边一样答案就是\(y^{n - i}\) task1 这里有个避免容斥的方法，如果有\(i\)条边重复我们要算的是\(y^{n - i}\)，设\(a = y^{-1}\)那么我们可以对于选了i条边的方案算\(a^{i}\) 可是这样需要容斥，所以有个神奇的技巧 \((a - 1 + 1)^{i} = \sum_{j = ...
【WC2019】数树（prufer序列，树上连通块DP，多项式exp）
ez_lcw的博客
11-08 323
设两棵树的边集分别为 E1,E2E_1,E_2E1​,E2​，那么两棵树不同当且仅当它们对应的边集不同。 转化一下可以发现，染色方案等于 yn−∣E1∩E2∣y^{n-|E_1\cap E_2|}yn−∣E1​∩E2​∣，即由边集 E1∩E2E_1\cap E_2E1​∩E2​ 构成的图的连通块数量。 k=1k=1k=1 ans=∑E2yn−∣E1∩E2∣ ans=\sum_{E_2}y^{n-|E_1\cap E_2|} ans=E2​∑​yn−∣E1​∩E2​∣ 考虑枚举 S=E1∩E2S=E_1\ca
/lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by ./loj_judger_server)
最新发布
09-06
这个错误是因为你的系统中缺少 GLIBC 2.34 版本的库，而 ./loj_judger_server 需要这个版本的库来运行。GLIBC 是 GNU C 库，它是 Linux 系统中的一个重要的 C 库，提供了许多系统调用和其他功能。 要解决这个问题，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值