【LOJ #2983】「WC2019」数树（容斥 / 生成函数 / 树形DP / 多项式exp）

最新推荐文章于 2020-05-13 18:47:12 发布

stargazer.

最新推荐文章于 2020-05-13 18:47:12 发布

阅读量129

点赞数

分类专栏：容斥原理生成函数树形dp

本文链接：https://blog.csdn.net/qq_42555009/article/details/104759690

版权

生成函数同时被 3 个专栏收录

26 篇文章 1 订阅

订阅专栏

容斥原理

24 篇文章 2 订阅

订阅专栏

树形dp

12 篇文章 0 订阅

订阅专栏

传送门

感觉就是对着 $z x y$ 博客推的
不过还是记一下吧

$S u b t a s k 1$

显然就是求有多少条红蓝边相同
如果有 $x$ 条，答案就是 $y^{n-x}$
随便爱咋做咋做

$S u b t a s k 2$

考虑如果我们枚举边集合 $S$
设 $F(s)=\sum_{T_2}[T_1\cap T_2=S],G(s)=\sum_{T_1}[S\subseteq T_1\cap T_2]$
那么有 $F(S)=\sum_{S\subseteq T}(-1)^{|T|-|S|}G(T)$
考虑 $ans=\sum_{S}F(S)y^{n-|S|}$
$=y^n\sum_{S\subseteq T_1}y^{-|S|}\sum_{S\subseteq T}(-1)^{|T|-|S|}G(T)$
$=y^n\sum_{T\subseteq T_1}G(T)(-1)^{|T|}\sum_{S\subseteq T}(-y)^{-|S|}$
$=y^n\sum_{T\subseteq T_1}G(T)(-1)^{|T|}\sum_{i=0}^{|T|}(-y)^{-i}{|T|\choose i}$
$=y^n\sum_{T\subseteq T_1}G(T)(-1)^{|T|}(1-\frac 1 y)^{|T|}$
$=y^n\sum_{T\subseteq T_1}G(T)(\frac 1 y-1)^{|T|}$

考虑这时 $G (T)$ 的意义就是将 $T$ 的边连上后得到的森林的生成树个数
设形成了 $k$ 个连通块，每个连通块大小为 $a_i$
那么有总方案数位 $n^{k-2}\prod_{a_i}$
证明可以考虑 $p r u f e r$ 序列,设序列为 $p,$ 每个点出现了 $d_i$ 次
为 $\sum_{p}\prod_{i}a_i^{d_i+1}=(\prod_{i}a_i)\sum_{i=1}^ka_i^{d_i}=(\prod_{i}a_i)\sum_p\prod_{i=1}^{k-2}a_{p_i}=(\prod_{i}a_i)\prod_{i=1}^{k-2}\sum_{p}a_{p_i}=(\prod_{i}a_i)\prod_{i=1}^{k-2}n=n^{k-2}(\prod_{i}a_i)$

则 $ans=y^n\sum_{T\subseteq T_1}(\frac 1 y-1)^{|T|}n^{n-|T|-2}\prod_{i=1}^{n-|T|}a_i$
$=y^n\frac{(\frac 1 y-1)^n}{n^2}\sum_{T\subseteq T_1}\prod_{i=1}^{n-|T|}\frac{a_in}{\frac 1 y-1}$
考虑实际意义则就是对于树上一个大小为 $i$ 的连通块贡献为 $\frac{in}{\frac 1 y-1}$
令 $k=\frac n{\frac 1 y-1}$
一个划分的贡献是所有连通块的积
考虑用树形 $d p$
$f [u] [i]$ 表示 $u$ 为根， $u$ 所在连通块大小为 $i$ 的所有贡献之和
那么答案就是 $k\sum_if[1][i]*i$

考虑直接树形 $d p$ 是 $O(n^2)$ 的
考虑利用生成函数优化
观察答案发现是求导后取 $x = 1$ 的点值
那么有 $F_u(x)=(kF_v'(1)+F_v(x))*F_u(x)$
设 $f_u=F_u(1),g_u=kF_u'(1)$
那么根据上面的式子有
$g_u=g_u*(g_v+f_v)+f_ug_v,f_u=f_u*(g_v+f_v)$
于是可以 $O (n) 树形 d p$

注意由于中间有 $\frac{1 }{y}-1$ 做分母
所以对于 $y = 1$ 是无意义的
特判即可

$S u b t a s k 3$

考虑用类似 $S u b t a s k 2$ 的推导方法可以得到

$=y^n\sum_{T}G^2(T)(\frac 1 y-1)^{|T|}$
$=y^n\frac{(\frac 1 y-1)^n}{n^4}\sum_T\prod_{i=1}^{n-|T|}\frac{a_i^2n^2}{\frac 1 y-1}$
考虑枚举 $T$ 实际是在枚举森林

于是可以列出树的生成函数然后 $\exp$
设 $k=\frac{n^2}{\frac 1 y-1}$
考虑有标号
所以 $f(x)=\sum_{i=0}^{\infty}ki^2*i^{i-2}\frac{x^i}{i!}=\sum_{i=0}^{\infty}ki^i\frac{x^i}{i!}$
然后 $\exp$ 即可
同样特判 $y = 1$

复杂度 $O (n l o g n)$

#include<bits/stdc++.h>
using namespace std;
#define cs const
#define re register
#define pb push_back
#define pii pair<int,int>
#define ll long long
#define fi first
#define se second
#define bg begin
cs int RLEN=1<<20|1;
inline char gc(){
    static char ibuf[RLEN],*ib,*ob;
    (ib==ob)&&(ob=(ib=ibuf)+fread(ibuf,1,RLEN,stdin));
    return (ib==ob)?EOF:*ib++;
}
inline int read(){
    char ch=gc();
    int res=0;bool f=1;
    while(!isdigit(ch))f^=ch=='-',ch=gc();
    while(isdigit(ch))res=(res+(res<<2)<<1)+(ch^48),ch=gc();
    return f?res:-res;
}
inline ll readll(){
    char ch=gc();
    ll res=0;bool f=1;
    while(!isdigit(ch))f^=ch=='-',ch=gc();
    while(isdigit(ch))res=(res+(res<<2)<<1)+(ch^48),ch=gc();
    return f?res:-res;
}
inline int readstring(char *s){
	int top=0;char ch=gc();
	while(isspace(ch))ch=gc();
	while(!isspace(ch)&&ch!=EOF)s[++top]=ch,ch=gc();
	return top;
}
template<class tp>inline void chemx(tp &a,tp b){a<b?a=b:0;}
template<class tp>inline void chemn(tp &a,tp b){a>b?a=b:0;}
cs int mod=998244353;
inline int add(int a,int b){return (a+=b)>=mod?(a-mod):a;}
inline int dec(int a,int b){a-=b;return a+(a>>31&mod);}
inline int mul(int a,int b){static ll r;r=1ll*a*b;return (r>=mod)?(r%mod):r;}
inline void Add(int &a,int b){(a+=b)>=mod?(a-=mod):0;}
inline void Dec(int &a,int b){a-=b,a+=a>>31&mod;}
inline void Mul(int &a,int b){static ll r;r=1ll*a*b;a=(r>=mod)?(r%mod):r;}
inline int ksm(int a,int b,int res=1){if(a==0&&b==0)return 0;for(;b;b>>=1,Mul(a,a))(b&1)&&(Mul(res,a),1);return res;}
inline int Inv(int x){return ksm(x,mod-2);}
inline int fix(int x){return (x<0)?x+mod:x;}
cs int N=100005;
int n,y;
namespace solve1{
	map<pii,int>mp;
	inline void main(){
		for(int i=1;i<n;i++){
			int u=read(),v=read();
			if(u>v)swap(u,v);
			mp[pii(u,v)]=1;
		}
		int tot=n;
		for(int i=1;i<n;i++){
			int u=read(),v=read();
			if(u>v)swap(u,v);
			if(mp.count(pii(u,v)))tot--;
		}
		cout<<ksm(y,tot)<<'\n';
	}
}
namespace solve2{
	vector<int> e[N];
	int f[N],g[N],k,t;
	void dfs(int u,int fa){
		f[u]=1,g[u]=k;
		for(int &v:e[u])if(v!=fa){
			dfs(v,u);
			g[u]=add(mul(g[u],add(f[v],g[v])),mul(f[u],g[v]));
			Mul(f[u],add(f[v],g[v]));
		}
	}
	inline void main(){
		if(y==1){cout<<ksm(n,n-2)<<'\n';return;}
		for(int i=1;i<n;i++){
			int u=read(),v=read();
			e[u].pb(v),e[v].pb(u);
		}
		t=dec(Inv(y),1),k=mul(n,Inv(t));
		dfs(1,0);
		cout<<mul(ksm(y,n),mul(g[1],mul(ksm(t,n),Inv(mul(n,n)))))<<'\n';
	}
}
namespace solve3{
	typedef vector<int> poly;
	cs int C=18,M=(1<<C)|5,G=3;
	int *w[C+1];
	int rev[M],inv[M],ifac[M],fac[M];
	inline void init_rev(int lim){
		for(int i=0;i<lim;i++)rev[i]=(rev[i>>1]>>1)|((i&1)*(lim>>1));
	}
	inline void init_w(){
		for(int i=1;i<=C;i++)w[i]=new int[(1<<(i-1))|1];
		int wn=ksm(G,(mod-1)/(1<<C));w[C][0]=1;
		for(int i=1,l=1<<(C-1);i<l;i++)w[C][i]=mul(w[C][i-1],wn);
		for(int i=C-1;i;i--)
		for(int j=0,l=1<<(i-1);j<l;j++)w[i][j]=w[i+1][j<<1];
		inv[0]=inv[1]=fac[0]=ifac[0]=1;
		for(int i=2;i<M;i++)inv[i]=mul(mod-mod/i,inv[mod%i]);
		for(int i=1;i<M;i++)fac[i]=mul(fac[i-1],i),ifac[i]=mul(ifac[i-1],inv[i]);
	}
	inline void ntt(int *f,int lim,int kd){
		for(int i=0;i<lim;i++)if(rev[i]>i)swap(f[i],f[rev[i]]);
		for(int mid=1,l=1,a0,a1;mid<lim;mid<<=1,l++)
		for(int i=0;i<lim;i+=mid<<1)
		for(int j=0;j<mid;j++)
		a0=f[i+j],a1=mul(w[l][j],f[i+j+mid]),f[i+j]=add(a0,a1),f[i+j+mid]=dec(a0,a1);
		if(kd==-1){
			reverse(f+1,f+lim);
			for(int i=0,iv=inv[lim];i<lim;i++)Mul(f[i],iv);
		}
	}
	inline poly operator *(poly a,poly b){
		int deg=a.size()+b.size()-1;
		if(deg<=32){
			poly c(deg,0);
			for(int i=0;i<a.size();i++)
			for(int j=0;j<b.size();j++)
			Add(c[i+j],mul(a[i],b[j]));
			return c;
		}
		int lim=1;while(lim<deg)lim<<=1;
		init_rev(lim);
		a.resize(lim),ntt(&a[0],lim,1);
		b.resize(lim),ntt(&b[0],lim,1);
		for(int i=0;i<lim;i++)Mul(a[i],b[i]);
		ntt(&a[0],lim,-1),a.resize(deg);
		return a;
	}
	inline poly Inv(poly a,int deg){
		poly b(1,::Inv(a[0])),c;
		for(int lim=4;lim<(deg<<2);lim<<=1){
			init_rev(lim);c.resize(lim>>1);
			for(int i=0;i<(lim>>1);i++)c[i]=(i<a.size()?a[i]:0);
			c.resize(lim),b.resize(lim);
			ntt(&b[0],lim,1),ntt(&c[0],lim,1);
			for(int i=0;i<lim;i++)Mul(b[i],dec(2,mul(b[i],c[i])));
			ntt(&b[0],lim,-1),b.resize(lim>>1);
		}b.resize(deg);return b;
	}
	inline poly deriv(poly a){
		for(int i=0;i+1<a.size();i++)a[i]=mul(a[i+1],i+1);
		a.pop_back();return a;
	}
	inline poly integ(poly a){
		a.pb(0);
		for(int i=a.size()-1;i;i--)a[i]=mul(a[i-1],inv[i]);
		a[0]=0;return a;
	}
	inline poly Ln(poly a,int deg){
		a=integ(Inv(a,deg)*deriv(a)),a.resize(deg);return a;
	}
	inline poly Exp(poly a,int deg){
		poly b(1,1),c;
		for(int lim=2;lim<(deg<<1);lim<<=1){
			c=Ln(b,lim);
			for(int i=0;i<lim;i++)c[i]=dec(i<a.size()?a[i]:0,c[i]);
			Add(c[0],1),b=b*c,b.resize(lim);			
		}b.resize(deg);return b;
	}
	inline void main(){
		if(y==1){cout<<ksm(n,2*(n-2))<<'\n';return;}
		init_w();
		int t=dec(::Inv(y),1),k=mul(n,mul(n,::Inv(t)));
		poly f(n+1,0);
		for(int i=1;i<=n;i++)f[i]=mul(ksm(i,i),mul(k,ifac[i]));
		f=Exp(f,n+1);
		cout<<mul(f[n],mul(fac[n],mul(ksm(mul(t,y),n),ksm(inv[n],4))))<<'\n';
	}
}
int op;
int main(){
	#ifdef Stargazer
	freopen("lx.in","r",stdin);
	#endif
	n=read(),y=read(),op=read();
	if(op==0)solve1::main();
	if(op==1)solve2::main();
	if(op==2)solve3::main();
}

stargazer.

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
【LOJ #2983】「WC2019」数树（容斥 / 生成函数 / 树形DP / 多项式exp）

传送门感觉就是对着zxyzxyzxy博客推的不过还是记一下吧Subtask1Subtask1Subtask1显然就是求有多少条红蓝边相同如果有xxx条，答案就是yn−xy^{n-x}yn−x随便爱咋做咋做Subtask2Subtask2Subtask2考虑如果我们枚举边集合SSS设F(s)=∑T2[T1∩T2=S],G(s)=∑T1[S⊆T1∩T2]F(s)=\sum_{T_2...
复制链接

扫一扫