正题

题目链接:https://www.luogu.com.cn/problem/P6295


题目大意

求所有\(n\)个点的弱联通\(DAG\)数量。

\(1\leq n\leq 10^5\)


解题思路

先不考虑弱联通的限制,求\(n\)个点的\(DAG\)数量。

设为\(f_i\),那么有式子

\[f_n=\sum_{i=1}^{n}\binom{n}{i}2^{i(n-i)}f_{n-i}(-1)^{i+1}
\]

这个式子的意思是说新建一层出度为\(0\)的点,\(\binom{n}{i}\)很显然,然后\(2^{i(n-i)}\)是连边,然后\(f_{n-i}\)表示前面的方案。之后会发现这样的连法其实不保证原来出度为\(0\)的点现在都不为\(0\)了,也就是说这个是至少有\(i\)个出度为\(0\)的点的方案,那么要有一个容斥系数\((-1)^{i+1}\)。

然后把\(2^{i(n-i)}\)拆成\(2^{\binom{n}{2}}2^{-\binom{i}{2}}2^{-\binom{n-i}{2}}\)化一下两边的式子就是

\[\frac{f_n}{2^{\binom{n}{2}}n!}=\sum_{i=1}^n\frac{(-1)^{i+1}}{2^{\binom{i}{2}}i!}\frac{f_{n-i}}{2^{\binom{n-i}{2}}(n-i)!}
\]

很经典的式子,设\(G(x)[n]=\frac{f_n}{2^{\binom{n}{2}}n!},F(x)[n]=\frac{(-1)^{n+1}}{2^{\binom{n}{2}}n!}\)

那么有

\[G=GF+1\Rightarrow G=\frac{1}{1-F}
\]

多项式求逆就可以得到\(G\)。

然后得出数组\(f\),要求弱联通的话挺显然的就是如果弱联通的生成函数是\(H\),没有要求的是\(F\)

那么有

\[e^H=F\Rightarrow H=\ln(F)
\]

所以在再个多项式ln就好了。

时间复杂度:\(O(n\log n)\)


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=1<<17,M=N*8,P=998244353;
ll T,F[M],G[M],tmp[M],t1[M],t2[M],r[M];
ll power(ll x,ll b){
ll ans=1;
while(b){
if(b&1)ans=ans*x%P;
x=x*x%P;b>>=1;
}
return ans;
}
void NTT(ll *f,ll n,ll op){
for(ll i=0;i<n;i++)
if(i<r[i])swap(f[i],f[r[i]]);
for(ll p=2;p<=n;p<<=1){
ll len=p>>1,tmp=power(3,(P-1)/p);
if(op==-1)tmp=power(tmp,P-2);
for(ll k=0;k<n;k+=p){
ll buf=1;
for(ll i=k;i<k+len;i++){
ll tt=buf*f[i+len]%P;
f[i+len]=(f[i]-tt+P)%P;
f[i]=(f[i]+tt)%P;
buf=buf*tmp%P;
}
}
}
if(op==-1){
ll invn=power(n,P-2);
for(ll i=0;i<n;i++)
f[i]=f[i]*invn%P;
}
return;
}
void GetInv(ll *f,ll *g,ll n){
if(n==1){g[0]=power(f[0],P-2);return;}
GetInv(f,g,n>>1);ll m=n<<1;
for(ll i=0;i<n;i++)tmp[i]=F[i];
for(ll i=n;i<m;i++)tmp[i]=0;
for(ll i=0;i<m;i++)r[i]=(r[i>>1]>>1)|((i&1)?(m>>1):0);
NTT(tmp,m,1);NTT(g,m,1);
for(ll i=0;i<m;i++)g[i]=(2*g[i]-tmp[i]*g[i]%P*g[i]%P+P)%P;
NTT(g,m,-1);
for(ll i=n;i<m;i++)g[i]=0;
return;
}
void GetD(ll *f,ll *g,ll n){
for(ll i=0;i<n-1;i++)
g[i]=f[i+1]*(i+1)%P;
g[n-1]=0;return;
}
void GetJ(ll *f,ll *g,ll n){
for(ll i=1;i<n;i++)
g[i]=f[i-1]*power(i,P-2)%P;
g[0]=0;return;
}
void GetLn(ll *f,ll *g,ll n){
memset(t1,0,sizeof(t1));
memset(t2,0,sizeof(t2));
// n<<=1;
GetD(f,t1,n);
GetInv(f,t2,n);
ll m=n<<1;
for(ll i=0;i<m;i++)r[i]=(r[i>>1]>>1)|((i&1)?(m>>1):0);
NTT(t1,m,1);NTT(t2,m,1);
for(ll i=0;i<m;i++)t1[i]=t1[i]*t2[i]%P;
NTT(t1,m,-1);
for(ll i=n;i<m;i++)t1[i]=0;
GetJ(t1,g,n);return;
}
signed main()
{
F[1]=1;
for(ll i=2;i<N;i++)F[i]=P-F[P%i]*(P/i)%P;
F[0]=1;
for(ll i=1;i<N;i++)F[i]=F[i-1]*F[i]%P;
for(ll i=0;i<N;i++)F[i]=F[i]*power(power(2,i*(i-1)/2%(P-1)),P-2)%P;
for(ll i=0;i<N;i++)F[i]=(i&1)?(P-F[i]):F[i];
GetInv(F,G,N);
for(ll i=0;i<N;i++)F[i]=G[i]*power(2,i*(i-1)/2%(P-1))%P;
memset(G,0,sizeof(G));
GetLn(F,G,N);
scanf("%lld",&T);
for(ll i=1,pw=1;i<=T;i++,pw=pw*i%P)
printf("%lld\n",G[i]*pw%P);
return 0;
}

P6295-有标号 DAG 计数【多项式求逆,多项式ln】的更多相关文章

  1. P6295 有标号 DAG 计数

    P6295 有标号 DAG 计数 题意 求 \(n\) 个点有标号弱联通 DAG 数量. 推导 设 \(f_i\) 表示 \(i\) 个点有标号 DAG 数量(不保证弱联通),有: \[f(i)=\s ...

  2. FFT模板 生成函数 原根 多项式求逆 多项式开根

    FFT #include<iostream> #include<cstring> #include<cstdlib> #include<cstdio> ...

  3. 【BZOJ3456】轩辕朗的城市规划 无向连通图计数 CDQ分治 FFT 多项式求逆 多项式ln

    题解 分治FFT 设\(f_i\)为\(i\)个点组成的无向图个数,\(g_i\)为\(i\)个点组成的无向连通图个数 经过简单的推导(枚举\(1\)所在的连通块大小),有: \[ f_i=2^{\f ...

  4. bzoj 3456 城市规划——分治FFT / 多项式求逆 / 多项式求ln

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 分治FFT: 设 dp[ i ] 表示 i 个点时连通的方案数. 考虑算补集:连通的方 ...

  5. NTT+多项式求逆+多项式开方(BZOJ3625)

    定义多项式$h(x)$的每一项系数$h_i$,为i在c[1]~c[n]中的出现次数. 定义多项式$f(x)$的每一项系数$f_i$,为权值为i的方案数. 通过简单的分析我们可以发现:$f(x)=\fr ...

  6. 2019.01.01 bzoj3625:小朋友和二叉树(生成函数+多项式求逆+多项式开方)

    传送门 codeforces传送门codeforces传送门codeforces传送门 生成函数好题. 卡场差评至今未过 题意简述:nnn个点的二叉树,每个点的权值KaTeX parse error: ...

  7. 【BZOJ3625】【codeforces438E】小朋友和二叉树 生成函数+多项式求逆+多项式开根

    首先,我们构造一个函数$G(x)$,若存在$k∈C$,则$[x^k]G(x)=1$. 不妨设$F(x)$为最终答案的生成函数,则$[x^n]F(x)$即为权值为$n$的神犇二叉树个数. 不难推导出,$ ...

  8. [Codeforces438E][bzoj3625] 小朋友和二叉树 [多项式求逆+多项式开根]

    题面 传送门 思路 首先,我们把这个输入的点的生成函数搞出来: $C=\sum_{i=0}^{lim}s_ix^i$ 其中$lim$为集合里面出现过的最大的数,$s_i$表示大小为$i$的数是否出现过 ...

  9. 洛谷 P6295 - 有标号 DAG 计数(生成函数+容斥+NTT)

    洛谷题面传送门 看到图计数的题就条件反射地认为是不可做题并点开了题解--实际上这题以我现在的水平还是有可能能独立解决的( 首先连通这个条件有点棘手,我们尝试把它去掉.考虑这题的套路,我们设 \(f_n ...

随机推荐

  1. mfc 常用的知识点

    在MFC中引入了文档-视结构的概念,文档相当于数据容器,视相当于查看数据的窗口或是和数据发生交互的窗口.因此一个完整的应用一般由四个类组成:CWinApp应用类,CFrameWnd窗口框架类,CDoc ...

  2. .NET Core程序发布报错:project.assets.json”没有“.NETCoreApp,Version=v3.1/win-x64”的目标。确保已运行还原,且“netcoreapp3.1”已包含在项目的 TargetFrameworks中。

    在控制台中使用命令发布.NET Core程序的时候,报如下的错误: project.assets.json"没有".NETCoreApp,Version=v3.1/win-x64& ...

  3. 四:HttpServletRequest对象

    一.HttpServletRequest介绍 HttpServletRequest对象代表客户端的请求,当客户端通过HTTP协议访问服务器时,HTTP请求头中的所有信息都封装在这个对象中,通过这个对象 ...

  4. ArcGIS地形分析--TIN及DEM的生成,TIN的显示

    DEM是对地形地貌的一种离散的数字表达,是对地面特性进行空间描述的一种数字方法.途径,它的应用可遍及整个地学领域.通过对本次实习的学习,我们应加深对TIN建立过程的原理.方法的认识:熟练掌握ArcGI ...

  5. Executor执行器

    Executors: CachedThreadPool  将为每个任务创建一个线程. public class CachedThreadPool { public static void main(S ...

  6. 华为音频编辑服务(Audio Editor Kit),快速构建应用音频编辑能力

    音频编辑服务(Audio Editor Kit)是华为为开发者开放的各类场景音频处理能力的集合,汇聚了华为在音乐.语音等相关音频领域的先进技术.音频编辑服务提供基础编辑.伴奏提取.空间渲染.变声降噪等 ...

  7. Learning ROS: Managing System dependencies

    Download and install the system dependencies for turtlesim: roscd turtlesim cat package.xml rosdep i ...

  8. centos7 wget安装Tomcat7

    2021-07-15 1.环境介绍 操作系统:centos7 jdk版本:jdk1.8.0.211 tomcat版本:tomcat7.0.109 2. 检查系统中是否已经安装 jdk ,如未安装, 请 ...

  9. css之px、em、rem

    rem是css3新定义的设置字体大小属性,常用的两种字体大小设置有下面2种:1. px为单位2.em为单位(百分比用法跟em类似) PX为单位 在Web页面初期制作中,我们都是使用"px&q ...

  10. Servlet监听器详解及举例

    监听器就是一个实现特定接口的普通java程序,这个程序专门用于监听另一个java对象的方法调用或属性改变,当被监听对象发生上述事件后,监听器某个方法将立即被执行. 监听器原理 监听原理 1.存在事件源 ...