[論文レビュー] Sorting and preimages of pattern classes

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

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

ひとこと要約

この論文は、スタックソートやバブルソートなどのソーティング操作が与えられた順列パターンを生成するタイミングを特定するためのアルゴリズムを導入する。一般化されたパターン（装飾付きパターンを含む）を用いる。スタックソートを3回適用する場合に限って可換となる順列（West-3-stack-sortable permutations）の新しい特徴付けを提供し、長年の未解決問題を解消する。メッシュパターンにマークとシェーディングのルールを拡張することで、元像の条件を捉える。

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）が提唱したメッシュパターンの概念を、特定の領域における要素の数や存在を制限するマーク付き要素を含む形に拡張する。
• 古典的パターン $ p $ を入力として受け取り、$ S^{-1}( ext{Av}(p)) = ext{Av}(P) $ を満たす有限個の（マーク付き）メッシュパターンの集合 $ P $ を計算するアルゴリズム *ShadeAndMark* を開発する。ここで $ S $ はスタックソート作用素を表す。
• 既知の結果（例：West-2-stack-sortable順列は231を避ける順列であること）を、この新しいアルゴリズム的枠組みを用いて再証明する。
• アルゴリズムをバブルソート作用素に拡張し、異なるソーティングメカニズムに対しても適応可能であることを示す。
• アルゴリズムを用いて、古典的パターンの元像 $ ext{Av}(p) $ を自動的に導出可能であり、ソーティング結果に関するパターンに基づく自動的推論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 スタックを3回通過させた後に与えられたパターンに写像される順列の完全な特徴付けは何か？
• RQ2 一般化された順列パターンは、スタックソートなどのソーティング操作の元像条件を捉えるためにどのように拡張可能か？
• RQ3 スタックソート作用素の下で、与えられたパターンの元像を定義する禁止パターンの集合を体系的に計算するアルゴリズムを構築できるか？
• RQ4 スタックソート作用素の逆写像において、一貫したパターン定義が得られるか。これにより、元像の均一な記述が可能になるか？
• RQ5 このアルゴリズムは、バブルソートなどの他のソーティング作用素に対しても適応可能か。それらの作用素の元像集合を記述できるか？

主な発見

• 本論文は、装飾付きパターンを用いて、West-3-stack-sortable順列を完全に特徴付けるという、長年の未解決問題を解決した。
• アルゴリズム *ShadeAndMark* は、任意の古典的パターンのスタックソート作用素下での元像を、有限個の（マーク付き）メッシュパターンの集合として正しく計算できる。
• West-2-stack-sortable順列（231を避ける順列）の特徴付けが、新しいアルゴリズム的枠組みを用いて再確認された。
• この手法はバブルソート作用素に対しても拡張可能であり、同様に元像集合の自動導出が可能である。
• 装飾付きパターンの使用により、順列における禁止領域に対する精密な制御が可能となり、複雑な元像条件の記述が可能になった。
• このフレームワークは、パターンに基づく形式的記述を用いた、ソーティング作用素とその逆像のさらなる研究の基盤を提供する。