我不会组合计数

二项式系数

定义

定义组合数 $\dbinom n m $ 表示从 \(n\) 个不同物品中挑选 \(m\) 个数构成集合的方案。

定义排列数 \(A^{m}_n\) 表示从 \(n\) 个不同物品中选出 \(m\) 个数进行排列的方案,有 \(A_n^m = n \times (n - 1) \dots \times (n - m+1)\) ,而 \(m\) 个物品对应了 \(m!\) 个排列, 因此 \(\dbinom n m = \dfrac{n!}{m!(n - m)!}\)

根据组合数的定义,有 \(\dbinom n m = \dbinom n {n - m}\)

  1. 重要公式

    1. 二项式定理\((1+x)^n = \sum\limits_{i = 0}^{n} \dbinom n ix^i\)

    2. \(\dbinom n 0 = 1, \dbinom n 1 = n, \dbinom n 2 = \dfrac{n(n - 1)}2\)

    3. \(\dbinom n m = \dbinom {n - 1} m + \dbinom {n - 1}{m - 1}\) ,考虑组合意义为 \(n\) 个数中选 \(m\) 个, 枚举最后一个数选不选。

    4. \(\sum\limits_{i = 0}^{n}\dbinom n i = 2^n, \sum\limits_{i = 0}^{n / 2}\dbinom n{2i} = \sum\limits_{i = 0}^{n / 2} \dbinom {n}{2i + 1} = 2^{n - 1}\)\(\sum\limits_{i = 0}^{n}(-1)^i \dbinom n i = [n = 0]\), 在容斥原理有用。

    5. \(\dbinom n m = \dbinom {n - 1}{m - 1} \times \dfrac n m\)\(\sum\limits_{i = 0}^{n}i \times \dbinom n i = n \times 2^{n - 1}\)

    6. 上指标求和\(\sum\limits_{i = 0}^{n} \dbinom i m = \dbinom {n + 1}{m + 1}\) ,组合意义为枚举 \(n+1\) 中选 \(m+1\) 个数的最后一个。

    7. 对角线求和\(\sum\limits_{i = 0}^{n} \dbinom {m+ i} i = \dbinom {m+n + 1} n\)。 考虑按第三条性质数学归纳。

    8. 范德蒙德卷积\(\sum\limits_{i = 0}^{k} \dbinom n i \dbinom m {k - i} = \dbinom{n+ m} k\)

      考虑 \([x^k](1+x)^n(1+x)^m\),另一形式:\(\sum\limits_{i = 0}^{n} \dbinom n i \dbinom{m}{i+k} = \dbinom{n+m} k\)

    9. 上指标范德蒙德卷积\(\sum\limits_{k = 0}^{n}\dbinom{k}{l} \dbinom{n - k}{r} = \dbinom{n+1}{l+r+1}\)

      考虑 \(F_l(x) = \sum\limits_{n}\dbinom{n}{l} = \dfrac{x^l}{(1-x)^{l+1}}\)\(F_r(x) = \sum\limits_{n}\dbinom n r = \dfrac{x^r}{(1-x)^{r+1}}\), 相乘得到 \(\dfrac{x^{l+r}}{(1-x)^{l+r+2}}\)

    10. 将二项式系数的上指标 \(n\) 扩展到任意实数, 定义广义 / 牛顿二项式系数 \(\dbinom n m = \dfrac{n^{\underline m}}{m!}\), 其中 \(n^{\underline m} = \prod\limits_{i = 1}^{m}(n - i+1)\)

    11. 广义二项式定理:$(1+x)^{\alpha} = \sum\limits_{m = 0}^{+\infty}\dbinom {\alpha }mx^m \ \ \ \ \ [x \in [-1, 1]] $ ,可以计算负数的组合数,具体详见例题。

    12. 上指标翻转\(\dbinom n m = (-1)^{m}\dbinom {m - n - 1} m\)

    13. 多项式系数:将 \(n\) 个不同物体划分成 \(m\) 个集合, 第 \(i\) 个集大小为 \(a_i\) 的方案数称为多项式系数 \(\dbinom {n}{a_1,a_2,\dots,a_m} = \dbinom n {a_1} \times \dbinom{n - a_1}{a_2} \times \dots = \dfrac{n!}{a_1!a_2!\dots a_m!}\)

      与之对应的有多项式定理:\((\sum\limits_{i = 1}^mx_i)^n = \sum\limits_{\sum\limits_{i = 1}^{m}a_i = n} \dbinom {n}{a_1,a_2,\dots,a_m} \times \prod\limits_{i = 1}^{m}x^{a_i}\)

    14. (不知道叫什么名字的)恒等式:\(\sum\limits_{i = 0}^{m}\dbinom{n+m} ix^iy^{m- i} = \sum\limits_{i = 0}^{m}\dbinom{-n}{i}(-x)^{i}(x+y)^{m - i}\)

      带入 \(x = 1, y = -1\) 可以得到:\(\sum\limits_{i = 0}^{m}\dbinom{n+m}i(-1)^i = \dbinom{-n} m\)

      带入 \(x = y = 1, n = m+1\) 得到:\(\sum\limits_{i = 0}^{m}\dbinom{2m+1}{i}=\sum\limits_{i = 0}^{m}\dbinom{m+i}i2^{m - i}\)

      而等式左边就是第 \(2m+1\) 行前一半的和,为 \(2^{2m}\),因此还可以得到:\(\sum\limits_{i = 0}^{m}\dbinom{m+i}i2^{m - i} = 2^{2m}\)

    15. \(\dbinom{n}m\dbinom m k = \dbinom n k\dbinom{n - k}{m - k}\)

例题

例题1

求出所有长度为 \(n\) 的数列, 每个数都在 \([1,m]\) 的范围内,每个·序列本质不同的子数列个数。

由于要求本质不同,我们只计算这个子序列第一次出现的次数。

设子序列位置为 \(a_1, a_2, \dots,a_m\), 则此子序列为第一次出现的充要条件为 \(\forall i \in [1, m]\) ,在 \(a_{i - 1}+1\)\(a_i - 1\) 中没有 \(a_k = a_i\)

枚举子序列长度和最后一个数的位置,有:

\[\sum\limits_{l = 1}^{n}\sum\limits_{i = l}^{n}\dbinom {i - 1}{l - 1}m^l(m - 1)^{i - l}m^{n - i} \\ =\sum\limits_{l = 1}^{n}\sum\limits_{i = 1}^{n} \dbinom {i - 1}{l - 1}m^{n - i+l}(m - 1)^{i - l} \\ =\sum\limits_{i = 1}^{n}(m - 1)^im^{n - i}\sum\limits_{j = 0}^{i - 1}\dbinom {i - 1}j(m^2-m)^{-j-1} \]

二项式定理即可。

例题 2

计算 \(\sum\limits_{i = a}^{b}\sum\limits_{j = c}^{d} \dbinom {i+j} i\)

\[=\sum\limits_{i = a}^{b}\dbinom{i+d+1}{d} - \dbinom {i+c}{c - 1} \\ =\dbinom{b+d+2}{d+1} - \dbinom{a+d+1}{d+1}-\dbinom{b+c+1}{c} + \dbinom{a+c}{c} \]

例题 3:[CERC2015]Frightful Formula

给定 \(F(1, i)\)\(F(i,1)\),其中 F 满足 \(F[i,j] = aF[i - 1, j]+bF[i, j - 1]+c\), 求 \(F[n,n]\)

考虑分别计算 \(F(1, i)\)\(F(i, 1)\) 对答案的贡献,赋予路径组合意义。

先不考虑 \(c\), 设向下乘上 \(a\), 向右乘上 \(b\), 那么一条路径的权值就是所有 \(a, b\) 之积。

再单独考虑 \(c\) ,发现也是同理的,假设位置 \((x,y)\) ,那么对答案贡献为 \(\dbinom {2 * n - x- y}{n - x}a^{n - x}b^{n-y}c\)

答案就是:

\[\sum\limits_{i = 2}^{n}F[i, 1]\times \dbinom{2*n - i - 2}{i - 2}a^{n-i}b^{n - 2}+\sum\limits_{i = 2}^{n}F[i,1]\times \dbinom {2*n - i - 2}{i - 2}a^{n - 2}b^{n - i}+c\sum\limits_{i = 2}^{n}\sum\limits_{j = 2}^{n}\dbinom{2*n - x- y}{n - x}a^{n - x}b^{n - y} \]

前两项直接计算即可, 考虑最后的 \(\sum\limits_{i = 0}^{n - 2}\sum\limits_{j = 0}^{n - 2}\dbinom{i+j} j a^ib^j\)

\(g_i = \sum\limits_{j = 0}^{n - 2}\dbinom {i + j}jb^j\) ,显然 \(g\) 可以递推,直接计算即可。

例题 4 [ARC061D] 3人でカードゲーム / Card Game for Three

考虑构造一个抽牌序列与一个操作序列的双射:序列 \(a_i\) 表示第 \(i\) 次抽牌抽到的数字,那么若最先出现 \(n\)\(1\) A 就胜利了。

分别枚举 \(2, 3\) 出现的次数,有:

\[ans = \sum\limits_{i = 0}^{m}\sum\limits_{j = 0}^{k} \dbinom{n+i+j - 1} {n-1}\dbinom {i+j}j3^{m +k- i - j} \\ =\sum\limits_{t = 0}^{m+k}3^{m+k - t}\dbinom {n+t-1}{t - 1}\sum\limits_{i \leq m \and t - i \leq k}\dbinom t i \]

\(g_n = \sum\limits_{n - k \leq i \leq m}\dbinom ni\),则有 $g_{n+1} = 2 \times g_n +\dbinom{n}{n - k - 1}-\dbinom n m $。

例题 5

给定一棵 \(n\) 个节点的外向树,求其拓扑排序的方案。

考虑 dp,设 \(dp_x\) 表示 \(x\) 子树中以 \(x\) 为根的拓扑排序方案,则 \(dp_x = \dfrac{(siz_x - 1)!}{\prod\limits_{y \in son_x} (siz_y!)}\prod\limits_{y \in son_x} dp_y\)

例题 6【2018雅礼day1-3】图

考虑设 \(g_i\) 表示 \(i\) 结尾的黑色 / 白色交错路个数,直接将 \(g_i\) 的奇偶性放进 dp 里面。

\(dp_{i, j, k}\) 表示考虑到前 \(i\) 个点,其中 \(j\) 个白色的 \(g\) 为奇数,\(k\) 个黑色的 \(g\) 为奇数。转移只用枚举当前点颜色以及与哪些异色点连边。以白色为例,枚举连黑色个数 \(l \leq k\),系数为 \(\dbinom k l 2^{n - 1- k}\)。直接转移为 \(O(n^4)\)

注意到当 \(k \neq 0\) 时,\(\sum\limits_{i = 0}^{n}[i \bmod 2 = 0]\dbinom n i = \sum\limits_{i = 1}^{n}[i \bmod 2 = 1]\dbinom n i = 2^{n - 1}\),即贡献给 \(k\)\(k+1\) 系数相同,都为 \(2^{n - k - 1} \times 2^{k - 1} = 2^{n - 2}\)。于是只用设 \(dp_{i, 0 / 1 / 2, 0 / 1 / 2}\) 表示当前黑白个数为 0 / 奇数 / 偶数方案,时间复杂度 \(O(n)\)

容斥原理与二项式反演

容斥原理

给定 \(n\) 个集合 \(S_1,\dots,S_n\), 若我们能快速算出它们的一些交集的大小,那么可以计算它们的并集大小:

\(|\bigcup\limits_{i = 1}^{n}S_i| = \sum\limits_{\emptyset \neq T \subseteq [n]}(-1)^{|T|-1}|\bigcap \limits_{i \in T}S_i|\)

其中 \([n] = \{1, 2, \dots, n\}\),柿子的含义是若干集合的并集可以用它们的非空子集的交集乘上一个容斥系数得到。

Proof:

考虑每个元素对答案的贡献:为 \(\sum\limits_{i = 1}^{n}(-1)^{i - 1}\dbinom n i = 0+\dbinom n 0 = 1\)

形式二:\(|\overline{\bigcup\limits_{i = 1}^{n}S_i}| = \sum\limits_{T \subseteq [n]}(-1)^{|T|}|\bigcap\limits_{i \in T}S_i|\)

直观的理解就是:\(n\) 件事都不发生的方案,等于钦定某些事件的数必须发生的方案乘上 \((-1)^k\), 而至少发生一件就等于总方案1减去第一个。

例题1:错排问题

\(1 - n\) 的排列 \(p_i\), 使得 \(p_i \neq i\)

容斥,钦定 \(k\) 个位置 \(p_i = i\) 后其他任意选,容易写出答案:

\(ans = \sum\limits_{k = 0}^{n}(-1)^{k} \dbinom n k(n-k)!\)

还可以使用生成函数更高效地递推。

例题 2 [SDOI2013]方程

\(n+m\) 个变量,要求 \(x_1 \leq a_1, \dots, x_n \leq a_n\)\(x_{n+1} \geq a_{n+1}, \dots a_{n+m} \geq a_{n+m}\), 求 \(x_1+x_2+\dots +x_{n+m} = S\) 的方案数。

先把 \(S\) 减去 \(a_{n+1}, \dots, a_{n+m}\),再考虑容斥:钦定集合 \(S\) 中的 \(x_p > a_p\), 此时可以用插板法解决,最后乘上 \((-1)^{|S|}\)

例题 3

\(n\) 个字符串 \(T_i\), 每个字符串有问号表示可以填上任意小写字母,求所有填写方案中这些串构成的字典树节点数之和。

\(S_i\) 表示第 \(i\) 个字符串在字典树上所对应的集合,我们要求 \(|\bigcup S_i|\), 考虑容斥变成每个子集的 \(S\) 的交。

\(S\) 的交就是它们的 LCP,枚举 LCP 长度算贡献即可。

例题 4 :[AGC005D] ~K Perm Counting

计算排列 \(p_i\) 的数量,要求任意 \(|p_i - i| \neq k\)\(O(n^2)\)

考虑容斥,那么相当于一个 \(i\) 能和 \(i+k\)\(i - k\) 匹配,这是个二分图。

边会把这个二分图拆成若干条链, 我们只用分别计算每个长度为 \(x\) 的链中选 \(y\) 个的方案数然后卷起来即可。

考虑枚举最后一条边选或不选, 得到方案数为 \(\dbinom {x - y}y+\dbinom{x - 1 -y +1}{y - 1} = \dbinom{x - y+1}{y}\)

例题 5:[ARC101C] Ribbons on Tree

\(2n\) 个点的树, 要求点之间两两配对使得路径覆盖整棵树的方案。 \(O(n^2)\)

直接 \(dp_{x, i}\) 表示 \(x\) 子树内有 \(i\) 个点没有配对, 转移直接枚举 \(x, y\) 配对点个数, 复杂度为 \(O(n^3)\)

考虑容斥,计算钦定边集 \(E\) 不选乘上 \((-1)^{|E|}\) 的方案,可以看做割掉这些边后剩下的连通块内部两两匹配, 方案数为 \((siz-1)!!\)。 注意我们不能把钦定的边集大小算进 dp 里面。

\(dp_{x, i}\) 表示 \(x\) 的连通块大小为 \(i\)容斥系数之和, 注意 \(x\) 的连通块的答案是没有累加的。

转移直接考虑 \((x, y)\) 边删不删, 不删就是直接背包, 否则就是 \((-1) \times \sum\limits f_{y, i} \times (i - 1)!!\) 贡献到每个 \(f_{x, i}\)

子集反演

\(f(S) = \sum\limits_{T \subseteq S}g(T)\),则 \(g(S) = \sum\limits_{T \subseteq S}(-1)^{|S| - |T|}f(S)\)。常用于计算一个集合内部所有数满足某个条件的方案。且 \(f(S)\) 表示钦定所有元素都在 \(S\) 集合的方案,通常是好算的,即可通过子集反演式得到恰好为 \(T\) 的方案。

同样存在超集反演式:设 \(f(S) = \sum\limits_{S \subseteq T} g(T)\),则 \(g(S) = \sum\limits_{S \subseteq T}(-1)^{|T| - |S|}f(T)\)

证明是简单的,考虑一个大小为 \(k\) 的集合对答案的贡献为:\(\sum\limits_{i = 0}^{n - k}\dbinom {n - k}i(-1)^{n - i - k} = [k = n](-1)^{n- k} = [k = n]\)

例题1:[ZJOI2016]小星星

记录下图中连边后,显然可以设 \(dp_{i, j,S}\) 表示 \(i\) 子树标号集合为 \(S\)\(i\) 标号为 \(j\) 的方案,转移显然。时间复杂度 \(O(3^n \times n^2)\)

显然最麻烦的条件是“\(1, \dots, n\) 中所有数都出现一次”,考虑容斥,钦定一个集合 \(S\)\(S\) 中的点不出现,对于剩下的点,设 \(f_{x, i}\) 表示 \(x\) 选择第 \(i\) 个未被钦定的点的方案,转移显然。但时间复杂度优化到了 \(O(2^n \times n^2)\)

例题2:[SHOI2016]黑暗前的幻想乡

对“每个建筑公司都要修一条边" 进行容斥,设 \(f(S)\) 表示钦定 \(S\) 集合中的公司不修的方案,显然可以用 Matrix - Tree 定理求得,答案是 \(\sum\limits_{S}(-1)^{|S|}f(S)\)

时间复杂度 \(O(2^n n^3)\).

例题 2:[ZJOI2022] 树

\(f(S)\) 表示第一棵树中非叶子节点集合为 \(S\) 的方案,\(g(S)\) 表示第二棵树上非叶子节点为 \(S\) 的方案,通过一些对称性的推导,可以发现 \(f(U) = g(U / S)\)

因此问题变成了两棵树,满足非叶子节点相同的方案。

“非叶子”这个条件不好处理,设 \(g(S) = \sum\limits_{T \subseteq S}\),等于非叶子为 \(S\)(强制有 1) 子集的方案,这容易计算:\(g(S) = \prod\limits_{i = 2}^{n}(\sum\limits_{x \in S}(x < i))\)

根据子集反演,\(f(S) = \sum\limits_{T \subseteq S}(-1)^{|S| - |T|}g(T)\),因此答案为:

\(\sum\limits_{S}\sum\limits_{T_1 \subseteq S, T_2 \subseteq S}(-1)^{2|S| - |T_1| - |T_2|}\prod\limits_{i = 2}^{n}(\sum\limits_{x \in T_1}[x<i])(\sum\limits_{x\in T_2}[x<i])\)

可以通过 dp 计算后面的:设 \(dp_{i, j, k}\) 表示考虑到前 \(i\) 个点,目前 \(|T_1| = j\)\(|T_2 |= k\) 的总贡献。每次转移 \(i\) 考虑 \(i\) 是否加入 \(S\) / 加入 \(S\) 后是否加入 \(T_1 / T_2\) 即可 \(O(1)\) 转移。

时间复杂度 \(O(n^3)\)

二项式反演

从钦定 \(k\) 个 -> 恰好 \(k\) 个的转化。 可以理解为特殊的子集反演。

问题:\(n\) 个集合 \(S_1, S_2, \dots, S_m\), 现在要计算恰好在 \(k\) 个集合的元素个数,并且任选 \(k\) 个集合的答案是一样的

\(f(n)\) 表示钦定 \(n\) 个的答案, \(g(n)\) 表示恰好 \(n\) 个的答案, 若有:

形式 1 :\(f(n) = \sum\limits_{i = 0}^{n} \dbinom n i g(i) \Rightarrow g(n) = \sum\limits_{i = 0}^{n}(-1)^{n - i}f(i)\)

形式 2:\(f(n) = \sum\limits_{k \geq n}\dbinom k ng(k) \Rightarrow g(n) = \sum\limits_{k \geq n}(-1)^{k - n} \dbinom k n f(k)\)

例题 1:已经没有什么好害怕的了

\(n\) 个糖果 和 \(n\) 个药片,能量分别为 \(a_i, b_i\), 两两匹配, 求恰好有 \(k\) 对糖果能量大于药片方案。

二项式反演,计算钦定 \(k\) 组的答案 \(f(k)\), 答案显然是 \(\sum\limits_{i = k}^{n}(-1)^{i - k}\dbinom i k f(i)\)

将糖果和药片排序, 设 \(f_{n, m}\) 表示考虑到前 \(n\) 个糖果, 目前已有 \(m\)\(a_i > b_i\) 的方案, 转移直接枚举 \(a_i\) 是否匹配即可。 剩下 \(n - i\) 个任意匹配, 将 \(f_{n, i} \leftarrow f_{n, i} \times (n - i)!\) 即可。

例题2 :[HAOI2018]染色

在一个长度为 \(n\) 的序列上染色, 每个位置可以染 \(m\) 种颜色,定义一个染色方案的权值为其中出现次数恰好为 \(k\) 的个数 \(cnt\), 贡献为 \(val_{cnt}\), 求所有染方案的贡献。 \(O(n \log n)\)

很明显的二项式反演的形式,设 \(f(n)\) 表示钦定 \(n\) 个颜色出现恰好 \(k\) 次 , 不难得到:

\(f(p) = \dbinom m p\dbinom n{kp}\dfrac{(kp)!}{(k!)^p}(n - kp)^{m - p}\)

\(f(n)\)\(g(n)\) 的转化:

\(g(k) = \sum\limits_{n \geq k}(-1)^{n - k}\dbinom n k f(n)\) ,显然的卷积的形式,用 NTT 优化即可。

例题3 :CF997C Sky Full of Stars

\(n \times n\) 的网格图, 用三种颜色染色, 求有多少种染色方案使得至少有一行或一列为同一种颜色。 \(O(n)\)

考虑用总的 \(3^{n^2}\) 减去恰好有 0 列 0 行相同的方案数。

\(f(i, j)\) 表示钦定 \(i\)\(j\) 列相同的方案,\(g(i,j)\) 表示恰好 \(i\)\(j\) 列相同的方案,则有二维二项式反演:

\(g(x, y) = \sum\limits_{i = x}^{n}\sum\limits_{j = y}^{n} (-1)^{i+j - x - y}\dbinom i x \dbinom j yf(i, j)\),原因是每一个维度相互独立。我们要求的就是 \(f(0, 0)\)

考虑分别计算只有行 / 列相等,都有的方案,对于前者,显然是:

\(f(i, 0) = \dbinom n i3^i 3^{n(n - i)}\)

对于后者,也容易写出 :\(f(x, y) = \dbinom n x \dbinom n y3^{(n - x)(n - y)+1}\)

带入 \(g(0, 0)\) 可得(只考虑第二部分,第一部分容易计算):

\[g(0, 0) = \sum\limits_{i = 0}^{n}\sum\limits_{j = 0}^{n} \dbinom n i \dbinom n j(-1)^{i+j}3^{(n - x)(n - y)+1} \\ =3^{n^2+1}\sum\limits_{i = 0}^{n}(-1)^i\dbinom n i3^{-in}\sum\limits_{j = 0}^{n}3^{(i - n)j}(-1)^j \dbinom n j \\ =3^{n^2+1}\sum\limits_{i = 0}^{n}(-1)^i \dbinom n i 3^{-in}(3^{i - n} - 1)^n \]

预处理 3 的幂次即可线性。

例题 4:[ICPC2018 WF]Gem Island

容易发现,假设第 \(i\) 个人得到了\(c_i\) 个宝石,方案数为 \(\dfrac{d!}{\prod\limits_{i = 1}^nc_i!}\prod\limits_{i= 1}^{n}c_i! = d!\),因此对于所有的 \(c_i\),其方案数是相同的,又因为总方案为 \(n^{\overline d}\),因此问题变成计算 \(\sum c_i= n\) 的前 \(k\) 大和。

我会 dp!注意到 \(c_i\) 本质上是 \(n\) 的一个拆分,我们将 \(i\) 作为横坐标,\(c_i\) 作为纵坐标画出阶梯型图。可以在每次将若干个数 + 1 的过程中统计答案。设 \(dp_{i, j}\) 表示当前总和为 \(i\),目前有 \(j\) 个人钦定为最大值。每次转移枚举 \(k (k \leq j)\) 个矩形将其 + 1,贡献为 \(\min(r, k)\),方案为 \(\dbinom j k\)。时间复杂度 \(O(n^3)\)

我会容斥!先转为 $\geq $:设 \(f_{i, j}\) 表示有 \(i\) 个人得到 \(\geq j\) 个宝石的方案,答案是 \(\sum\limits_{i, j}f_{i, j}\min(i, r)\)

\(f_{i, j}\) 表示恰好,考虑二项式反演:\(g_{i, j}\) 表示钦定 \(i\) 个人得到 \(\geq j\) 个宝石,方案为 \(\dbinom n i \dbinom{d - ij+n - 1}{n - 1}\)

\[ans = \sum\limits_{i}\min(i, r)\sum\limits_{j}\sum\limits_{k \geq i}(-1)^{k - i}\dbinom k i \dbinom n k\dbinom{d - jk +n- 1}{n - 1} \\ =\sum\limits_{i}\min(i, r)\sum\limits_{k\geq i}\dbinom k i\dbinom n k(-1)^{k - i}\sum\limits_{jk \leq n}\dbinom{d - jk +n - 1}{n - 1} \]

\(g_k = \sum\limits_{jk \leq n}\dbinom{d - jk+n - 1}{n - 1}\),显然可以 \(O(n\ln n)\) 预处理,可以 \(O(n^2)\)

还不够。

\[\sum\limits_{k}(-1)^k\dbinom n k g_k\sum\limits_{i \leq k}\min(i, r)(-1)^i\dbinom k i \]

考虑

\[\sum\limits_{i \leq k}\min(i, r)(-1)^i\dbinom k i \]

可以拆成 \(i \leq r\)\(i>r\) 两部分,都容易 \(O(1)\) 求解,时间复杂度 \(O(n\ln n)\)

Prufer 序列

一种 \(n\) 个节点的有标号无根树到一个长度为 \(n - 2\),每个元素都在 \([1, n]\) 的双射。

树生成 Prufer 序列:

Prufer 序列的定义是这样的:每次找到编号最小的叶子节点,将它所连向的点加入序列,删除这个点。重复执行到树中只剩两个点。

可以用一个指针维护当前编号最小的叶子节点,删去它后,可能出现比当前点小的点一定是它父亲,反复执行即可。

Prufer 序列生成树:

类似的思路,先通过 Prufer 序列得到每个点的度数,不断找到编号最小的叶子并把他的父亲设为当前 Prufer 序列的元素,将其删去,继续寻找新的可能比当前小的叶子节点。

Prufer 序列的推论:

  1. \(n\) 个点的有标号无根树个数为 \(n^{n - 2}\), 这也是 \(n\) 个节点的无向完全图生成树个数。
  2. \(n\) 个点的有标号有根树方案为 \(n^{n - 1}\), 度数为 \(d\) 的点在 Prufer 序列中出现了 \(d - 1\) 次。
  3. \(n\) 个点,每个点度数为 \(d_i\) 的有标号无根树方案为 $\dfrac{(n - 2)!}{\prod (d_i - 1)!} $
  4. \(m\) 个连通块,每个连通大小为 \(a_i\) 的森林加边形成树的方案数为 :\(n^{m - 2} \times \prod a_i\)

简单证明:利用 Matrix-tree 定理得到:

\[\begin{bmatrix} a_1(n - a_1) \ \ \ 0 \ \dots \ 0 \\ 0 \ \ a_2(n - a_2) \ \ 0 \dots \ 0 \\\ \vdots \ \\ 0 \ \ 0 \ \dots a_m(n - a_m) \ \end{bmatrix} - \begin{bmatrix} 0 \ \ a_1a_2 \ \dots \ a_1a_m \\ a_2a_1 \ \ 0 \dots \ \ a_2a_m \\ \vdots \\ a_ma_1 \ \ a_ma_2 \dots 0 \end{bmatrix} \]

删去最后一行列得到的矩阵为:

\[\begin{bmatrix} a_1(n - a_1) \ \ -a_1a_2 \ \ \dots -a_1a_{m - 1} \\ -a_2a_1 \ \ a_2(n - a_2) \ \ \dots -a_2a_{m - 1}\\ \vdots \\ -a_{m - 1}a_1 \dots \ \ \ a_{m - 1}(n - a_{m - 1}) \end{bmatrix} \]

每一行提取 \(a_i\) 得到:

\[\prod\limits_{i = 1}^{m - 1}a_i \times \begin{bmatrix} n - a_1 \ \ -a_2 \dots \ -a_{m - 1} \\ -a_1 \ \ n - a_2 \dots \ \ -a_{m - 1} \\ \vdots \\ -a_1 \ \ \dots n - a_{m - 1} \end{bmatrix} \]

\(2 - m - 1\) 列加到第一列得到:

\[\begin{bmatrix} a_m \ -a_2 \dots \ -a_{m - 1} \\ a_m \ \ n - a_2 \dots \ -a_{m - 1} \\ \vdots \\ a_m \ -a_2 \dots \ \ n - a_{m - 1} \end{bmatrix} \]

\(2 - m - 1\) 行减去第一行得到:

\[\begin{bmatrix} a_{m} \ -a_2 \dots \ -a_{m - 1} \\ 0 \ \ n \dots \ 0 \\ \vdots \\ 0 \ \dots \ \ 0 \ \ n \end{bmatrix} \]

\(\prod\limits_{i} a_i \times n^{m - 2}\)

  1. \(n\)个点形成 \(k\) 个森林,使得指定的 \(k\) 个点不在同一连通块中,方案为:\(k n^{n - k - 1}\)

    Proof:加上虚点 0 与指定 \(k\) 个连边,于是相当于 \(n+1\) 个点,其中 \(0\) 出现了 \(k - 1\) 次的方案,总方案 \({\dbinom{n - 1}{k- 1}n^{n - k}}\),由于任选 \(k\) 个点的答案是相同的,根据除法原理可知为 \(\dfrac{\dbinom{n - 1}{k - 1}n^{n - k}}{\dbinom n k}\),化简即是答案。

例题1:CF917D Stranger Trees

进行二项式反演,变成钦定一些原树的边后得到的联通块,任意连边形成树的方案。根据经典结论可知为 \(n^{m - 2} \times \prod\limits_{i} a_i\),设选择了 \(k\) 条边,则有 \(n - k\) 个连通块,因此只要对每个 \(k\) 算出 \(k\) 个连通块总方案的 \(\prod a_i\) 即可。

我会暴力 DP!设 \(dp_{x, i, j}\) 表示 \(x\) 子树内已经有 \(i\) 个连通块,目前 \(x\) 所在连通块大小为 \(j\) 的方案。直接枚举相邻点之间边是否断掉做背包,时间复杂度 \(O(n^3)\)。(由于数据范围太小能过

我会组合意义!\(\prod\limits_i a_i\) 的组合意义是从每个连通块中选出一个点的方案,于是设 \(f_{x, i, 0 / 1}\) 表示 \(x\) 子树内有 \(i\) 个连通块,目前 \(x\) 所在连通块是否选点的方案。若选择断开,则 \(f_{x, i+j, 0 / 1} \leftarrow f_{x, i, 0 / 1} \times f_{y, j, 1}\),若不断则需保证 \(x\)\(y\) 连通块不能都选点。

时间复杂度 \(O(n^2)\)

例题 2:[清华集训2017]生成树计数

若有 \(n\) 个连通块,每个大小为 \(a_i\),每个连通块度数为 \(d_i\) 连成一棵树的方案为:\(\prod\limits_{i = 1}^{n}a_i^{d_i}\times\dfrac{(n - 2)!}{\prod\limits_{i = 1}^{n}(d_i - 1)!}\), 枚举每个点的度数

\[\mathrm{val} = \sum\limits_{d_i= n - 2} \prod\limits_{i = 1}^na_i^{d_i} \times \dfrac{(n - 2)!}{\prod\limits_{i = 1}^{n}(d_i - 1)! }(\prod\limits_{i = 1}^nd_i^m)(\sum\limits_{i = 1}^nd_i^m) \\ =(n-2)!\sum\limits_{d_i = n - 2}(\sum\limits_{i = 1}^n d_i^{2m}a_i^{d_i}\dfrac 1{(d_i- 1)!} \times \prod\limits_{j \neq i}d_j^ma_j^{d_j}\dfrac{1}{(d_j - 1)!}) \\ \]

注意到前后两个形式类似,考虑设 \(A(x) = \sum\limits_{k \geq 1}\dfrac{k^{2m}}{(k - 1)!}x^k\)\(B(x)= \sum\limits_{k \geq 1}\dfrac{k^m}{(k - 1)!}x^k\),则 \(= [x^{n - 2}] \sum\limits_{i = 1}^{n}A(a_ix)\prod\limits_{j \neq i}B(a_jx) = (\sum\limits_{i = 1}^{n}A(a_ix)) \times (\prod\limits_{i = 1}^{n}\dfrac{A(a_ix)}{B(a_ix)}))\)

考虑前面一部分,\(\sum A(a_ix)\)\(k\) 次项系数为 \(A[k] \times (\sum\limits_{i = 1}^{n}a_i^k)\),可以预处理每个 \(k\) 次幂 \(c_k = \sum\limits_{i= 1}^{n}a_i^k\) 计算。

考虑后面一部分,经典 Ln + Exp:\(=\exp(\sum\limits_{i = 1}^{n}\ln(\dfrac{A(a_ix)}{B(a_ix)})\)。同样可以利用 \(c_k\) 计算,但 \([x^n]F^k(x) = [x^{-k}]\dfrac 1 n G^{-n}(x)\)

例题 3:LOJ#3399. 「2020-2021 集训队作业」Communication Network

类似 [WC2019 数树] 一样的做法,先用 prufer 序列的推论进行子集反演,再将柿子进行组合意义优化。

\(f(S)\) 表示与原树交恰好为 \(S\) 的方案,子集反演:\(f(S) = \sum\limits_{S \subseteq T}(-1)^{|T| -|S|}g(T)\),其中 \(g(T) = n^{n - |T| - 2}\times \prod\ a_i\)

\[ans = \sum\limits_{S \subseteq U}|S|2^{|S|} \times f(S) = \sum\limits_{S \subseteq U}|S|2^{|S|}\sum\limits_{S \subseteq T}(-1)^{|T| - |S|}n^{n - 2 - |T|}\prod a_i \\ =n^{n - 2} \times \sum\limits_{T}(-\dfrac 1 n)^{|T|}\prod a_i\sum\limits_{S \subseteq T}|S|(-2)^{|S|} \]

考虑其组合意义:枚举所有的原树边集合,每选出一条边贡献为 \((-\dfrac 1 n)\),边集的贡献为所有边的乘积,同时在边集形成的连通块中每个连通块选择一个点。再选出边集的一个子集 \(S\),选出一条边贡献为 \((-2)\),再在子集 \(S\) 里面选择一条边的方案。

对于每个连通块分开考虑,则一个连通块的贡献只和是否选点和边有关系,设 \(dp_{x, 0 / 1, 0 / 1}\) 表示 \(x\) 所在连通块,是否选点,是否选边。

转移:对于儿子 \(y\),若 \((x, y)\) 不选则 \(dp_{x, i, j | v} \leftarrow dp_{x,i, j} \times dp_{y, 1, v}\)

\((x, y)\) 选,则考虑该边是否加入 \(S\),加入 \(S\) 后是否成为选择的那条边,有:
\(dp_{x, i | u, j|v} \leftarrow (-\dfrac 1 n )\times dp_{x, i, j} \times dp_{y, u, v}, dp_{x, i|u, j |v} \leftarrow (-\dfrac1 n)\times (-2)\times dp_{x, i, j} \times dp_{y, u,v} \ \ i+ u \neq2, j+v \neq 2\)

\(dp_{x, i| u, 1} \leftarrow (-\dfrac 1 n)\times (-2) \times dp_{x, i, j}\times dp_{y,u, v} \ \ \ j = v = 0\)

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

例题 4【2.17省选模拟】樟

给出长度为 \(n\) 的排列 \(\{p_i\}\),计数 \(n\) 个点带标号无根树数量。满足限制:

若存在树边 \((i, j)\),则存在树边 \((p_i,p_j)\)

\(p_i = i\),即没有限制,答案为 \(n^{n - 2}\)

若所有置换都是对换,容易发现有且仅有一个二元组 \((x, y)\) 作为根,剩下的二元组可以看做单点,设二元组个数为 \(n'\),于是方案数为 \(2^{n' - 1}n'^{n' - 1 }\)

当所有元素是单点或孤立点时,孤立点不能通过和二元环连边和其他孤立点连边,这必然出现环,设 \(a\) 个孤立点 \(b\) 个二元环,钦定了 \(k\) 个二元环和孤立点连边,于是要计数 \(b\) 个点形成的 \(k\) 个森林方案数,使得指定的 \(k\) 个点不在同一方案数为 \(a^{a - 1}\dbinom{b}kkb^{b - k - 1}a^{k}2^{b - k}\)

当没有孤立点和二元环时,打表可知答案为 0。

更一般地,设 \(occ_i\) 表示大小为 \(i\) 的置换环个数。考虑两个大小不同的大小 \(i, j(i<j)\) ,他们可以连边当且仅当 \(i \mid j\) 。(Lemma 1)

Proof:

必要性:设 \(g = \gcd(i, j)\),则 \(g \neq i\),考虑将 \(i, j\) 中连续的 \(g\) 个数一起考虑,设 \(i' = \dfrac i g, j' = \dfrac j g\),此时形成了一个完全图,而由于 \(i' \geq 2\),必然存在环。

充分性:当 \(i \mid j\) 时,显然每个 \(i\) 连向的数互不相同,显然不是环。

Lemma 2:除二元环外,不存在环内部的边。

显然当 \(n\) 为奇数成立。当 \(n\) 为偶数是当且仅当 \(l =\dfrac n 2\) 合法,此时形成 \(\dfrac n 2\) 个小环。

讨论这些环的连通情况。若连向其因数易证会形成环。

若连向其倍数连通块个数不会改变。

考虑如何计算最终答案,当 \(l = 1, 2\) 时已经形成一棵树了,我们不妨从小到大拼上所有置换环,类似 \(l = 2\) 枚举有多少个数与其因子相连,对于都为 \(i\) 的环拼接的方案为 \(i\),否则与 \(j(j \mid i)\) 拼接方案为 \(j\),于是对于单个 \(i\),方案为:

\[\sum_j\dbinom{occ_i} j \times j \times occ_i^{occ_i- j - 1} \times i^{occ_i - j}(\sum\limits_{d\mid i, d \neq i}d \times occ_d)^{j} \]

总方案为所有 \(i(i \geq 3)\) 的方案相乘,再特殊处理 \(i = 1, 2\) 的情况。

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

Min - Max 容斥

一种集合最值通过容斥原理的互化。

普通 Min - Max 容斥

对于集合 \(S\),有:

\[\max(S) = \sum_{\emptyset \subset T \subseteq S} (-1)^{|T - 1}\min(T) \\ \min(S) = \sum_{\emptyset \subset T \subseteq S}(-1)^{|T| - 1} \max(T) \]

证明 so easy:对于 \(S\) 中第 \(k\) 大的数,其在右边的系数为 :\(\sum\limits_{i = 0}^{k-1}\dbinom{k - 1}i(-1)^{i} = [k = 1]\),对于最小值同理。

其在期望下同样成立,具体地,设 \(E(\max S)\) 为集合最大值的期望,\(E(\min S)\) 为集合最小值的期望,则有:

\[E(\max S) = \sum\limits_{\emptyset \subset T \subseteq S}(-1)^{|T| - 1} E(\min S) \\ E(\min S) = \sum\limits_{\emptyset \subset T \subseteq S}(-1)^{|T| - 1} E(\max S) \]

一个直观的应用是:一个集合 \(S\),每个单位时间出现一个数(可重复),每个数出现的概率为 \(p_i\),求所有数都出现的期望时间。

此时 \(\max S\) 为集合中最晚出现数的时间,但 \(\min S\) 表示第一次出现集合 \(S\) 中数的时间,显然可以通过简单概率求解。

扩展 Min - Max 容斥

将最大改为了第 \(k\) 大,设 \(\mathrm{kthmx(S)}\) 为集合第 \(k\) 大数,\(\mathrm{kthmn}(S)\) 同理,则有:

\[\mathrm{kthmx}(S) = \sum_{\emptyset \subset T \subseteq S}(-1)^{|T| - k} \dbinom{|T| - 1}{k - 1}\min(S) \\ \mathrm{kthmn}(S) = \sum_{\emptyset \subset T \subseteq S}(-1)^{|T| - k} \dbinom{|T| - 1}{k - 1}\max(S) \]

证明:类比上面的证明即可。

例题 1: [HAOI2015] 按位或

根据普通 Min - Max 容斥的推论,只需要对每个非空子集 \(T\) 算出 \(P = \sum_{ i\ \mathrm{and} \ T \neq \emptyset}p_i\),答案就是 \(\dfrac{1}{P}\)

交非空不太好算,简单容斥一下算交为空的,等价于 \(\overline{T}\) 的子集,FWT。

例题 2:P4707 重返现世

所求即是 \(E(\mathrm{kthmn(S)})\)。根据扩展 Min - Max 容斥,只需计算 \(\dbinom{|T| - 1}{k - 1}(-1)^{|T|-k} \max(T)\)。但由于 \(|n - k| \leq 10\) ,将 \(k \leftarrow n - k+1\), 等价于 \(E(\mathrm{kthmx}(S))\)。而 \(E(\min(T)) = \dfrac{1}{\sum_{i \in T}p_i}\)

直接枚举所有子集不太现实,考虑利用组合数的递推性质递推求解上式。

\(dp_{i, j, k}\) 表示当前考虑到前 \(i\) 个元素构成的子集,\(\sum p_u = j\),当前 \(k\) 的答案。总答案为 \(dp_{n, j, k} \times \dfrac{m}{j}\)。若选择 \(i\)\(j \leftarrow j+p_i\), 所有的 \((-1)^{|T| - k}\dbinom{|T| - 1}{k - 1}\) 变成 \((-1)^{|T|+1-k}\dbinom{|T|}{k - 1} = (-1)\times (-1)^{|T| -k}\dbinom{|T| - 1}{k - 1}+(-1)^{|T| -(k - 1)}\dbinom{|T| - 1}{k - 2}\)。 由 \(dp_{i - 1, j - p_i, k - 1}-dp_{i - 1, j - p_i, k}\) 转移即可。每次滚动转移,时间复杂度 \(O(nmk)\)

例题 3:[AGC038E] Gachapon

Min - Max 容斥后,变成对于每个非空集合 \(S\),计算出刚好存在一个 \(p\) 出现次数 \(\geq B_p\) 的期望时间,注意到时间有限,转化成对于每个时刻 \(t\) 计算 \(t\) 时刻还不存在的概率相加。

容易写出生成函数:\(\dfrac{\sum A_i}{S}\sum\limits_{t}[\dfrac {x^t}{t!}]\prod\limits_{p} (1+A_px+\dfrac{(A_px)^2}{2!}+\dots \dfrac{(A_px)^{B_p- 1}}{(B_p - 1)!})\)

注意到 \(\sum A \leq 400, \sum B \leq 400\),于是直接将 \(\sum A,x^t\) 计入 dp 状态后 \(O(n^3)\) 转移。

例题 4:[PKUWC2018]随机游走

由于 \(n \leq 18\),Min - Max 容斥后,变成对于每个非空集合 \(S\),计算 \(x\) 第一次到达 \(S\) 中某个节点的期望时间。然后 FWT 就是答案。

枚举 \(S\),设 \(f_u\) 表示从 \(u\) 出发期望时间,\(\forall x \in S, f_x = 0\),对于其它点,\(f_x = \dfrac{1}{deg_x}(\sum f_y)+1\)

直接 gauss 消元复杂度太劣,对于这种树上随机游走问题,我们可以证明:每个 \(f_x\) 都可以写成关于父亲的一次函数,即 \(f_x = k_xf_{prt}+b_x\)

树形 dp,从下往上推出根节点的 \(f\)

\[deg_xf_x - deg_x = \sum\limits_{y \in son_x}(k_yf_x+b_y )+ f_{prt} \\ (deg_x - \sum\limits_{y\in son_x}k_y)f_x = (\sum\limits_{y \in son_x}b_y +deg_x)+f_{prt} \]

对比系数可知,\(k_x = \dfrac1{deg_x - \sum k_y}\)\(b_x =\dfrac{\sum b_y+deg_x}{deg_x - \sum k_y}\)

时间复杂度 \(O(2^n n)\)

NOIP一轮复习:生成函数

普通生成函数

对于无穷数列 \(\{h_n\}\), 定义其普通生成函数(Ordinary General Function)为 \(\sum\limits_{i =0}^{\infty}h_ix^i\)

\(x^n\) 充当了 \(h_n\) 的占位符,称为生成函数中的核函数 \(\ker (x) = x^n\)。随着核函数的不同,生成函数也会发生变化,例如指数生成函数中核函数 \(\ker(x) = \dfrac{x^n}{n!}\)

常用数列的生成函数:

  • $<0, 1, \dfrac 1 2, \dfrac 1 3,\dots\dfrac 1 n> $ 的生成函数为 \(\ln \dfrac 1 {1 - x} = -\ln(1 - x)\)

  • \(<1,\dbinom {m+1} m, \dbinom{m+2} m, \dots>\) 的生成函数为 \(\dfrac{1}{(1-x)^{m+1}}\)

  • \(<0, 1, 1, 2, 3,\dots>\) 即斐波那契数列生成函数为 \(\dfrac 1{1 - x-x^2}\)

    如何通过生成函数封闭形式解出通项?分式分解即可,即把一个分式写成若干个形如 \(\dfrac{a}{1 - bx}\) 的形式,对于第 \(n\) 项的贡献显然为 \(a \times b^n\)

  • \(<1, 1, 2, 5, 14, \dots >\) 即卡特兰数的生成函数封闭形式为 \(\dfrac {1 - \sqrt{1 - 4x}}{2x}\)

  • 多项式 \(F(x)\) 偶数项的提取:\(\dfrac{F(x)+F(-x)}2\), 奇数 \(\dfrac{F(x) - F(-x)}2\)

例题

例题1:CF438E The Child and Binary Tree

\(F\) 为答案的生成函数,\(A\) 为输入的 \(a_i\),则有:

\(F = AF^2+1\),求解得到 \(F = \dfrac{1 \pm \sqrt{1 - 4A}}{2A}\), 考察 \(x \to 0\) 时的收敛性可知 \(F = \dfrac{1 - \sqrt{1 - 4A}}{2A}\)

例题2:[MtOI2018]情侣?给我烧了!

求导递推通项。

答案显然可以写成:\(\dbinom n k^2k!2^kf_{n -k}\), 其中 \(f_n\) 表示 \(n\) 对情侣错排的方案数。

而我们有等式:\(\sum\limits_{k = 0}^n\dbinom n k^2k!2^kf_{n - k} = (2n)!\), 化简得到:

\(\sum\limits_{k = 0}^n \dfrac{(n!)^2} {k!}2^kf_{n - k} = (2n)! \Rightarrow \sum\limits_{k = 0}^n \dfrac{2^k}{k!}f_{n - k} = \dfrac{(2n)!}{(n!)^2}\)\(\dfrac{2^k}{k!}\) 显然为 \(e^{2x}\)\(\dfrac{(2n)!}{(n!)^2}\)\(\dfrac{1}{\sqrt{1 - 4x}}\) ,因此有:

\(F(x) = \dfrac{e^{-2x}}{\sqrt{1 - 4x}}\), 考虑对 \(F\) 求导,可得 $F' = \dfrac{-2e^{-2x}(1 - 4x) + 2e^{-2x}}{(1 - 4x)^{\frac 3 2}} = \dfrac{8xe^{-2x}}{(1 - 4x)^{3 / 2}} = \dfrac {8x} {1 - 4x}F $, 所以有递推式:

\((1 - 4x)F' = 8xF \Rightarrow (n+1)f_{n+1} - 4nf_n = 8f_{n - 1}\), 所以 \(f_n = \dfrac 1 n(4(n - 1)f_{n - 1}+8f_{n - 2})\)

例题3:BSOJ7094

先把操作取反,计算出一个排列 \(p\),经过最少多少次将一个开头或结尾插入任意一个位置的操作变成起始排列。

手玩几组数据可以发现,最优方案中一定有一个区间 \([l,r]\) ,满足 \([l,r]\) 是单调递增的,而 \([1,l - 1]\)\([r+1,n]\) 的数都插入 \([l,r]\) 中。

设一个排列最长的极长上升连续段长度为 \(k\) ,则最少需要 \(n - k\) 次操作。

而我们要计数至多,考虑对末尾的连续段进行 dp,设 \(dp_{i,j,k}\) 表示考虑到前 \(i\) 个数,最后一个数的相对大小\(j\),目前的最长上升子段长度为 \(k\) 的方案。强制只让 \(k \leq t\) 转移。时间复杂度 \(O(n^4)\)

考虑优化,我们考虑容斥,一个基本单位是 \(x^1+\dots+x^{t-1} = \dfrac{x-x^{t}}{1 - x}\),设 \(G(x)\) 为长度为 \(n\) 的容斥系数,容斥掉他们拼起来的情况:

\(\dfrac{1}{1 - G(x)} - 1 = \dfrac{x - x^{t}}{1 - x} \Rightarrow G(x) = \dfrac{x - x^{t}}{1 -x^{t}}\)

而实际的拼接为 EGF 的形式,多项式求逆即可。

计算 \(k\) 时只有 \(\dfrac n k\) 个非 0,因此时间复杂度为 \(O(n (\sum\limits_{i = 1}^{n}\dfrac{n} i)) = O(n^2\ln n)\)

例题4:BSOJ7092

答案显然为 \(\sum\limits_{i = 0}^{n} i\dbinom n i\mathrm{Cat_{n - i}}\),其中 \(\mathrm{Cat}_n\) 表示卡特兰数。但这样不好直接优化。

考虑直接把答案写成生成函数的形式,设 \(F(x)\) 表示合法的括号序列的 OGF,\(G(x)\) 表示所有合法序列中 \(x\) 的出现次数的 OGF,则有 \(F(x) = xF(x)+x^2F^2(x)+1\)\(G(x) = x(F(x)+G(x))+2x^2F(x)G(x)\)

解一下 \(F\)\(G\) 可以得到 \(F = \dfrac{1 - x - \sqrt{1 - 2x - 3x^2}}{2x^2}\)\(G = \dfrac{xF}{1 - x - 2x^2F} = \dfrac{\dfrac{1 - x}{\sqrt{1 - 2x - 3x^2}} - 1}{2x}\)

现在只考虑 \(\dfrac{1}{\sqrt{1 - 2x - 3x^2}}\) 怎么算,其他的都是一些简单的线性变换。

同样考虑求导后递推,可以得到:\(F' = - \dfrac 1 2(1 - 2x - 3x^2)^{-3/2}\) ,提取系数后 \((n+1)f_{n+1} -2nf_n - 3(n - 1)f_{n - 1} = -\dfrac 1 2 f_n\),递推即可,

例题 5:【CTSC2018】青蕈领主

指数生成函数

形式幂级数 \(\hat G(x) = \sum g_n \dfrac{x^n}{n!}\) 称为 \(\{g_n\}\) 的指数生成函数。又称为 EGF。

两个 EGF 的乘法为二项加法卷积,也就是:\((F *G)[n] = \sum\limits_{k = 0}^{n} \dbinom n k F[k]G[n - k]\)

常用数列的 EGF:

  • \((1, c, c^2, \dots) = e^{cx}\)
  • \((1, 0, 1, \dots, (-1)^n) = \dfrac{e^x + e^{-x}} 2\)
  • \((1, a, a^{\underline 2}, a^{\underline 3}) = (1+a)^n\)
  • 单个排列的 EGF 为 \(-\ln(1-x)\),圆排列 EGF 为 \(-\ln(1 -x) -x\)

多项式 Ln 的组合意义:若 \(F(x)\) 为一般图的生成函数,则 \(\ln F(x)\) 为连通图的生成函数。

多项式 Exp 的组合意义:若 \(F(x)\) 为连通图的生成函数,则 \(\exp F(x)\) 为一般图的生成函数(一般图由若干个连通图拼接而成)

例题

例题1:错排问题

若对于一个排列 \(p_i\)\(\forall i, p_i \neq i\) ,则称这个排列是一个错排。

根据定义,显然有 \(D_n = \sum\limits_{i= 0}^{n}\dbinom n i(-1)^i(n-i)!\)

若要求得通项公式,我们可以考虑生成函数 \(e^{-\ln(1-x) -x}\),对它进行求导递推通项即可。

例题1:【LOJ6503】「雅礼集训 2018 Day4」Magic

套路地二项式反演,有 \(k\) 个魔术对等价于有 \(n - k\) 个连续段,考虑算出一个颜色的连续段生成函数 \(F_k(x)\),答案就是所有颜色相乘。

\(f_n\) 表示钦定有 \(n\) 个连续段的方案,答案就是 \(\sum\limits_{i = k}^{n}(-1)^{i - k}\dbinom ik ans_{n - i}\)

对于单个的 \(F(x)\),若有 \(k\) 段,方案数就是方程正整数解数量 \(\dbinom {cnt- 1} {k - 1}\)

例题2:BSOJ7069

一条哈密顿路径的点序列最少需要添加的边的数量为相邻的绝对值不为 1 的数量。考虑计算至少有 \(n - k\) 对相邻绝对值为 1 的排列个数。

将相邻绝对值为 1 的位置缩成一个连续段,答案就是至多 \(k\) 个连续段的数量。

一个段的排列方案有递增和递减(长度为 1 除外),于是其生成函数 \(=x+2x^2+2x^3+\dots = \dfrac{x^2+x}{1 - x}\)

\(f_l =l! \times (\dfrac{x^2+x}{1 -x})^l = [x^l]l!(1+x)^l(\dfrac{1}{1 -x})^l = [x^l]l! \sum\limits_{k = 0}^{l}\dbinom{k+l - 1}{l - 1} \times \dbinom{l}{k}\)

二项式反演后两次卷积。

例题3:[CTS2019] 珍珠

演反式项二。设值为 \(i\) 的数出现了 \(cnt_i\) 次,则题目的要求就是:

\(\sum\limits_{i = 1}^{D}\left\lfloor\dfrac{cnt_i}2\right\rfloor \geq m \Rightarrow \sum\limits_{i = 1}^{D}\dfrac{cnt -(cnt \& 1)}{2} \geq m \Rightarrow n - \sum\limits_{i = 1}^Dcnt_i \& 1 \geq 2m\)

\(\sum\limits_{i = 1}^{D}cnt_i \& 1 \leq n - 2m\),因此当 \(n - 2m < 0\) 时答案必为 0, \(n - 2m \geq D\) 时答案必为 \(D^n\)

否则设 \(f_k\) 表示钦定 \(k\) 个数出现次数为奇数次,则有:

\[f_k = [x^n]n!\dbinom D k(\dfrac{e^x - e^{-x}}2)^k(e^x)^{D - k} \\ =[x^n]n!\dbinom D k\dfrac{1}{2^k}\sum\limits_{i = 0}^{k}\dbinom k i(e^x)^i(-e^{-x})^{k - i}(e^x)^{D - k} \\ =[x^n]n!\dbinom D k\dfrac 1{2^k}\sum\limits_{i = 0}^{k}\dbinom k i(-1)^{k - i}e^{2i - 2k +D} = [x^n]n!\dbinom D k \dfrac{1}{2^k}\sum\limits_{i = 0}^{k}\dbinom k i (-1)^ie^{D - 2i} \\ =n!\dbinom D k\dfrac{1}{2^k}\sum\limits_{i = 0}^{k}\dbinom k i(-1)^i(D - 2i)^n \]

两次卷积。

例题4:[WC2019] 数树

task 1:显然,将两棵树中都有的边合并后,形成若干个等价类,等价类内部方案为 \(y\),答案就是 \(y^{n - cnt}\)。用 map 随便统计即可。

task2:首先列出答案式:\(ans = \sum\limits_{T_2}y^{n - |T_1 \cap T_2|}\)。 因此我们要计数恰好\(k\) 对边重合的树的方案。

看到恰好就想反演,只不过此时我们要对集合反演。

有子集反演式:

\[f(S) = \sum\limits_{T \subseteq S}\sum\limits_{P \subseteq T}(-1)^{|T| - |P|}f(P) \]

带入得到:

\[\sum\limits_{T_2}y^{n - |T_1 \cap T_2|} = \sum\limits_{T_2}\sum\limits_{T \subseteq T_1 \cap T_2}\sum\limits_{P \subseteq T}(-1)^{|T| - |P|}f(P) \\ =\sum\limits_{T}g(T)\sum\limits_{P \subseteq T}(-1)^{|T| - |P|}y^{n - |P|} \]

其中 \(g(T)\) 表示 \(T_2\)\(T_1\) 交集至少为 \(T\) 的方案。

凑成二项式定理的形式:

\[=\sum\limits_{T}g(T)y^{n - |T|}\sum\limits_{P \subseteq T}(-1)^{|T| - |P|}y^{|T| - |P|} = \sum\limits_{T}g(T)y^{n-|T|}(1 - y)^{|T|} \]

把枚举边改为枚举点。而已知若干个联通块,把他们加边形成树的方案,显然使用 Prufer 序列:

\(=\sum\limits_{T}y^{k}(1 - y)^{n - k}n^{k - 2}\prod\limits_{i}a_i = \dfrac{(1-y)^n}{n^2} \sum\limits_{T}\prod\limits_{i}\dfrac{any}{1 - y}\)

因此问题变成对于每一个连通块计算 \(\prod\limits_{i = 1}^{k}\dfrac{a_iy}{1 - y}\)。 设 \(dp_{x,i}\) 表示 \(x\) 子树内,\(x\) 的连通块大小为 \(i\) 的总权值之和。转移枚举 \((x,y)\) 的边删不删可以做到 \(O(n^2)\)

然而这不够,我们考虑怎么优化成 \(O(n)\),注意到 \(\dfrac{any}{1 - y}\) 的组合意义:从大小为 \(a\) 的连通块中选一个点,每个点的权值为 \(\dfrac{ny}{1 - y}\)。求总选择的方案数。

改变 dp 状态为 \(dp_{x,0/1}\) 表示 \(x\) 所在连通块是否选择过点的方案,可以 \(O(n)\) 转移。

task3:现在第一棵树也没有了。我们仍然可以枚举 \(a_i\),再加上第一棵树的连边方案:

\(ans = \dfrac{(1-y)^n}{n^2}\sum\limits_{a_i}n^{k - 2}(\prod\limits_{i = 1}^{k}a_i)(\prod\limits_{i = 1}^{k}\dfrac{any}{1 - y}) = \dfrac{(1-y)^n}{n^4}\sum\limits_{a_i = n}\prod\limits_{i}\dfrac{a^2n^2y}{1 - y}\)

我们只用求出单个大小为 \(n\) 的树的个数,将系数相乘后做 exp 即可,单个的 EGF 为:

\(F(x) = \sum\limits_{a \geq 1} \dfrac{a^2 \times a^{a - 2} \times n^2y}{(1 - y)a!} = \sum\limits_{a\geq 1}\dfrac{a^a \times n^2y}{(1 -y)a!}\)

符号化方法

初始概念

  • 组合对象:满足某一性质的树,图,串等。
  • 组合类:组合对象构成的集合。 设 \(|a|\) 表示 \(a\) 的大小。
  • 中性对象 \(\epsilon\) 为一个大小为 0 的组合对象,对应 OGF $ = 1\(,并规定任意组合类,\)A^0 = \epsilon$。
  • 原子对象为一个大小为 1 的组合对象,为 \(Z(x) = x\)
  • 笛卡尔积:从每个集合中各取一个数形成的有序多元组称为 \(A_1, A_2, \dots, A_n\) 的笛卡尔积,记作 \(A_1 \times A_2 \times \dots \times A_n\).
  • 若两个组合类同构则称 \(A = B\)
  • 对于组合类 \(A\), 若其中的组合对象均由组合类 \(B\) 中的对象组合而成,定义 \(a \in A\)\(B\) 上的拆分为 \(a = (b_1, b_2, \dots, b_m)\), 记作 \(\mathrm{cap}_B(a)= m\)
  • \(G = (G_0, G_1, \dots, G_k)\) 为一个置换群列,其中 \(G_k\) 包含若干个大小为 \(k\) 的置换,定义两个组合对象 \(a_1, a_2\) 等价,当且仅当 \(\mathrm{cap}_B(a_1) = \mathrm{cap}_B(a_2)\), 且 \(\exist g \in G_{\mathrm{cap}_B(a_1)}\)\(g(a_1) = a_2\)
  • 定义 \(A / G\) 表示 \(A\)\(G\) 中拆分后,用置换 \(G\) 消序后得到的等价类。

无标号体系

无标号:组合对象之间无序,可以看做一个集合。

常用无标号构造。

  • 无标号 \(\mathrm{sequence}\) 构造

    使用若干个 \(A\) 中元素构成不定长集合,记作 \(\mathrm{SEQ}(A) = \epsilon +A+A^2+\dots =\dfrac{1}{1 - A}\),要求 \(A\) 没有常数项,否则会产生无穷大。

  • 无标号 \(\mathrm{Multiset}\) 构造

    如其名,令 \(G\) 为全体置换,生成无序集合 \(\mathrm{MSET}(A) = \mathrm{SEQ}(A) / G\)

    组合意义为完全背包,又称为欧拉变换。

    下面来推导 \(\mathrm{MSET}\) 的公式。

    由于无标号,直接笛卡尔积起来会 算重,我们强制按照字典序从小到大加入若干个元素,有:

    \(B = \mathrm{MSET}(A) = \prod\limits_{a \in A}(\dfrac 1{1 -x^{|A|}}) = \prod\limits_{i \geq 1}(\dfrac 1 {1 - x^i})^{A_i}\)

    \(=\exp (\sum\limits_{i \geq 1}A_i \ln \dfrac{1}{1 - x^i} = \exp(A_i\sum\limits_{j \geq 1}\dfrac{x^{ij}} j) = \exp(\sum\limits_{j = 1}\dfrac 1 j \sum\limits_{ i\geq 1}x^{ij}A_i)\)

    \(=\exp(\sum\limits_{j \geq 1}\dfrac {A(x^j)} j)\)

    据此可以直接调和级数在 \(O(n \ln n)\) 的时间内得到系数,然后再 \(\exp\) 回去。

例题

例题1:P4389 付公主的背包

\(\mathrm{MSET}\) 模板题。

例题2:LG P5900 无标号无根树计数

先解决无标号有根树计数,设 \(T(x)\) 为无标号有根树的生成函数, 我们有:

\[T = x\operatorname{MEST(T)} \\ T(x) = x \exp(\sum\limits_{j \geq 1}\dfrac{T(x^j)}{j}) \\ \dfrac{T(x)}{x} = \exp(\sum\limits_{j \geq 1}\dfrac{T(x^j)}{j}) \\ \ln \dfrac {T(x)} x = T(x) + \sum\limits_{j \geq 2}\dfrac{T(x^j)}{j} \]

  • 法 1 :牛顿迭代:

    \(G(T(x)) = \ln \dfrac{T(x)} x - T(x) - \sum\limits_{j \geq 2}\dfrac{T(x^j)} j\)

    对于 \(j \geq 2\), 我们已经知道 \(\sum\limits_{j \geq 2} \dfrac{T(x^j)}{j} (\bmod x^{2n})\) 的值, 把它看成一个常数 \(C\)

\[T(x) = T_0(x) - \dfrac{\ln \dfrac{T(x)} x - T(x) - C}{\frac{1}{T_0(x)} - 1} \\ \]

	直接算即可。 
  • 法 2 :分治 FFT:

    考虑求导后再提取系数。

\[T'(x) = \exp(\sum\limits_{j \geq 1}\dfrac{T(x^j)}{j}) +x\exp(\sum\limits_{j \geq 1}\dfrac{T(x^j)}{j})(\sum\limits_{j \geq 1}\dfrac{T(x^j)}{j})’ \\ \\ T'(x) = \dfrac{T(x)}{x}+T(x)(\sum\limits_{j \geq 1}\dfrac{T(x^j)}{j}) \\ T'(x) = \dfrac{T(x)}{x} +T(x)(\sum\limits_{j \geq 1}\dfrac{T‘(x^j) \times j \times x^{j-1}}{j}) \\ xT'(x) = T(x) +T(x)(\sum\limits_{j \geq 1} T'(x^j)x^j)设 $G(x) = \sum\limits_{j \geq 1}T'(x^j)x^j$ \]

	设 $G(x) = \sum\limits_{j \geq 1}T'(x^j)x^j$ 

\[G(x) = \sum\limits_{j \geq 1} x^j \sum\limits_{i} i \times a_i \times x^{(i-1)j} \\ =\sum\limits_{j \geq 1} \sum\limits_{i} i \times a_i \times x^{ij} \\ =\sum\limits_{t} x^t\sum\limits_{d |t}t \times a_t \]

	于是 $G(x)$ 的系数可以在调和级数复杂度内完成。 			

	两边同时提取 $[x^n]$ :

\[nT[n] = T[n] +T *G \\\ T[n] = \dfrac{[x^n]T*G}{n - 1} \]

	半在线卷积即可。 

有标号体系

有标号:EGF。

常用有标号构造

  • 有标号笛卡尔积:重新强标号,且两个组合类内部标号相对顺序保持不变。
  • 有标号 $\mathrm{sequence} $ 同无标号 \(\mathrm{sequence}\)
  • 有标号 \(\mathrm{set}\) 构造:令 \(G\) 是全体置换组成的置换群列,生成无序集合的构造 \(\mathrm{SET}(A) = \mathrm{SEQ}(A) / G_A\)。EGF 为 \(B(x) = \sum\limits_{k \geq 0}\dfrac{A^k(x)}{k!} = \exp A\)

常见组合类的 EGF:

  • 圆排列 EGF 为 \(-\ln(1 - x)\)
  • \(n\) 元置换 EGF 为 \(\dfrac{1}{1 - x}\)
  • 错排 EGF 为 \(e^{-\ln(1 - x) - x}\)
  • 有标号连通图 EGF 为 \(\ln(\sum\limits_{n \geq 0}2^{\binom n 2}\dfrac{x^n}{n!})\)
  • 有标号欧拉图 EGF:\(\ln (\sum\limits_{ n \geq 0})2^{\binom{n - 1}2}\dfrac{x^n}{n!}\)

例题

例题1:P4233 射命丸文的笔记

分子是好求的,本质不同的哈密顿回路有 \((n - 1)!\) 个,答案就是 \((n-1)!2^{\binom n 2 - n}\)

考虑分母,由于图是一个竞赛图,缩点后会形成一条链,又还有哈密顿回路,所以锁点后只剩下一个点,设 \(F(x)\) 为哈密顿回路竞赛图的 EGF,则 \(\mathrm{SEQ}(F)\) 表示了所有竞赛图,即 \(G(x) = \sum\limits_{n \geq 0}2^{\binom n 2}\dfrac{x^n}{n!}\), 所以 \(\dfrac 1 {1 - F} = G \Rightarrow F = 1 - \dfrac 1 G\)

例题2:有标号 DAG 计数

考虑先求出任意 DAG 的 EGF,然后取 \(\ln\) 就是弱连通图 DAG。

\(h_n\) 表示 \(n\) 个点的 DAG 个数,简单的想法是枚举入度为 0 的点,然后所有入度非 0 的点向它连边,但显而易见,这样做会让多个入度为 0 的点重复统计。

考虑二项式反演,设 \(f_n\) 表示钦定 \(n\) 个零入度点, \(g_n\) 表示恰好 \(n\) 个零入度点,则有:
\(f_k = \dbinom n k 2^{k(n - k)}h_{n - k}\)\(g_k = \sum\limits_{n \geq k}(-1)^{n - k}\dbinom n k f_n\),带入得:
\(h_n = \sum\limits_{i = 1}^{n}ans_i = \sum\limits_{i = 1}^{n}\sum\limits_{j \geq i}(-1)^{j - i}\dbinom j i\dbinom n j2^{j(n- j)}h_{n - j}\)

\(h_n = \sum\limits_{j = 0}^{n - 1}(-1)^{n - j}2^{j(n - j)}h_j\sum\limits_{i = 1}^{n - j}\dbinom n i \dbinom{n - i}j(-1)^i\)

\(=\sum\limits_{j = 0}^{n - 1}(-1)^{j-1}2^{j(n-j)}\dbinom n j\)

例题3:有标号二分图计数

\(F(x),G(x)\) 分别为连通二分图,一般二分图的方案,显然 \(G(x) = \exp(F)\),但是 \(F\) 并不好求,因为枚举左右部点加边时仍然会不连通,考虑这样子求出来的图是什么,发现是连通二部图的方案(每一个连通二分子图有两种染色方案)

\(H(x) = \sum\limits_{n \geq 0} \sum\limits_{k \leq n}\dbinom n k 2^{k(n-k)}x^n\),则有 \(H(x) = e^{2F}\)\(G(x) = e^F \Rightarrow G(x) = \sqrt{H(x)}\),多项式开根即可。

例题4:有标号仙人掌计数
例题5:【ZJOI2018】树

假设我们对于所有无标号有根树求出按照题目所给方式标号的方案数,设为 \(f(T)\),答案显然可以写成:\(\dfrac{1}{(n-1)^m}\sum\limits_{|T| = n}f^m(T)\)

而题目要求的无非就是父亲节点编号严格小于儿子节点,等价于拓扑排序方案数,但注意对于同一个点的互相同构的儿子,他们之间没有顺序,因此 \(f(T) = |T| \prod\limits_{x}\dfrac{1}{siz_x}\prod\limits_{x}\dfrac{1}{w_{x,i}!}\),接下来考虑直接对这个系数进行 dp。

\(dp_n = \sum\limits_{|T| = n}f^m(T)\),枚举根节点儿子可得 :

\[dp_n = \dfrac{1}{n^m}[x^{n - 1}]\prod\limits_{i}\prod\limits_{|T| = i}(\sum\limits_{k\geq 0}\dfrac{f^{km}(T)}{(k!)^m}x^{ki}) \]

化乘为加:

\[dp_n = \dfrac 1{n^m}[x^{n - 1}]\exp(\sum\limits_{|T| = i}\ln(\sum\limits_{k\geq 0}\dfrac{f^{km}(T)}{(k!)^m}x^{ki})) \]

考虑 \(B(x) = \ln(\sum\limits_{k \geq 0}\dfrac{x^k}{(k!)^m})\),上面其实是代入 \(B(x^if^m(T))\),稍作代换:

\[dp_n = \dfrac 1{n^m}[x^{m-1}]\exp(\sum\limits_{k \geq 0}([x^k]B)\sum\limits_{|T| = i}{f^{km}(T)}x^{ik})) \]

发现右侧出现了 \(\sum\limits_{|T| = i}(x^if^m(T))^k\) 的形式,我们重新定义 \(dp_{n, t} = \sum\limits_{|T| = n}f^{kt}(T)\) ,则重新改写为:

\[dp_{n,t} = \dfrac{1}{n^{tm}}[x^{n - 1}]\exp(\sum\limits_{|T| = i}\ln(\sum\limits_{k \geq 0}\dfrac{f^{kmt}(T)}{(k!)^{mt}}x^{ik})) \]

\(B_t = \ln(\sum\limits_{k\geq 0}\dfrac{x^k}{(k!)^{tm}})\),则有:

\[dp_{n, t} = \dfrac{1}{n^{tm}}[x^{n - 1}]\exp(\sum\limits_{k\geq 0}([x^k]B_t)\sum\limits_{|T| = i}dp_{i,kt}x^{ik}) \]

动态维护 \(P_t = \exp(\sum\limits_{k \geq 0}([x^k]B_t)\sum\limits_{i}dp_{i,kt}x^{ik})\),答案即是 \(dp_{n,1}\)

直接 dp 有点慢,考虑分析各个变量的取值后可以得到更确切的上界为 \(O(n^2\log n)\)

附:\(O(n^2)\) 多项式 \(\exp\)\(\ln\)

\(B(x) = \exp A(x) \Rightarrow B'(x) = \exp (A(x))A'(x) = B(x)A'(x)\), 所以 \(B_n = \dfrac 1 n \sum\limits_{i = 1}^{n}iA_iB_{n -i}\)

\(B(x) = \ln A(x) \Rightarrow B'(x) A(x) =A'(x)\),所以 \(B_n = A_n - \dfrac 1n \sum\limits_{i = 1}^{n - 1}iB_iA_{n - i}\)

贝尔级数

贝尔级数

针对在素数幂取值得到的生成函数。即:

\[F_p(x)= \sum\limits_{i= 0}^{\infty}f(p^i)x^i \]

贝尔函数的最大用处是结合杜教筛快速构造 \(f= g*h\) 中的 \(h\)

常见数论函数的贝尔级数为:

  • 单位函数 \(\epsilon(x) =1\)
  • 常函数 \(I(x) = \dfrac 1 {1 - x}\)
  • \(k\) 次幂函数 \(id_k(x) = \dfrac{1}{1 - p^kx}\)
  • 欧拉函数 \(\varphi(x) = 1+\sum\limits_{i \geq 1}p^{i - 1}(p - 1) = \dfrac {1 - x}{1 - px}\)
  • 莫比乌斯函数 \(\mu(x) = 1 - x\)
  • 无平方因子函数 \(u(x) = 1+x\)
  • 约数函数 \(\sigma(x) = \sum\limits_{i}(i+1)x^i = \dfrac{1}{(1 - x)^2}\)
  • 约数和函数 \(\sigma_k(x) =\dfrac{1}{(1 - p^kx)(1 - x)}\)
  • \(w(x) = 2^{x不同素因子个数} =1+2\sum\limits_{i \geq 1}x = 1+\dfrac{2x}{1-x}= \dfrac{1+x}{1 - x}\)
  • 刘维尔函数 \(\lambda(x) = \dfrac{1}{1+x}\)

常见推论:

  • \((f *g)_p(x)= f_p(x) g_p(x)\)
  • 贝尔级数点积 \(\epsilon\) 变成 \(\epsilon\)。点积 \(I\) 保持不变。
  • 点积 $id_k $ 等价于换元 \(x \leftarrow p^kx\)

常见狄利克雷卷积:

  • \(\varphi = id *\mu\)
  • \(\epsilon = id * \mu\)
  • \(\sigma = I *I\)
  • \(\sigma_k = id_k *I\)

例 1:求 \(id *(\mu \cdot id)\) 的狄利克雷卷积。

  • 等价于 \(\dfrac{1}{1 - px}(1 - px) = 1 = \epsilon\)

例 2:求 \(\mu^2 *(id\cdot \mu)\) 的前缀和。

  • 等价于 \(f_p(x)= (1+x)(1 - px)\),卷上 \(id\) 后变成 \(\mu^2\)
  • \(\sum\limits_{i= 1}^{n}\mu^2(i) = \sum\limits_{i= 1}^{\sqrt n}\mu(i)\left\lfloor\dfrac{n}{i^2}\right\rfloor\) ,直接 \(\mathcal O(\sqrt n)\) 计算。

例 3:计算 \(\varphi \cdot id\) 的前缀和。

  • \(f_p(x) = \dfrac{1-px}{1 -p^2x}\) ,卷上 \(\varphi *I\) 变成 \(id_2\),容易杜教筛计算。

例题 4:计算积性函数 \(f(p^k)= p^k+[k>0](-1)^k\)

  • \(f_p(x) = \dfrac{1}{1 - px}-\dfrac{x}{1 + x} = \dfrac{1+px^2}{(1- px)(1 + x)}\)
  • 卷上 \((id \cdot \mu) *\mu^2\) 后变成 \((1+px^2)\)
  • 考虑 \(h_p(x) = 1+px^2\) 的组合意义,即 \(x\) 是完全平方数且 \(\sqrt x\) 不含平方因子。
  • 因此 \(\sum\limits h(i) = \sum\limits_{i = 1}^{\sqrt n}\mu^2(i)i\)。容易 \(\mathcal O(\sqrt n)\) 计算。

多项式复合& 拉格朗日反演

分式域与逆元

\(F(x)\) 无常数项时,\(F^{-1}(x)\) 在普通的自然数域中没有定义。

在分式域中,只需将 \(F(x)\) 适当平移,使得存在常数项后操作,最后补回来即可。

例如:\(F(x)^{-n} = x^{-n}(\dfrac{F(x)}x)^{-n}\)

拉格朗日反演

拉格朗日反演主要针对形如 \([x^n]F(x)^k\) 的柿子进行计算,并要求 \(F(x)\) 常数项为 0, 一次项系数非 0。

以下讨论的多项式均常数项为 0一次项系数非 0

定义两个多项式 \(F(x),G(x)\)复合\(F(G(x)) = \sum\limits_{i \geq 0}F[i]G(x)^i\)

若两个多项式 \(F(x),G(x)\) 满足 \(F(G(x)) = G(F(x)) = x\),则称 \(F,G\) 互为复合逆

例如:\(F(x) = \ln(1+x)\)\(G(x) = e^x - 1\) 互为复合逆。

引理1

\[[x^{-1}]F(x)^kF'(x) = [k = -1] \]

证明:若 \(k \neq -1\),左式显然等于 \(\dfrac 1{k+1}(F^{k+1})'\),不存在 \([x^{-1}]\) 的系数。

\(k = -1\), 等于 \(\dfrac{F'(x)}{F(x)} = x^{-1} \times \dfrac{F'(x)}{\frac {F(x)}x}\),常数项为 \(\dfrac{F[1] \times 1}{F(1)} = 1\),所以 \([x^{-1}]F(x)^kF'(x) = 1\)

拉格朗日反演的定理为:若 \(F,G\) 互为复合逆,则:

\[[x^n]nF(x)^k = [x^{-k}]k{G(x)}^{-n} \]

证明

\[F(G(x)) = x \\ F^k(G(x)) = x^k \\ \sum\limits_{i \geq 0}([x^i]F^k)G(x)^i = x^k \\ \sum\limits_{i \geq 0}([x^i]F^k)iG^{i - 1}G' = kx^{k - 1} \\ \sum\limits_{i \geq 0}([x^i]F^k)iG(x)^{i - n - 1}G(x)' = kx^{k -1}G(x)^{-n} \]

两边同时提取 \([x^{-1}]\)

\[[x^n]nF^k = [x^{-k}]kG(x)^{-n} \]

这就是拉格朗日反演的 general 的形式。

\(k = 1\) 时,原式变成:\([x^n]F(x) = [x^{-1}]\dfrac 1 n G(x)^{-n} = [x^{n - 1}]\dfrac 1 n (\dfrac{x}{(G(x)})^n\)

扩展 1:再复合,一般称为“扩展拉格朗日反演”:

条件仍然是 \(F(G(x)) = x\)\(H(x)\) 为一个无要求的幂级数,则:

\[[x^n]H(G(x)) = [x^{-1}]\dfrac 1 n H'(x)F(x)^{-n} \]

只用把初始恒等式改变即可。

扩展 2:直接复合:

\(G(F(x)) = H(x)\),则有:

\[[x^n]G(x) = [x^{-1}]\dfrac{1}nH'(x)F(x)^{-n} \]

同样只用把初始恒等式改一下即可。

扩展 3:另类拉格朗日反演(只是对上面的展开形式不求导,直接乘上 \(F(x)^{-n-1}F(x)\)):

\[G^k(F(x)) = x \\ \sum\limits_{i \geq 0}([x^i]G^k)F^i = x^k \\ \sum\limits_{i \geq 0}([x^i]G^k)F^{i -n - 1}F' = x^kF^{-n - 1}F' \\ [x^n]G^k = [x^{-k-1}]F^{-n-1}F' \]

你实在无聊到家,还可以有扩展另类拉格朗日反演:

\[[x^n]H(G(x)) = [x^{n}]H(x)(\dfrac x {F(x)})^{n+1}F'(x) \]

例题

[BZOJ3684] 大朋友和多叉树

题目要求的是每个非叶子节点的儿子个数 \(cnt \in S\) 的方案,而且儿子之间有顺序,设 \(f_n\)\(n\) 个叶子的答案,\(F(x)\) 为其 OGF,显然有:

\[F(x) = x+\sum\limits_{c \in S}F(x)^c \]

\(G(x) = x - \sum\limits_{c \in S}x^c\),则有 \(F,G\) 互为复合逆,于是:

\[[x^n]F(x) = [x^{n - 1}]\dfrac{1}n(\dfrac x{G(x)})^n \]

直接计算。

LGP7445 「EZEC-7」线段树

首先对每一个线段树节点分开计算期望。

设当前区间为 \([l,r]\),一次操作完全覆盖 \([l,r]\) 的概率为 \(p_x = \dfrac{l(r - l+1)}{\binom {n+1} 2}\),枚举覆盖次数得到:

\(ans_x = \sum\limits_{k = 0}^{m}\dbinom m k p_x^k(1 - p_x)^{m - k}f_k\), 其中 \(f_k\) 为经过 \(k\) 次操作后不为 0 的概率,即:

\[f_k = \dfrac{1}{(V+2)^k}((V+2)^k - [x^0](x^{-1}+x_0+\dots+x^{V})^k) \]

方便起见,将 \(V \leftarrow V+2\),只用计算 \(f_k = [x^0](\sum\limits_{i = -1}^{V - 2}x^{i}) = [x^0](\dfrac{1 - x^V}{x(1 - x)})^k\)

直接拉反吗?不,\(f_k\) 有负数次项,不符合条件,考虑 \(F(x) = [x^0](\dfrac{1 - x^V}{x(1-x)})^k = [x^0](\dfrac{x(1-x)}{1-x^V})^{-k}\),设 \(G(x) = \dfrac{x(1-x)}{1-x^V}\),显然 \([x^0]G(x) = 0, [x^1]G(x) \neq 0\), 于是借用另类拉格朗日反演,设 \(H\)\(G\) 的复合逆:

\[[x^0]G^{-k} = [x^{k-1}]H'H^{-1}=[x^k]\dfrac{H'}{\frac{H}x} \]

然后求出 \(H\) 卷一下就可以得到 \(f_k\) 了,考虑 \(H\) 怎么算,因为:

\[\dfrac{H(1-H)}{1 -H^V} = x \Rightarrow H - H^2 - xH +xH^v = 0 \]

牛顿迭代即可。

剩下的就是一个多点求值了,当然也存在分治的做法。

CF1349F2 Slime and Sequences (Hard Version)

先考虑 \(O(n^2)\) 怎么做:由于我们要求 \(i\) 最后一次出现时有 \(i - 1\) 出现。考虑这么一个双射:

初始有一个集合,每次从小到大枚举,每次把 \(i\) 出现的位置按从大到小排序后加入集合中,这会形成一个排列,而排列的上升数加一就是当前的最大值。容易发现一个排列和一个好序列形成双射。

枚举 \(i\) 出现的位置: \(ans_i = \sum\limits_{j = i+1}^{n}\left\langle\begin{matrix}j \\ i - 1\end{matrix}\right\rangle\dfrac{n!}{i!}\)

\(O(n^2)\) 预处理欧拉数即可通过 F1。考虑 F2。

F2 的瓶颈在于求 \(ans_k = \sum\limits_{i = k +1}^{n}\left\langle\begin{matrix}i \\ k\end{matrix}\right\rangle \dfrac 1 {i!}\)

我们有欧拉数的二项式反演做法:\(\left\langle\begin{matrix} n \\ m\end{matrix}\right\rangle = \sum\limits_{k = m}^{n}(-1)^{k - m}\dbinom k m[\dfrac{x^n}{n!}](e^x - 1)^{n - k}\) ,考虑把 F1 的式的欧拉数拆开:

\[ans_k = \sum\limits_{i = k+1}^{n}\dfrac 1{i!}\sum\limits_{j = k}^{i - 1}(-1)^{j - k}\dbinom j k [\dfrac{x^i}{i!}](e^x - 1)^{i - j} \\ =\sum\limits_{i = k+1}^{n}\sum\limits_{j = k}^{i - 1}(-1)^{j -k} \dbinom j k [x^i](e^x - 1)^{i - j} \\ =\sum\limits_{j = k}^{n - 1}\dbinom jk (-1)^{j - k}\sum\limits_{i = j+1}^{n}[x^i](e^x - 1)^{i - j} \\ =\sum\limits_{j = k}^{n - 1}\dbinom j k (-1)^{j - k}\sum\limits_{i = j+1}^{n}[x^j](\dfrac{e^x - 1}x)^{i - j} = \sum\limits_{j = k}^{n - 1}\dbinom j k (-1)^{j - k}\sum\limits_{i = 1}^{n - j}[x^j](\dfrac{e^x - 1}x)^i \]

注意到后面的 \(\sum\limits_{i = 1}^{n - j}[x^j](\dfrac{e^x - 1}x)^i\) 只与 \(j\) 有关,设 \(f_j = \sum\limits_{i = 1}^{n - j}[x^j](\dfrac{e^x - 1}x)^i\),则求出 \(f\) 后与前面的卷一下就是答案。

\(F = \dfrac{e^x - 1}x\),先用等比数列简化:\(f_j = [x^j]\dfrac{F - F^{n - j+1}}{1 -F } = \dfrac{F}{1 - F}-\dfrac{F^{n - j+1}}{1 -F}\)。前面的直接算,考虑怎么算后面:

直接将 \(F\) 带入:\(=[x^j](\dfrac{(\dfrac{e^x - 1}x)^{n - j+1}}{1 - \dfrac{e^x - 1}x}) = [x^n](\dfrac{(e^x - 1)^{n - j + 1}}{x - (e^x - 1)})\)。设 \(R(x) = e^x - 1\),显然 \(R^{(-1)}(x) = \ln(1+x)\)。设为 \(D(x)\)

考虑写成复合的形式:设 \(H(x) = \dfrac{x^{n - j+1}}{R^{(-1)}(x) - x}\),则答案就是 \(H(R(x))\)。由于 \(H\) 比较复杂,不好直接导,使用扩展另类拉格朗日反演:

\[[x^n]H(R(x)) = [x^n]H(x)(\dfrac{x}{D(x)})^{n+1}D'(x)\\ =[x^n]\dfrac{x^{n - j+1}}{D(x) - x}(\dfrac x {D(x)})^{n+1}D'(x)= [x^{j-1}](\dfrac{x}{D(x)})^{n+1}D'(x) \]

可以直接计算。

NOIP一轮复习:特殊计数数列

斯特林数与有限微积分

定义上升 / 下降阶乘幂\(x^{\underline k} = \prod\limits_{i = 1}^{k}(x - i+1), x^{\overline{k}} = \prod\limits_{i = 1}^{k}(x+i - 1)\), 即 $x^{\underline n} = \dfrac{x!}{(x - n)!}, $$x^{\overline n} = \dfrac{(x+n-1)!}{(x-1)!}$

普通的幂次 \(x^n\) 称为方幂,二项式系数 \(\dbinom n m = \dfrac{n^{\underline m}}{m!}\)

推论:\(x^{\underline {a+b}} = x^{\underline a}(x-a)^{\underline b}, x^{\overline{a+b}} = x^{\overline a}(x+a)^{\overline b}\)

\(x^{\overline n} = (-1)^{n}(x+n-1)^{\underline n}\)

阶乘加倍公式\(x^{\underline k}(x-\dfrac 1 2)^{\underline k} = \dfrac{(2x)^{\underline {2k}}}{2^{2k}}\)

由此可以推导出经典的卡特兰数的生成函数:\(\sum\limits_{n = 0}^{\infty}\dbinom{2n}n x^n = \dfrac 1 {\sqrt{1 - 4x}}\)

证明:\(\dbinom {2n} n = \dfrac{(2n)^{\underline n}}{n!} = \dfrac{(2n)!}{(n!)^2} = \dfrac{4^n \times n^{\underline n}(n - \dfrac 1 2)^{\underline n}}{(n!)^2} = 4^n \dbinom{n}{n - \dfrac 1 2} = (-4)^n \dbinom{-\dfrac 1 2}{n}\) 下降幂二项式定理\((x+y)^{\underline n} = \sum\limits_{k = 0}^{n} \dbinom n k x^{\underline k}y^{\underline{n - k}}\)

将两边同时除以 \(n!\) 后根据范德蒙德卷积易证。

阶乘幂的差分\((x+1)^{\underline n} - x^{\underline n} = nx^{\underline{n - 1}}\)

阶乘幂的求和\(\sum\limits_{x = 0}^{k - 1}x^{\underline n} = \dfrac{k^{\underline {n+1}}}{n+1}\)

经典的微积分基于微分算子 $Df(x) = \lim\limits_{h \to 0} \dfrac{f(x+h) - f(x)}h $,而有限微积分则基于差分算子 \(\Delta\) 和下降幂。

  • 有限微分\(\Delta(x^{\underline n}) = nx^{\underline {n - 1}}\)
  • 有限定积分\(\sum\limits_{x = 0}^{k - 1}x^{\underline n} = \dfrac{k^{\underline {n+1}}}{n+1}\)
  • 调和级数 $\int x^{-1} = \ln x \(, **有限积分不变量**:\)\Delta(2^x) = 2^x$
  • 乘法法则\(\Delta(uv) = u\Delta v+\mathrm{E}(v)\Delta (u)\)
  • 分部积分法则\(\sum u\Delta v = uv - \mathrm{E} v\Delta u\)

定义第二类斯特林数 \(\begin{Bmatrix} n \\ m \end{Bmatrix}\) 表示 \(n\) 个有标号物体放进 \(m\) 个无标号非空盒子的方案数,递推式为:

\(\begin{Bmatrix} n \\ m \end{Bmatrix} = \begin{Bmatrix} n - 1 \\ m - 1\end{Bmatrix}+m\begin{Bmatrix} n - 1 \\ m \end{Bmatrix}\)

组合意义:考虑最后一个小球是否放进一个新盒子里面。

根据定义,我们可以容斥计算出单个 \(\begin{Bmatrix} n \\ m \end{Bmatrix} = \dfrac{1}{m!}\sum\limits_{k = 0}^{m}\dbinom m k(-1)^k(m - k)^n\) ,这与生成函数 \([x^n](e^x - 1)^m\) 相同。

第二类斯特林数 - 行的快速计算:根据容斥式卷积即可。

第二类斯特林数 - 列的快速计算:\((e^x - 1)^{m}\)

第二类斯特林数建立了方幂和下降幂的关系:

$m^k = \sum\limits_{i = 0}^{k} \dbinom m i i! \begin{Bmatrix} k \ i\end{Bmatrix} $ ,当一些问题要求出某些答案的 \(k\) 次方和时,通常使用第二类斯特林数将 \(k\) 次方降下来,对于剩下的组合数,可以考虑组合意义递推或直接计算。

例题

例题1:CF932E Team Work

\[\sum\limits_{i = 0}^{n} \dbinom n i i^k \\ = \sum\limits_{i = 0}^{n} \dbinom n i\sum\limits_{j = 0}^{k} \dbinom i jj!\begin{Bmatrix} k \\ j\end{Bmatrix} = \sum\limits_{j = 0}^{k} \begin{Bmatrix} k \\ j\end{Bmatrix} j!\sum\limits_{i = j}^{n} \dbinom n i \dbinom i j \\ =\sum\limits_{j = 0}^{k}\begin{Bmatrix} k \\ j\end{Bmatrix}j!\sum\limits_{i = j}^{n} \dbinom n j\dbinom{n - j}{i - j} = \sum\limits_{j = 0}^{k} \begin{Bmatrix} k \\ j\end{Bmatrix} n^{\underline j}2^{n - j} \]

例题2:[国家集训队] Crash 的文明世界

\(\sum\limits_{i = 1}^{n}\mathrm{dist}(x, i)^k = \sum\limits_{i = 1}^{n} \sum\limits_{j = 0}^{k}\begin{Bmatrix} k \\ i \end{Bmatrix} i!\dbinom{\mathrm{dist}(x,i)} j = \sum\limits_{j = 0}^{k}\begin{Bmatrix} k \\ j \end{Bmatrix} j!\sum\limits_{i = 1}^{n}\dbinom{\mathrm{dist}(x, i)} j\)

\(f_{i, j}\) 表示距离以 \(i\) 为根时,\(j\)\(\sum\limits_{i = 1}^{n}\dbinom{\mathrm{dist}(x, i)} j\) ,转移直接 \(f_{x, i} \leftarrow f_{y, i}+f_{y, i - 1}+f_{x, i}\)

对于多个 \(x\), 换根 dp 即可。

例题3:CF1097G Vladislav and a Great Legend

转化后,变成对于每一个 \(i \in [1, k]\),计算所有虚树中选出 \(i\) 个点的方案数。

同样考虑 dp ,设 \(f_{x, i}\) 表示以 \(x\) 为根的子树中选出 \(i\) 条边的方案数 ,在最浅处统计答案,转移就是个背包。

定义第一类斯特林数 \(\begin{bmatrix} n \\ m\end{bmatrix}\) 为把 \(n\) 个有标号球放进 \(m\)非空圆排列 的方案数,递推式为:

\(\begin{bmatrix} n \\ m\end{bmatrix} = \begin{bmatrix} n - 1 \\ m - 1\end{bmatrix}+(n - 1)\begin{bmatrix} n - 1\\ m\end{bmatrix}\)

组合意义:同样考虑最后一个球的位置,但是放进已有圆排列的方案为 \((n - 1)\)

第一类斯特林数没有简洁的求单项的公式,但我们有以下结论:

\(\prod\limits_{i = 1}^{n}(x - i+1) = x^{\underline n} = \sum\limits_{k = 0}^{n}(-1)^{n - k}\begin{bmatrix} n \\ k \end{bmatrix}x^k\)

因此,求一行的第一类斯特林数可以直接计算 \(\prod\limits_{i = 0}^{n - 1}(x - i)\), 可以分治做到 \(O(n \log n)\)

求一列的第一类斯特林数,直接计算 \((-\ln(1 - x) - 1)^k\)

例题5:CF960G Bandit Blues

考虑根据最大值划分成一个前缀和一个后缀,设 \(f_{i, j}\) 表示 \(i\) 个数,不同的前缀最大值 \(j\) 个的方案,从大往小加入,可得 \(f_{i, j} = f_{i - 1, j - 1}+(i - 1)f_{i - 1,j}\),发现就是第一类斯特林数的递推公式,最后答案为:

\(ans = \sum\limits_{i = 1}^{n} \dbinom{n - 1}{i - 1}\begin{bmatrix} i - 1 \\ a - 1\end{bmatrix} \begin{bmatrix} n- i\\ b - 1\end{bmatrix}\)

考虑组合意义:可以看做总共有 \(a+b - 2\) 个圆排列,选出 \(a - 1\) 个,最后答案就是:\(\begin{bmatrix} n - 1\\ a+b - 2 \end{bmatrix} \dbinom{a+b - 2}{a - 1}\)

斯特林反演

方幂,上升 / 下降幂的转化:

  • 方幂转下降幂:$x^n = \sum\limits_{k = 0}^{n} \begin{Bmatrix} n \ k\end{Bmatrix}x^{\underline k} $
  • 下降幂转方幂:\(x^{\underline n} = \sum\limits_{k = 0}^{n}(-1)^{n - k}\begin{bmatrix} n \\ k\end{bmatrix}x^k\)
  • 方幂转上升幂:\(x^n = \sum\limits_{k = 0}^{n}(-1)^{n - k}\begin{Bmatrix} n \\ k\end{Bmatrix}x^{\overline k}\)
  • 上升幂转方幂:\(x^{\overline n} = \sum\limits_{k = 0}^{n}\begin{bmatrix} n\\ k\end{bmatrix}x^k\)

由此,我们可以得出:\(x^n =\sum\limits_{k = 0}^{n}\begin{Bmatrix} n \\ k\end{Bmatrix}x^{\underline k} = \sum\limits_{k = 0}^{n}\begin{Bmatrix} n \\k \end{Bmatrix} \sum\limits_{i = 0}^{k}\begin{bmatrix} k \\ i\end{bmatrix} (-1)^{k - i}x^i\)

\(=\sum\limits_{i = 0}^{n}x^i\sum\limits_{k = i}^{n}\begin{Bmatrix} n \\ k\end{Bmatrix}(-1)^{k - i}\begin{bmatrix} k \\i\end{bmatrix}\)

得到斯特林判别式:\([n = m]=\sum\limits_{i = m}^{n}\begin{Bmatrix} n \\ i\end{Bmatrix}\begin{bmatrix} i \\ m\end{bmatrix}(-1)^{i - m}\)

从矩阵乘法的角度来看,令 \(A_{n, m} = \begin{Bmatrix} n \\ m\end{Bmatrix}(-1)^m, B_{n, m}=\begin{bmatrix} n \\ m\end{bmatrix}(-1)^m\),则有 \(AB = I\)

把上面的 \(x^n\) 代换成 \(f(x)\)\(x^{\underline n}\) 代换成 \(g(x)\), 就可以得到斯特林反演的四种形式,只列举两种:

  • \(f(n) = \sum\limits_{k = 0}^{n}\begin{Bmatrix} n\\ k\end{Bmatrix}g(k)\Rightarrow g(n) = \sum\limits_{k = 0}^{n}\begin{bmatrix} n \\ k\end{bmatrix}(-1)^{n - k}f(k)\)
  • \(f(n) = \sum\limits_{k \geq n}\begin{Bmatrix} k \\ n\end{Bmatrix}g(k) \Rightarrow g(n) =\sum\limits_{k \geq n}\begin{bmatrix} n \\k\end{bmatrix}(-1)^{k - n}f(k)\)

例题

例题1:BSOJ5711 异或图

首先把连通容斥掉,设 \(f_n\) 表示恰好有 \(n\) 个连通块图的个数,\(g_n\) 表示至少有 \(n\) 个连通块图的个数,那么有 :\(g_m = \sum\limits_{n \geq m} \begin{Bmatrix} n \\ m\end{Bmatrix} f_n\) ,根据斯特林反演得:\(f_1 = \sum\limits_{n \geq 1} (-1)^{n- 1}\begin{bmatrix} n \\ 1 \end{bmatrix} g_n = \sum\limits_{n \geq 1}(-1)^{n - 1}(n - 1)!g_n\)

由于 \(n \leq 10\), 我们可以暴力枚举每个点的连通情况(与哪些点连通)。

根据一般容斥的套路,我们钦定不在同一个连通块的点强制不连通,而在同一个的可以随便连边。

对于每一个图的选择方案和两个强制钦定不在同一个连通块的点构成了一个异或方程组,这个方程解的数量就是符合条件的图的集合。

而方程组解的个数显然为消元后自由元的个数,直接高斯消元即可。

时间复杂度 \(O(Bell_n \times n^3)\), 其中 \(Bell_n\) 表示贝尔数第 \(n\) 项。

例题2:【2018雅礼集训1-16】方阵

\(f_k\) 表示只考虑前 \(k\) 行的合法的填数方案,随便填的方案为 \((m!)^{\underline k}\), 考虑容斥掉重复的答案。

发现我们可以把所有重复的行看作一个等价类,也就是一个集合,于是就可以用斯特林反演:\(f_k = (m!)^{\underline k} - \sum\limits_{i = 1}^{k - 1}f_i \begin{Bmatrix} k \\ i\end{Bmatrix}\)

posted @ 2022-10-01 21:35  henrici3106  阅读(199)  评论(0编辑  收藏  举报