[论文解读] Wilf classification of bi-vincular permutation patterns

Robert Parviainen|ArXiv.org|Oct 27, 2009

Advanced Combinatorial Mathematics参考文献 7被引用 15

一句话总结

本文根据Wilf等价性对长度为二和三的双连通排列模式进行了分类，确定了长度二有7个类，长度三有24个类。文章为每种模式的避免排列数提供了显式公式，解决了Bousquet-Mélou等人引入的这一类广义模式的Wilf分类问题。

ABSTRACT

We classify all bi-vincular patterns of length two and three according to the number of permutations avoiding them. These patterns were recently defined by Bousquet-Melou et. al., and are natural generalizations of Babson and Steingrimsson's generalized patterns. The patterns are divided into seven and 24 Wilf classes, for lengths two and three, respectively. For most of the patterns an explicit form for the number of permutations avoiding the pattern is given.

研究动机与目标

• 根据Wilf等价性对所有长度为二和三的双连通排列模式进行分类。
• 确定长度为n的排列中避免每种模式的排列数量，尽可能提供显式公式。
• 将Wilf分类框架扩展至双连通模式，这是经典模式和连通模式的推广。
• 利用逆、反转和补运算识别模式之间的对称性和等价性。
• 建立长度至三的双连通模式的完整Wilf分类，基于Bousquet-Mélou等人近期的工作。

提出的方法

• 本文使用双连通模式的形式定义，即三元组(σ, X, Y)，其中σ为一个排列，X, Y为{0} ∪ [k]的子集，对位置和数值施加相邻性约束。
• 应用对称性操作（逆、反转、补）将模式分组为Wilf等价类。
• 作者通过推导避免排列数的递推关系或闭式表达式来分析每种模式。
• 对每种模式，计算避免计数an(p)，并在不同模式间比较以确定Wilf等价性。
• 对特殊情况（如具有完整索引或数值约束的模式）进行显式计数，得出如an(p) = n! − (n−3)!等公式。
• 通过逐案分析和对称性论证验证分类结果，结果整理成表格和Wilf类列表。

实验结果

研究问题

• RQ1 双连通模式长度为二和三时，存在多少个Wilf等价类？
• RQ2 能否为避免给定双连通模式的长度为n的排列数推导出显式公式？
• RQ3 哪些对称性（逆、反转、补）保持双连通模式的Wilf等价性？
• RQ4 索引和数值约束（X和Y集合）如何影响双连通模式的Wilf分类？
• RQ5 是否存在结构或组合原因解释双连通模式中观察到的Wilf类结构？

主要发现

• 双连通模式长度为二时，恰好存在7个Wilf等价类。
• 双连通模式长度为三时，恰好存在24个Wilf等价类。
• 对于模式(123, {0,1,2}, {0,1,2})，避免排列的数量为an(p) = n! − (n−3)!。
• 对于具有完整索引和数值约束的模式，如(123, X, {0,1,2,3})，当n = 3时避免计数为an(p) = n! − 1，否则为n!。
• 同一Wilf类中的模式具有完全相同的避免序列，且该分类在标准对称性操作下是封闭的。
• 本文为每个Wilf类提供了完整的模式列表，并为大多数类提供了显式计数公式。