[论文解读] Permutations containing a pattern exactly once and avoiding at least two patterns of three letters

Toufik Mansour|ArXiv.org|Feb 1, 2002

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

一句话总结

本文为恰好包含一次给定模式 τ 且至少避免两个三字母模式的排列的生成函数提供了显式公式和递推关系。通过结构分解与生成函数技术，该文对 |T| = 2、3 和 ≥4 的所有此类排列集进行了完整分类，为 Sₙ(T;τ) 的基数提供了封闭形式或递推关系。主要贡献在于通过生成函数对这些近乎 Wilf-类集合实现了完整的枚举表征。

ABSTRACT

In this paper, we find an explicit formulas, or recurrences, in terms of generating functions for the cardinalities of the sets $S_n(T;τ)$ of all permutations in $S_n$ that contain $τ\in S_k$ exactly once and avoid a subset $T\subseteq S_3$, $|T|\geq2$. The main body of the paper is divided into three sections corresponding to the cases $|T|=2,3$ and $|T|\geq4$.

研究动机与目标

• 枚举恰好包含特定模式 τ 一次且避免至少两个三字母模式集合 T 的排列。
• 基于 Wilf 等价性原则，将此类排列集分类为近乎 Wilf 类。
• 为所有有效 T 与 τ 组合下 Sₙ(T;τ) 的基数推导出显式生成函数公式或递推关系。
• 通过结合精确模式包含（一次）与多重避免条件，扩展先前关于模式避免的研究。

提出的方法

• 本文基于排列中最大元素 n 的位置进行结构分解，利用关于三字母模式避免排列的已知结果。
• 应用生成函数技术，特别是递推关系，将 Sₙ(T;τ) 的生成函数 Aₜ(x) 表示为更小子问题的函数。
• 针对每种情况（|T|=2,3,≥4），利用补全、反转和逆对称性识别 Wilf 与近乎 Wilf 类的典型代表。
• 依赖 Mansour（2002）和 Simion-Schmidt（1995）的先前成果，表征避免特定三字母模式的排列结构。
• 分析基于 τ 的形式与 T 的结构进行分类，特别关注最长递减或递增前缀。
• 对于 |T|≥4，利用 Erdős–Szekeres 定理证明满足避免与包含条件的排列仅有有限多个。

实验结果

研究问题

• RQ1 对于长度为 n 的排列，其恰好包含给定 k 个字母的模式 τ 一次且避免至少两个三字母模式集合 T 的生成函数是什么？
• RQ2 Sₙ(T;τ) 的生成函数如何随 τ 的结构与 T 的选择而变化，特别是在 |T|=2,3 或 ≥4 时？
• RQ3 哪些 T 与 τ 的组合会产生有限或无限的排列集合，每种情况下的确切生成函数是什么？
• RQ4 能否对精确模式包含（一次）与多重避免条件结合时的近乎 Wilf 类结构进行完全表征？
• RQ5 Sₙ(T;τ) 的生成函数在所有有效 T 与 τ 下是否存在显式封闭形式或递推表达式？

主要发现

• 当 |T|=2 时，本文根据 τ 的最长递减或递增前缀，为生成函数 Aₜ(x) 提供了递推关系，显式公式取决于 τ' 是否为空。
• 当 T={123,132,213} 时，对于 τ=(k−1,k,τ')，生成函数 Eₜ(x) = x²/(1−x)·Eₜ'(x)；对于 τ=(k,τ')，有 Eₜ(x) = x·Eₜ'(x)，并给出了小规模 τ 的初始条件。
• 当 T={123,132,231} 时，对于 τ=(k,…,2,1)、(k,…,k−r+1,k−r−1,…,1,k−r) 和 (k,…,2,1)，生成函数 Fₜ(x) = xᵏ + (k−1)xᵏ⁺¹。
• 当 T={132,213,231} 时，对于 τ=(k,…,r+1,1,2,…,r)，生成函数 Hₜ(x) = xᵏ；对于 τ=(1,2,…,k)，有 Hₜ(x) = xᵏ/(1−x)。
• 当 |T|≥4 时，本文表明 |Sₙ(T;τ)| 仅在特定 τ 及 n=k 或 n=k+1 时为 1，其余情况为 0，并给出了 τ 与 n 的显式条件。
• 在所有 |T|≥4 的情况下，非零值仅出现在 τ 为反向恒等排列或恒等排列时，且仅当 n=k 或 n=k+1 时成立。