[关闭]
@Cyani 2020-06-09T22:31:07.000000Z 字数 2710 阅读 1532

Enumerative Combinatorics 第一卷 1.3 节

OI


1.3 排列统计量:循环,逆序表,下降集,笛卡尔树,q 模拟

1.3.2 对「有 个长为 循环的置换」计数


组合证明:考虑将置换写成循环组合的标准形式(长度非减)。括号内可以 shift,长度相同的循环可以任意交换。发现任意排列都能唯一表示,是一个双射。

1.3.9 排列与其逆序表的双射

将排列映射到它的逆序表的映射 是一个双射。

1.3.10 排列的逆序到阶乘的 模拟

其中 表示排列 的逆序数。上式也即

1.3.11 下降集与欧拉数初步

定义 ,以及


显然 容易通过组合数计算。定义 Euler 多项式,用 表示其 的系数,即有多少「长为 且下降数为 的排列」。

1.3.12 欧拉数与胜位数

考虑将排列写成标准形式, 是他们所在环里的最大元,按照 升序排列。


显然有 当且仅当 (称为一个弱胜位)。

可以得到 结论 等于具有 个胜位(严格大于)的排列数量。

1.3.14 排列与笛卡尔树(递增二叉树)

每次取出根之后两边递归,可以得到排列到笛卡尔树的映射 性质:根据 之间的大小关系(上升,下降,峰值,谷值),对应 是否存在左右子树。

1.3.16 排列与单调栈树(?)(无序递增树)

每个元素向左侧比 小的位置最大的元素连边(根节点为 )。同样可以得到类似的结论。

1.3.17 重集的逆序对与 q 二项式系数(Gauss 多项式)

其中 ,后者实际上是关于 的多项式。只需注意到下式

1.3.18 对「 元有限域的 维向量空间的 维子空间」计数

所有 元有限域均同构。考虑从 中选取有序的 元无关向量组:

可以得到

1.3.19 拆分,网格路径,q 二项式系数

最多有 个部分,最大部分 的拆分个数。实际上也对应了从 走向 下方面积为 的方案数。显然有

添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注