不用连通 枚举入度为0的一层 卷积 发现有式子: 由$n^2-i^2-(n-i)^2=2*i*(n-i)$ 可得$2^{i*(n-i)}=\frac{{\sqrt 2}^{(n^2)}}{{\sqrt 2}^{(i^2)}*{\sqrt 2}^{(n-i)^2}}$ 设$g(n)={\sqrt 2}^{(n^2)}$ 则,$2^{i*(n-i)}=\frac{g(n)}{g(i)*g(n-i)}$ 指数相乘变成指数相加减,把$g(n)$除过去即可 连通 弱联通:变成无向边是连通的 f(n)表示n…

题目分析 来自2013年王迪的论文<浅谈容斥原理> 设\(f_{n,S}\)表示n个节点,入度为0的点集恰好为S的方案数. 设\(g_{n,S}\)表示n个节点,入度为0的点集至少为S的方案数. 对于\(g_{n,S}\),有递推式 \[ g_{n,S}=2^{|S|(n-|S|)}g_{n-|S|,\emptyset} \] f与g有如下关系 \[ g_{n,S}=\sum_{S\subseteq T}f_{n,T} \] 子集反演一下 \[ f_{n,S}=\sum_{S\subseteq…

题意:求n个点有向图其中SCC是一个的方案数 考虑求出若干个不连通的每个连通块都是SCC方案数然后再怎么做一做.(但是这里不能用Ln,因为推不出来) 设$f_n$为答案, $g_n$为n个点的有向图,分成若干个连通块,每个连通块都是一个SCC,且当连通块大小为奇数时候贡献1系数,偶数时候贡献-1系数.(这里把系数放进去可以避免再来一个函数的麻烦!) $h_n$表示n个点有向图个数$h_n=2^{n*(n-1)}$ $h_n=\sum_{i=1}^nC(n,i)\times g(i)\times…

有标号的DAG计数系列 有标号的DAG计数I 题意 给定一正整数\(n\),对\(n\)个点有标号的有向无环图(可以不连通)进行计数,输出答案\(mod \ 10007\)的结果.\(n\le 5000\) 题解 显然是\(O(n^2)\)来做. 设\(f(i)\)表示\(i\)个点有标号的有向无环图的个数.而\(DAG\)中的特殊点显然只有两种,要么是出度为\(0\),要么入度为\(0\).随便枚举哪一种都行,这里枚举入度为\(0\)的点. 那么得到式子: \[f(n)=\sum_{i=1}^…

题面 题目描述 给定一正整数n,对n个点有标号的有向无环图进行计数. 这里加一个限制:此图必须是弱连通图. 输出答案mod 998244353的结果 输入格式 一个正整数n. 输出格式 一个数,表示答案. 样例输入 3 样例输出 18 提示 对于第i个点 1<=n<=10000i. 题目分析 综合COGS2355 [HZOI 2015] 有标号的DAG计数 II与[2013集训胡渊鸣]城市规划. \(f(i)\)用前一题的方法求出,用后一题的方法推出\(g(i)\)即为答案. 代码实现 #in…

题面 题目描述 给定一正整数n,对n个点有标号的有向无环图(可以不连通)进行计数,输出答案mod 998244353的结果 输入格式 一个正整数n 输出格式 一个数,表示答案 样例输入 3 样例输出 25 数据范围和约定 对于第i个点 1<=n<=10000*i 增大了数据范围. 题目分析 COGS2353 [HZOI2015]有标号的DAG计数 I升级版. 在这道题的基础上继续往下化: \[ \begin{split} f(n)&=\sum_{i=1}^n\frac {n!}{(n-…

[HZOI 2015] 有标号的DAG计数 IV 我们已经知道了\(f_i\)表示不一定需要联通的\(i\)节点的dag方案,考虑合并 参考[题解]P4841 城市规划(指数型母函数+多项式Ln),然后答案\(h_i\)母函数\(H(x)\)就这样解 由于 \[ H(x)=\sum_{i=0}^{\inf} \dfrac {(F(x))^i} {i!} \] 则 \[ H(x)=e^{F(x)} \] 球\(\ln\)就好了 //@winlere #include<iostream> #inc…

[HZOI 2015] 有标号的DAG计数 III 我们已经知道了\(f_i\)表示不一定需要联通的\(i\)节点的dag方案,考虑合并 参考[题解]P4841 城市规划(指数型母函数+多项式Ln),然后答案\(h_i\)母函数\(H(x)\)就这样解 由于 \[ H(x)=\sum_{i=0}^{\inf} \dfrac {(F(x))^i} {i!} \] 则 \[ H(x)=e^{F(x)} \] 球\(\ln\)就是IV,不求的话可以直接手动模拟\(F(x)^i/i!\) //@winl…

[HZOI 2015] 有标号的DAG计数 II \(I\)中DP只有一个数组, \[ dp_i=\sum{i\choose j}2^{j(i-j)}dp_{i-j}(-1)^{j+1} \] 不会... 傻啊直接多项式球逆,借鉴一些luogu那道模板分治FFT 这里主要有个很烦人的\(ji-j^2\),现在要构造成\(j,i-j,i\)的的形式就好了,神tst告诉我们 \[ ij = \binom{i}{2} + \binom{j+1}{2} - \binom{i-j}{2}=\dfrac {…

[HZOI 2015] 有标号的DAG计数 I 设\(f_i\)为\(i\)个点时的DAG图,(不必联通) 考虑如何转移,由于一个DAG必然有至少一个出度为\(0\)的点,所以我们钦定多少个出度为\(0\)的点转移. 考虑如何保证没有环,钦定完出度为\(0\)的点后,这些点就等着被连接了.还剩下一些点,这些点只要不构成环就好了,就是个子结构,访问以前的DP数组就好了. \[ {i\choose j}2^{j\times (i-j)}dp_{i-j} \] 这样转移显然有方案重复的情况,因为如此计…