生成函数Euler变换学习笔记(无标号有根树计数)

众所周知,对于有标号计数的指数型生成函数 f(x)f(x)f(x),将其任意地进行无顺序的组合,得到的生成函数是exp(f(x))exp(f(x))exp(f(x))

而对于无标号计数的这样的组合,我们就需要引入一个叫 Eular\text{Eular}Eular 变换的东西 E(f(x))\mathcal{E}(f(x))E(f(x))

(这个符号打法:\mathcal(E)

为了方便,本文中记fif_ifi表示[xi]f(x)[x^i]f(x)[xi]f(x)。两种表述可能混用。

我们先引入一个实际问题:nnn个点无标号有根树的计数。两棵树被认为相同,当且仅当存在一种重标号方案,使得它们的根标号相同且边集相等。

对于一棵树,我们去掉它的根,然后就分成若干棵独立的子树。所以对无标号有根树的OGF\text{OGF}OGF F(x)F(x)F(x),有

F(x)=x⋅E(F(x))F(x)=x\cdot\mathcal E(F(x))F(x)=xE(F(x))

先思考这个问题的主要矛盾在什么地方:对于分出来的若干子树,如果有一些子树完全一致,那么它们只会贡献一次方案。但如果只是大小相同而本质不同,仍然算作不同的方案。

换句话说,最终的方案只和每种本质不同的子树使用的个数有关。考虑背包。

每种本质不同的大小为kkk的树构造完全背包的生成函数,即

11−xk\frac{1}{1-x^k}1xk1

那么我们可以得到一个简单粗暴的定义式:

E(F(x))=∏i=1∞1(1−xi)Fi\mathcal E(F(x))=\prod_{i=1}^{\infin}\frac 1{(1-x^i)^{F_i}}E(F(x))=i=1(1xi)Fi1

FiF_iFi是因为有FiF_iFi种本质不同大小为iii的物品

然后开始愉快地推式子

G(x)=E(F(x))=∏i=1∞1(1−xi)FiG(x)=\mathcal E(F(x))=\prod_{i=1}^{\infin}\frac 1{(1-x^i)^{F_i}}G(x)=E(F(x))=i=1(1xi)Fi1

既然有连乘,先求个ln⁡\lnln

ln⁡(G(x))=−∑i=1∞Filn⁡(1−xi)\ln (G(x))=-\sum_{i=1}^{\infin}F_i\ln(1-x^i)ln(G(x))=i=1Filn(1xi)

ln⁡\lnln还是看不顺眼,求个导

G′(x)G(x)=∑i=1∞Fiixi−11−xi\frac{G'(x)}{G(x)}=\sum_{i=1}^{\infin}F_i\frac{ix^{i-1}}{1-x^i}G(x)G(x)=i=1Fi1xiixi1

又看见了喜闻乐见的完全背包,直接展开

G′(x)G(x)=∑i=1∞Fi⋅ixi−1∑j=0∞xij\frac{G'(x)}{G(x)}=\sum_{i=1}^{\infin}F_i\cdot ix^{i-1}\sum_{j=0}^{\infin}x^{ij}G(x)G(x)=i=1Fiixi1j=0xij

G′(x)G(x)=∑i=1∞Fi⋅i∑j=0∞xi(j+1)−1\frac{G'(x)}{G(x)}=\sum_{i=1}^{\infin}F_i\cdot i\sum_{j=0}^{\infin}x^{i(j+1)-1}G(x)G(x)=i=1Fiij=0xi(j+1)1

G′(x)G(x)=∑i=1∞Fi⋅i∑j=1∞xij−1\frac{G'(x)}{G(x)}=\sum_{i=1}^{\infin}F_i\cdot i\sum_{j=1}^{\infin}x^{ij-1}G(x)G(x)=i=1Fiij=1xij1

再积分回来

ln⁡(G(x))=∑i=1∞Fi⋅i∑j=1∞xijij\ln(G(x))=\sum_{i=1}^{\infin}F_i\cdot i\sum_{j=1}^{\infin}\frac{x^{ij}}{ij}ln(G(x))=i=1Fiij=1ijxij

整理一下

ln⁡(G(x))=∑i=1∞Fi∑j=1∞xijj\ln(G(x))=\sum_{i=1}^{\infin}F_i\sum_{j=1}^{\infin}\frac{x^{ij}}jln(G(x))=i=1Fij=1jxij

ln⁡(G(x))=∑j=1∞1j∑i=1∞Fixij\ln(G(x))=\sum_{j=1}^{\infin}\frac 1j\sum_{i=1}^{\infin}F_ix^{ij}ln(G(x))=j=1j1i=1Fixij

ln⁡(G(x))=∑j=1∞F(xj)j\ln(G(x))=\sum_{j=1}^{\infin}\frac{F(x^j)}jln(G(x))=j=1jF(xj)

ln⁡(G(x))=∑i=1∞F(xi)i\ln(G(x))=\sum_{i=1}^{\infin}\frac{F(x^i)}iln(G(x))=i=1iF(xi)

得到 Eular\text{Eular}Eular 变换的计算式(雾)

E(F(x))=exp⁡(∑i=1∞F(xi)i)\mathcal E(F(x))=\exp(\sum_{i=1}^{\infin}\frac{F(x^i)}{i})E(F(x))=exp(i=1iF(xi))

然后回到原问题

F(x)=x⋅E(F(x))F(x)=x\cdot\mathcal E(F(x))F(x)=xE(F(x))

F(x)=x⋅exp⁡(∑i=1∞F(xi)i)F(x)=x\cdot \exp(\sum_{i=1}^{\infin}\frac{F(x^i)}{i})F(x)=xexp(i=1iF(xi))

两边求导(如果高数不好建议自己多写几步)

F′(x)=exp⁡(∑i=1∞F(xi)i)+x⋅exp⁡(∑i=1∞F(xi)i)⋅∑i=1∞ixi−1⋅F′(xi)iF'(x)=\exp(\sum_{i=1}^{\infin}\frac{F(x^i)}{i})+x\cdot \exp(\sum_{i=1}^{\infin}\frac{F(x^i)}{i})\cdot\sum_{i=1}^{\infin}\frac{ix^{i-1}\cdot F'(x^i)}iF(x)=exp(i=1iF(xi))+xexp(i=1iF(xi))i=1iixi1F(xi)

F′(x)=exp⁡(∑i=1∞F(xi)i)+F(x)∑i=1∞xi−1⋅F′(xi)F'(x)=\exp(\sum_{i=1}^{\infin}\frac{F(x^i)}{i})+F(x)\sum_{i=1}^{\infin}x^{i-1}\cdot F'(x^i)F(x)=exp(i=1iF(xi))+F(x)i=1xi1F(xi)

两边同时乘上xxx

x⋅F′(x)=F(x)+F(x)∑i=1∞xi⋅F′(xi)x\cdot F'(x)=F(x)+F(x)\sum_{i=1}^{\infin}x^i\cdot F'(x^i)xF(x)=F(x)+F(x)i=1xiF(xi)

#undef G

G(x)=∑i=1∞xi⋅F′(xi)G(x)=\sum_{i=1}^{\infin}x^i\cdot F'(x^i)G(x)=i=1xiF(xi)

x⋅F′(x)=F(x)+F(x)G(x)x\cdot F'(x)=F(x)+F(x)G(x)xF(x)=F(x)+F(x)G(x)

考虑求这东西的第xnx^nxn

nFn=Fn+∑k=1n−1FkGn−knF_n=F_n+\sum_{k=1}^{n-1}F_kG_{n-k}nFn=Fn+k=1n1FkGnk

Fn=1n−1∑k=1n−1FkGn−kF_{n}=\frac 1{n-1}\sum_{k=1}^{n-1}F_kG_{n-k}Fn=n11k=1n1FkGnk

如果我们知道GGG,就可以直接分治 NTT 算出FFF

现在考虑这个GGG

G(x)=∑i=1∞xi⋅F′(xi)G(x)=\sum_{i=1}^{\infin}x^i\cdot F'(x^i)G(x)=i=1xiF(xi)

Gn=∑i=1∞[xn−i]F′(xi)G_n=\sum_{i=1}^{\infin}[x^{n-i}]F'(x^i)Gn=i=1[xni]F(xi)

经过大胆的观察和仔细的猜想

Gn=∑d∣n(n−dd+1)Fn−dd+1G_n=\sum_{d\mid n}(\frac {n-d}d+1)F_{\frac {n-d}d+1}Gn=dn(dnd+1)Fdnd+1

Gn=∑d∣n(nd)FndG_n=\sum_{d\mid n}(\frac nd)F_{\frac nd}Gn=dn(dn)Fdn

Gn=∑d∣ndFdG_n=\sum_{d\mid n}d F_dGn=dndFd

然后每求出一个FFF,就可以调和级数复杂度求出之前的GGG,就可以分治 NTT 了。

但是分治时如果L=1L=1L=1GGG可能不够用。解决办法是先不计算不够的地方的贡献,在后面再把它加上。

具体的讲,如果我们要计算F1∼midF_{1\sim mid}F1midFmid+1∼RF_{mid+1\sim R}Fmid+1R的贡献,我们只计算iii不超过midmidmidGiG_iGi的贡献,这样少算了Gmid+1,R−1G_{mid+1,R-1}Gmid+1,R1的贡献。而这部分贡献可以通过RRR之前交换FFFGGG做一次类似的卷积计算出来。详见代码。

复杂度O(nlog⁡2n)O(n\log ^2n)O(nlog2n)

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cctype>
#define MAXN 524288
using namespace std;
const int MOD=998244353;
typedef long long ll;
inline int add(const int& x,const int& y){return x+y>=MOD? x+y-MOD:x+y;}
inline int dec(const int& x,const int& y){return x<y? x-y+MOD:x-y;}
inline int qpow(int a,int p)
{int ans=1;while (p){if (p&1) ans=(ll)ans*a%MOD;a=(ll)a*a%MOD;p>>=1;}return ans;
}
#define inv(x) qpow(x,MOD-2)
int rt[2][24],r[MAXN],l,lim;
inline void init(){lim=1<<l;for (int i=0;i<lim;i++) r[i]=(r[i>>1]>>1)|((i&1)<<(l-1));}
inline void NTT(int* a,int type)
{for (int i=0;i<lim;i++) if (i<r[i]) swap(a[i],a[r[i]]);for (int L=0;L<l;L++){int mid=1<<L,len=mid<<1;ll Wn=rt[type][L+1];for (int s=0;s<lim;s+=len)for (int k=0,w=1;k<mid;k++,w=w*Wn%MOD){int x=a[s+k],y=(ll)w*a[s+mid+k]%MOD;a[s+k]=add(x,y),a[s+mid+k]=dec(x,y);}}if (type){int t=inv(lim);for (int i=0;i<lim;i++) a[i]=(ll)a[i]*t%MOD;}
}
int f[MAXN],g[MAXN],n;
int a[MAXN],b[MAXN];
void solve(int L,int R)
{if (L==R){if (L>1) f[L]=(ll)f[L]*inv(L-1)%MOD;int t=(ll)L*f[L]%MOD;for (int i=L;i<=n;i+=L) g[i]=add(g[i],t);return;}int mid=(L+R)>>1;solve(L,mid);int len=R-L;for (l=0;(1<<l)<=(len<<1);l++);init();if (L==1){for (int i=0;i<lim;i++) a[i]=b[i]=0;for (int i=L;i<=mid;i++) a[i]=f[i],b[i]=g[i];NTT(a,0);NTT(b,0);for (int i=0;i<lim;i++) a[i]=(ll)a[i]*b[i]%MOD;NTT(a,1);for (int i=mid+1;i<=R;i++) f[i]=add(f[i],a[i]);}else{for (int i=0;i<lim;i++) a[i]=b[i]=0;for (int i=L;i<=mid;i++) a[i-L]=f[i];for (int i=0;i<=len;i++) b[i]=g[i];NTT(a,0);NTT(b,0);for (int i=0;i<lim;i++) a[i]=(ll)a[i]*b[i]%MOD;NTT(a,1);for (int i=mid+1;i<=R;i++) f[i]=add(f[i],a[i-L]);for (int i=0;i<lim;i++) a[i]=b[i]=0;for (int i=L;i<=mid;i++) a[i-L]=g[i];for (int i=0;i<=len;i++) b[i]=f[i];NTT(a,0);NTT(b,0);for (int i=0;i<lim;i++) a[i]=(ll)a[i]*b[i]%MOD;NTT(a,1);for (int i=mid+1;i<=R;i++) f[i]=add(f[i],a[i-L]);}solve(mid+1,R);
}
int main()
{rt[0][23]=qpow(3,119),rt[1][23]=inv(rt[0][23]);for (int i=22;i>=0;i--){rt[0][i]=(ll)rt[0][i+1]*rt[0][i+1]%MOD;rt[1][i]=(ll)rt[1][i+1]*rt[1][i+1]%MOD;}scanf("%d",&n);f[1]=1;solve(1,n);int ans=f[n];printf("%d\n",ans);return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/314943.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Codeforces Round #602 (Div. 2) D2. Optimal Subsequences stl 黑科技

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 比较明显的是我们需要将序列从大到小排序&#xff0c;让后取前kkk个数&#xff0c;再从中选择第pospospos小的位置输出当前位置的数即可。 一开始想用setsetset维护&#xff0c;但是setse…

小白开学Asp.Net Core 《七》

小白开学Asp.Net Core 《七》— — 探究中间件&#xff08;MiddleWare&#xff09;1、何为中间件&#xff1f;中间件是组装到应用程序管道中以处理请求和响应的家伙&#xff0c;管道中的每个组件都要满足以下两个条件选择是否将请求传递给管道中的下一个组件可以在调用管道中的…

【SHOI2017】相逢是问候【扩展欧拉定理】【复杂度分析】【线段树】

题意&#xff1a;给定一个长度为 nnn 的序列 aia_iai​&#xff0c;维护 mmm 次操作&#xff1a; 区间执行 ai←caia_i \leftarrow c^{a_i}ai​←cai​&#xff1b;区间求和 模 ppp。 其中 p,cp,cp,c 对所有操作相同。 n,m≤5104,p≤108n,m\leq 5\times 10^4,p\leq 10^8n,m≤…

aspnetcore 实现简单的伪静态化

aspnetcore 实现简单的伪静态化Intro在我的活动室预约项目中&#xff0c;有一个公告模块&#xff0c;类似于新闻发布&#xff0c;个人感觉像新闻这种网页基本就是发布的时候编辑一次之后就再也不会改了&#xff0c;最适合静态化了&#xff0c; 静态化之后用户请求的就是静态文件…

#530. 「LibreOJ β Round #5」最小倍数 二分 + 数论

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 本来想刷数位dpdpdp&#xff0c;无意间碰到了这个题来水水。 我们知道n!n!n!中质因子ppp的个数为∑i1npi\sum_{i1} \frac{n}{p^i}∑i1​pin​&#xff0c;所以我们就可以二分nnn&#xff0…

斜堆学习笔记+复杂度证明

和左偏树几乎一模一样&#xff0c;唯一的区别是左偏树合并后判断如果左儿子深度小于右儿子则交换左右儿子&#xff0c;而斜堆直接无脑交换。 复杂度是均摊的 O(nlog⁡n)O(n\log n)O(nlogn) 证明&#xff1a; 定义重结点为右儿子大小大于左儿子的结点&#xff0c;否则为轻结点…

《ASP.NET Core 高性能系列》致敬伟大的.NET斗士甲骨文

写在开始三年前,曾写过一篇文章:从.NET和Java之争谈IT这个行业,当时遭到某些自认为懂得java就了不起的Javaer抨击,现在可以致敬伟大的.NET斗士甲骨文了  (JDK8以上都需要收费,Android弃用java作为第一语言,别高兴:OpenJDK是甲骨文的).《ASP.NET Core 高性能系列》是一套如何编…

【NOIP2017】逛公园【最短路DAG】【dp】【拓扑排序】

题意&#xff1a;给一张帯权有向图&#xff0c;求 111 到 nnn 长度不超过最短路长度 kkk 的路径条数 模 PPP。有无数条输出 −1-1−1 。 n≤105,m≤2105,k≤50n\leq 10^5,m\leq 2\times 10^5,k\leq 50n≤105,m≤2105,k≤50&#xff0c;边权非负 先往最短路图想 发现 kkk 很小…

Codeforces Round #599 (Div. 2) E. Sum Balance 图转换 + 子集dp + 环

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 首先我们知道如果所有数的和summodk!0sum\bmod k!0summodk!0那么此时无解&#xff0c;否则我们设needsum/kneedsum/kneedsum/k。 看到kkk这么小&#xff0c;自然的想到是否能状压&#xff…

资深开发者们是如何读书的?---线下读书会记录

读了多少书&#xff1f;怎么读书&#xff1f;——请问大家最近读书了吗&#xff1f;一年大概读了多少本书。有超过20本&#xff0c;超过30本&#xff0c;超过50本吗&#xff1f;在7月14日由长沙互联网活动基地和长沙.NET技术社区组织的小型社区活动&#xff0c;《开发者爱读书•…

【APIO2018】Duathlon 铁人两项 【圆方树】

题意&#xff1a;给一张 nnn 点 mmm 边的简单无向图&#xff0c;求有多少个三元组 (s,c,f)(s,c,f)(s,c,f) &#xff0c;满足存在一条从 sss 到 fff 经过 ccc 的简单路径。 n≤105,m≤2105n\leq 10^5,m\leq 2\times 10^5n≤105,m≤2105 首先这个 “经过 ccc 的简单路径” &…

Codeforces Round #598 (Div. 3) E. Yet Another Division Into Teams dp + 输出方案

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个长度为nnn的序列aaa&#xff0c;你需要将其分成若干组&#xff0c;每组的价值为max⁡(ai)−min(ai)\max(a_i)-min(a_i)max(ai​)−min(ai​)&#xff0c;求如何分组才能使得代价最小&#xff0c;输出…

架构杂谈《三》

一致性问题前面的《架构杂谈一》和《架构杂谈二》 杂谈了从服务化到微服务架构的演进&#xff0c;并肯定了服务化和微服务架构是一脉相承的。微服务在服务化架构的基础上&#xff0c;对服务化的细节和方案进行了优化和细化&#xff0c;重点突出了无中心化管理的微服务架构&…

【SDOI2018】战略游戏【圆方树】【虚树】

题意&#xff1a;给一张 nnn 点 mmm 边的连通无向图&#xff0c;qqq 次询问&#xff0c;每次给出一个点集 SSS &#xff0c;求有多少个不在 SSS 中的点满足删除后 SSS 中存在两个点不连通。 n≤105,m≤2105,∑∣S∣≤2105n\leq 10^5,m\leq 2\times 10^5,\sum |S|\leq 2\times 1…

Codeforces Round #598 (Div. 3) F. Equalizing Two Strings 思维 + 逆序对

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你两个长度为nnn的串a,ba,ba,b&#xff0c;每次可以同时翻转a,ba,ba,b中任意一段长度为L(1≤L≤n)L(1\le L\le n)L(1≤L≤n)的子串&#xff0c;问能否通过若干次操作使两个串相同。 思路&#xff1a; 首…

腾讯发布 Tencent SCF Toolkit VS Code 插件,轻松开发无服务器云函数

在之前的文章中&#xff0c;我们提到了亚马逊、谷歌、IBM 等大厂都上了 Visual Studio Code 的船。阿里巴巴也在近日发布了 Aliyun Serverless VS Code 插件。近期&#xff0c;腾讯也上了 VS Code 的船&#xff0c;发布了基于 VS Code 的 Tencent SCF Toolkit 插件&#xff0c;…

Codeforces Round #726 (Div. 2) D. Deleting Divisors 博弈

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个数nnn&#xff0c;有两个人博弈&#xff0c;每次可以将nnn减去一个nnn的因子&#xff0c;这个因子不能为111或nnn。当不能操作的人输掉游戏。问你先手赢还是后手赢。 思路&#xff1a; 这个题多写…

【POI2007】OSI-Axes of Symmetry【计算几何】【manacher】

题意&#xff1a;给一个 nnn 个点的多边形&#xff0c;求对称轴个数。 n≤105n\leq 10^5n≤105 显然对称轴一定在顶点或边的中点上。 但你 n2n^2n2 枚举完全没有一点能过的样子。 冷静分析&#xff0c;发现有 “中点”&#xff0c;“对称轴”&#xff0c;很自然个鬼地想到了…

端到端测试实践:Jenkins集成TestCafe

上一篇《对产品质量的一点思考》中说到自动化测试的重要性&#xff0c;本文简单介绍下怎样在实际项目中实现端到端测试的自动化&#xff0c;在这里我们使用的端到端测试工具是TestCafe。环境Jenkisn&#xff1a;2.183TestCafe&#xff1a;1.3.0为什么采用TestCafe做自动化测试要…

Codeforces Round #727 (Div. 2) F. Strange Array 线段树 + 区间合并 + 排序优化

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个长度为nnn的数组&#xff0c;对每个位置iii求一个最大价值&#xff0c;价值计算方式如下&#xff1a;选择一个包含iii的[l,r][l,r][l,r]&#xff0c;让后将其拿出来排序&#xff0c;之后价值就是当前…