标签：Set frac log sum Stirling Solution mathcal brace 类边
《好多题的题解》
根据结论
\[x^{\overline{n}}=\sum_i{n\brack i}x^i, \]我们只需要求出 \(x^{\overline{n}}\) 的各项系数。显然的 \(\mathcal O(n\log^2n)\) 做法就足够过掉洛谷上的原题了，但是我们 OJ 比较卓越，所以得用 \(\mathcal O(n\log n)\) 的做法。
考虑倍增。令 \(F_n(x)=x^{\overline{n}}\)，那么
\[\begin{aligned} \frac{F_{2n}(x)}{F_n(x)} &= F_n(x+n)\\ &= \sum_{i=0}^n{n\brack i}(x+n)^i\\ &= \sum_{i=0}^n{n\brack i}\sum_{j=0}^i\binom{i}{j}x^jn^{i-j}\\ &= \sum_{j=0}^n\frac{x^j}{j!}\sum_{i=j}^n\frac{n\brack i}{i!}\cdot\frac{n^{i-j}}{(i-j)!}. \end{aligned} \]可见 \(F_n(x+n)\) 是差卷积形式，\(\mathcal O(n\log n)\) 求出后再和 \(F_n(x)\) 卷起来，\(\mathcal O(n\log n)\) 完成倍增。总复杂度 \(T(n)=T(n/2)+\mathcal O(n\log n)=\mathcal O(n\log n)\)。
你永远可以相信组合意义。
轮换数量的 EGF 为 \(G(x)=\sum_{i>0}\frac{(i-1)!x^i}{i!}\)，而显然“构成 \(m\) 个圆排列”等价于随便拿出 \(m\) 个总长为 \(n\) 的轮换，再为轮换中的数安排具体的值，最后除掉不同轮换间的顺序。令 \(R(x)=\sum_i\frac{{i\brack k}x^i}{i!}\)，那么
\[R(x)=\frac{G^k(x)}{k!}. \]\(\mathcal O(n\log n)\) 快速幂即可。注意 \([x^0]G(x)\not=1\)，需要位移后进行 \(\ln\) 运算。
考虑 \({n\brace m}\) 的组合意义：\(n\) 个不同的球放入 \(m\) 个相同的盒子且盒子不空的方案数。而 \(m!{n\brace m}\) 即 \(n\) 个不同的球放入 \(m\) 个不同的盒子且盒子不空的方案数。所以可以二项式反演求 \({n\brace m}\)：
\[m^n=\sum_{i=0}^m \binom{m}{i}\cdot i!{n\brace i}\\ \begin{aligned} \Rightarrow {n\brace m} &= \frac{1}{m!}\sum_{i=0}^m(-1)^{m-i}\binom{m}{i}i^n\\ &= \sum_{i=0}^m\frac{(-1)^{m-i}}{(m-i)!}\cdot\frac{i^n}{i!}. \end{aligned} \]好看又好记的式子。而这个通项恰好就是关于 \(m\) 这维的卷积形式，所以 \(\mathcal O(n\log n)\) 卷一卷即可。
组合意义嘛。把若干求放入一个盒子的 EGF 为 \(G(x)=\sum_{i>0}\frac{x^i}{i!}=e^x-1\)，令 \(R(x)=\sum_i\frac{{i\brace k}x^i}{i!}\)，那么
\[R(x)=\frac{G^k(x)}{k!}. \]还是 \(\mathcal O(n\log n)\) 快速幂。于是你惊讶地发现整个算法与第一类求列的区别只有：初始 \(G(x)\) 的系数从 \(x\) 的逆元变成了 \(x!\) 的逆元。所以这两类数确实是近亲（？）
「HEOI 2016 / TJOI 2016」「洛谷 P4091」求和
\[\begin{aligned} f(n) &= \sum_{i=0}^n\sum_{j=0}^i{i\brace j}2^jj!\\ &= \sum_{j=0}^n2^jj!\sum_{i=0}^n{i\brace j}\\ &= \sum_{j=0}^n2^jj!\sum_{i=0}^n\sum_{k=0}^j\frac{(-1)^{j-k}k^i}{k!(j-k)!}\\ &= \sum_{j=0}^n2^jj!\sum_{k=0}^j\frac{(-1)\sum_{i=0}^nk^i}{k!(j-k)!} \end{aligned} \]特殊处理 \(k=0\) 和 \(k=1\)，其余情况最内层和式可以等差数列求和，得到卷积形式。\(\mathcal O(n\log n)\) 求出卷积再每项带 \(2^jj!\) 的系数求和即可。
如果只有行上限制就可以直接组合数算，考虑用 DP 化简列上的组合问题。令 \(f(i)\) 表示 \(m=i\) 时的答案，总数减去不合法方案数，得到
\[f(i)=\binom{c^i}{n}-\sum_{j=1}^{i-1}{i\brace j}f(j). \]\(\mathcal O(n^2)\) 大力算就能过。
「CF 715E」Complete the Permutations
不管怎么说，这个 3400 还是虚高了。
显然的结论：对于已补全的排列 \(p\) 和 \(q\)，它们的距离为 \(n\) 减去置换 \(\sigma:p_i\mapsto q_i~(\forall i)\) 中的轮换数量。讨论一对 \(\lang p_i,q_i\rang\) 目前的状态：
- \(\lang a,b\rang~(ab\not=0)\)，将 \(a,b\) 视作同一点（缩点），环的数量不改变；
- \(\lang 0,b\rang~(b\not=0)\)，称之为 A 类边；
- \(\lang a,0\rang~(a\not=0)\)，称之为 B 类边；
- \(\lang 0,0\rang\)，称之为 C 类边。
同时又注意到，若 \(a\mapsto b,b\mapsto c~(b\not=0)\) 已经确定，那么无论 \(a,c\) 是否为 \(0\)，\(b\) 都可以被忽略，得到 \(a\mapsto c\)。考虑完成上述缩点后该操作的执行：
- A 类边 + A 类边，两者顺序任意，得到新的 A 类边；
- A 类边 + B 类边，不可能执行；
- A 类边 + C 类边，C 放 A 后面，得到新的 C 类边；
- B 类边 + B 类边，两者顺序任意，得到新的 B 类边；
- B 类边 + C 类边，C 妨 B 前面，得到新的 C 类边；
因此，对于 A 类和 B 类边，要不自己连成完整的环，要不直接或间接地被缩入某个 C 类边。注意到以上操作不改变 C 类边的数量，且 ABC 间不相互影响。所以“A 类边构成环，剩下的缩入 C 类边”“B 类边构成环，剩下的缩入 C 类边”以及“C 类边构成环”三个组合问题是独立的。记 \(A,B,C\) 分别为三类边在完成所有缩边操作后的数量，考虑它们的方案数关于环数量的 GF：
\[[x^k]G_A(x)=\sum_{i=0}^A\binom{A}{i}{i\brack k}(A-i+C-1)^{\underline{A-i}};\\ [x^k]G_B(x)=\sum_{i=0}^B\binom{B}{i}{i\brack k}(B-i+C-1)^{\underline{B-i}};\\ [x^k]G_C(x)=C!{C\brack k}. \]解释一下 \(G_A(x)\)：枚举 \(i\) 条自己成环，乘上选边和成环方案，其余 \((A-i)\) 条边依次选一条边合并（可能是 A+A 或者 A+C，和剩下的任意边都能合并）。
记 \(R(x)=G_A(x)G_B(x)G_C(x)\)，设初始时已经有 \(l\) 个环确定了，那么 \([x^{n-k}]x^lR(x)\) 即为距离为 \(k\) 的方案。中途涉及的运算全部暴力，\(\mathcal O(n^2)\) 可过。
设某条路径的长度为 \(d\)，注意到
\[d^k=k!\sum_{i=0}^k{k\brace i}\binom{d}{k}, \]其中 \(\binom{d}{k}\) 能够被赋予组合意义，对它换根 DP 即可。复杂度 \(\mathcal O(Tnk)\)。
非常自然的想法是将原问题用最大值的位置划分为两个关于最长贪心上升子序列的问题，但不要被这个想法限制了。令 \(A\leftarrow A-1,B\leftarrow B-1\)，先用除最大值外的 \((n-1)\) 个数构成 \((A+B)\) 个轮换，不放认为轮换中的最大值在第一个的位置，那么把轮换按第一个位置的大小依次放置，就能得到对应长度的最长贪心上升子序列。而所有轮换确定后，最大值 \(n\) 自然只有一个位置能放（注意轮换内部形态）。因此，答案为
\[\binom{A+B}{A}{n-1\brack A+B}. \]复杂度 \(\mathcal O(nA)-\mathcal O(1)\)。
标签：Set,frac,log,sum,Stirling,Solution,mathcal,brace,类边 来源： https://www.cnblogs.com/rainybunny/p/15707327.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。