[论文解读] Sorting and preimages of pattern classes

Anders Claesson, Henning Úlfarsson|arXiv (Cornell University)|Mar 12, 2012

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

一句话总结

本文提出了一种算法，用于确定排序操作（如栈排序或冒泡排序）在何时会产生给定的排列模式，使用包含修饰模式的广义模式。通过将网格模式扩展为带标记和着色规则的形式，该研究为西-3-栈可排序排列提供了新的刻画——解决了长期存在的开放问题。

ABSTRACT

We introduce an algorithm to determine when a sorting operation, such as stack-sort or bubble-sort, outputs a given pattern. The algorithm provides a new proof of the description of West-2-stack-sortable permutations, that is permutations that are completely sorted when passed twice through a stack, in terms of patterns. We also solve the long-standing problem of describing West-3-stack-sortable permutations. This requires a new type of generalized permutation pattern we call a decorated pattern.

研究动机与目标

• 解决长期存在的关于西-3-栈可排序排列的刻画问题。
• 开发一种系统化方法，用于确定哪些排列在经过栈排序或冒泡排序等排序操作后会映射到给定模式。
• 将广义排列模式理论扩展至包含修饰模式，以更精细地控制排列中禁止区域的设置。
• 提供一种算法，计算经典模式在栈排序算子下的预像，表示为一组禁止的网格模式。
• 通过形式化、算法化的框架，统一并自动化描述排序算子下的预像。

提出的方法

• 引入修饰模式——一种新型广义排列模式，结合标记与着色，以控制禁止区域内元素的放置。
• 将 Brändén 和 Claesson（2011）提出的网格模式概念进行改编，引入标记条目，以限制特定区域内元素的数量或存在性。
• 开发一种名为 *ShadeAndMark* 的算法，输入经典模式 $ p $，输出一组有限的（标记）网格模式 $ P $，使得 $ S^{-1}( ext{Av}(p)) = ext{Av}(P) $，其中 $ S $ 为栈排序算子。
• 将该算法应用于重新证明已知结果，例如西-2-栈可排序排列可刻画为避免 231 模式的排列。
• 将该算法扩展至冒泡排序算子，证明其可适应不同排序机制。
• 利用该算法推导出 $ ext{Av}(p) $ 在经典模式下的预像，实现对排序结果的自动化模式化推理。

实验结果

研究问题

• RQ1 经过三次通过栈操作后，哪些排列会被排序为给定模式？
• RQ2 广义排列模式如何扩展以捕捉栈排序等排序操作的预像条件？
• RQ3 能否构建一种算法，系统性地计算定义给定模式在栈排序下预像的禁止模式集合？
• RQ4 在栈排序算子的逆操作下，是否存在稳定的模式定义，从而实现对预像的统一描述？
• RQ5 该算法能否适配其他排序算子（如冒泡排序），以描述其预像集合？

主要发现

• 本文使用修饰模式，为长期存在的西-3-栈可排序排列问题提供了完整解决方案。
• *ShadeAndMark* 算法成功将任意经典模式在栈排序算子下的预像计算为一组有限的（标记）网格模式。
• 利用新算法框架，重新证明了西-2-栈可排序排列（即避免 231 模式的排列）的刻画。
• 该方法可扩展至冒泡排序算子，同样实现其预像集合的自动化推导。
• 使用修饰模式可对排列中的禁止区域实现精确控制，从而描述复杂的预像条件。
• 该框架为后续基于模式形式化研究排序算子及其逆像奠定了基础。