[论文解读] 2-stack pushall sortable permutations

Adeline Pierrot, Dominique Rossin|arXiv (Cornell University)|Mar 18, 2013

Advanced Combinatorial Mathematics参考文献 16被引用 5

一句话总结

本文引入了2栈pushall可排序排列这一概念，它是2栈可排序排列的一个受限子类，并提出了一种最优的O(n²)算法，用于判断给定大小为n的排列是否为2栈pushall可排序排列。该方法通过排列的双色模型来表征有效的排序序列，并利用⊖-分解与动态规划高效计算所有可能的有效着色，从而为更广泛的2栈排序问题中的一个关键子问题提供了多项式时间解法。

ABSTRACT

In the 60's, Knuth introduced stack-sorting and serial compositions of stacks. In particular, one significant question arise out of the work of Knuth: how to decide efficiently if a given permutation is sortable with 2 stacks in series? Whether this problem is polynomial or NP-complete is still unanswered yet. In this article we introduce 2-stack pushall permutations which form a subclass of 2-stack sortable permutations and show that these two classes are closely related. Moreover, we give an optimal O(n^2) algorithm to decide if a given permutation of size n is 2-stack pushall sortable and describe all its sortings. This result is a step to the solve the general 2-stack sorting problem in polynomial time.

研究动机与目标

• 定义并研究2栈可排序排列的一个新子类，称为2栈pushall可排序排列，以简化一般的2栈排序问题。
• 为2栈pushall可排序性提供一个多项式时间决策算法，解决组合算法领域长期存在的开放问题。
• 通过排列图的双色模型，表征给定排列的所有有效排序序列。
• 建立所有有效着色的线性时间表示，实现高效枚举与决策。
• 通过解决一个可处理但结构丰富的变体，为解决一般的2栈排序问题奠定基础。

提出的方法

• 本文将2栈pushall排序建模为对排列点的双色着色（红色与绿色通道），其中每种着色对应一种有效的入栈与出栈操作序列。
• 定义了四种禁止模式（132、213、2/13、1X2），在有效着色中必须避免，以确保正确的排序行为。
• 通过线性时间计算排列的⊖-不可分解块分解，实现递归处理。
• 使用动态规划与模式避免技术，递归计算每个⊖-不可分解块的所有有效着色集合。
• 通过乘积构造组合各块的着色，利用全排列着色与块着色元组之间的双射关系。
• 整体算法在O(n²)时间内运行，通过处理每个块并聚合结果实现，总工作量被限制在O(n²)。

实验结果

研究问题

• RQ1 2栈排序的一个受限变体——2栈pushall排序——是否可在多项式时间内判定？
• RQ2 2栈pushall可排序排列具有哪些结构性质？
• RQ3 如何高效枚举给定排列的所有有效排序序列？
• RQ4 是否存在一种组合模型（如双色模型）能够捕捉所有有效的2栈pushall排序操作？
• RQ5 该受限模型能否作为解决一般2栈排序问题的跳板？

主要发现

• 本文证明，2栈pushall可排序排列可通过双色模型中避免四种特定模式（132、213、2/13、1X2）来表征。
• 提出了一种最优的O(n²)算法，用于判断一个排列是否为2栈pushall可排序排列，该算法返回所有有效着色的线性描述。
• 算法利用⊖-分解将排列分解为不可分解块，从而实现高效递归处理与有效着色的组合。
• 对于大小为2n的排列，本文构造出一类简单排列，其有效着色数至少为2n−3，表明在非平凡情况下也存在线性规模的解集。
• 算法复杂度被证明是最优的，因其输出描述长度与处理时间均与输入规模成线性关系。
• 该结果为解决长期悬而未决的一般2栈排序问题提供了关键一步。