[论文解读] A generating tree approach to k-nonnesting partitions and permutations

Sophie Burrill, Sergi Elizalde+2 more|arXiv (Cornell University)|Aug 29, 2011

Advanced Combinatorial Mathematics参考文献 20被引用 9

一句话总结

本文提出一种生成树方法，直接从弧图表示出发，枚举并穷尽生成 $k$-非嵌套集合划分与排列，避免依赖杨表或格路双射。推导出以 $k$ 为参数的生成函数的显式函数方程，为这些生成函数在 $k > 3$ 时非 D-有限性提供了强有力证据，支持该领域长期存在的一个猜想。

ABSTRACT

We describe a generating tree approach to the enumeration and exhaustive generation of k-nonnesting set partitions and permutations. Unlike previous work in the literature using the connections of these objects to Young tableaux and restricted lattice walks, our approach deals directly with partition and permutation diagrams. We provide explicit functional equations for the generating functions, with k as a parameter.

研究动机与目标

• 开发一种直接的组合方法，通过弧图表示枚举并生成 $k$-非嵌套集合划分与排列。
• 避免与杨表或受限格路的间接联系，转而直接基于图结构进行操作。
• 推导出以 $k$ 为参数的 $k$-非嵌套划分与排列的生成函数的显式函数方程。
• 提供支持该猜想的证据：$k$-非交叉集合划分的生成函数在 $k > 3$ 时非 D-有限性。
• 探索这些组合类中 $k$-嵌套与 $k$-交叉的分布，并通过生成树实现穷尽生成。

提出的方法

• 构建生成树，其中每个对象由组合参数标记，并定义生成下一层对象的继承规则。
• 以弧图为首要表示形式，在树构建过程中直接编码嵌套结构。
• 基于生成树的递归结构，推导出生成函数的函数方程。
• 使用 Maple 中的 gfun 包，基于最多 80 项测试生成函数的 D-有限性。
• 将生成树框架适配于处理集合划分与排列，包括用于类似 RNA 结构的开放图。
• 利用生成树实现 $k$-非嵌套对象的穷尽生成，无需依赖先前的计数结果。

实验结果

研究问题

• RQ1 能否使用生成树方法直接枚举 $k$-非嵌套集合划分与排列，而无需使用杨表或格路双射？
• RQ2 以 $k$ 为参数时，$k$-非嵌套划分与排列的生成函数由何种函数方程控制？
• RQ3 如长期猜想所示，$k$-非交叉集合划分的生成函数在 $k > 3$ 时是否非 D-有限？
• RQ4 在 $k$-非嵌套划分与排列中，当 $\ell < k$ 时，$\ell$-嵌套的分布如何？
• RQ5 生成树框架能否扩展以同时施加非交叉与非嵌套条件？

主要发现

• 作者成功基于弧图表示构建了 $k$-非嵌套集合划分与排列的生成树，实现了直接的递归生成。
• 显式推导出以 $k$ 为参数的 $k$-非嵌套划分与排列的生成函数的函数方程。
• 基于使用 80 项尝试拟合微分方程但失败的结果，$k$-非嵌套排列的生成函数在任意 $k > 2$ 时均非 D-有限。
• $k$-非嵌套排列的计数序列在小规模 $n$ 时与 $n!$ 一致，但在 $n > 10$ 后开始偏离，表明复杂度持续增加。
• 生成树方法可在不增加度数为 2 的顶点或依赖匹配计数的情况下，实现 $k$-非嵌套纠缠图的穷尽生成。
• 该方法为研究排列与划分中 $k$-嵌套与 $k$-交叉的分布提供了新途径，可能支持对嵌套数的几率分析。