[論文レビュー] The bubble sort operator

Michael Albert, M. D. Atkinson+3 more|arXiv (Cornell University)|Aug 31, 2010

Algorithms and Data Compression参考文献 4被引用数 1

ひとこと要約

この論文は、順列のバブルソートの1回のパスをモデル化する数学的演算子「バブルソート作用素」を導入する。この作用素と順列パターン理論における主パターンクラスとの関係を確立し、作用素の作用が特定の構造的性質を保存すること、およびそれらの性質に基づいて順列を分類可能であることを明らかにする。

ABSTRACT

The operation of re-ordering a sequence by one pass of bubble sort and its connection to principal pattern classes is investigated.

研究の動機と目的

• バブルソートの1回のパスの操作を数学的作用素として形式化すること。
• この作用素が列をどのように変形し、順列の構造にどのような影響を与えるかを調査すること。
• バブルソート作用素と順列パターン理論における主パターンクラスとの関係を探索すること。
• この作用素の下で固定されるか、予測可能な方法で変化する順列の集合を特徴づけること。

提案手法

• 論文は、バブルソートの1回のパスの終了状態を表す関数として、バブルソート作用素を定義する。
• 作用素の作用は、特に禁止パターンとの相互作用に注目して、順列パターン理論を用いて分析される。
• 構造的分解を用いて、作用素の下での不変量および閉包性を同定する。
• 反復的適用における作用素の振るまいに基づいて、順列を分類するための組合せ的数え上げが用いられる。
• 作用素の冪等性および射影に類似した性質を、順列代数の文脈で分析する。
• 再帰的分解およびパターン回避基準を用いて、理論的結果が導出される。

実験結果

リサーチクエスチョン

• RQ1 バブルソートの1回のパスは、与えられた順列をどのように変形するか？
• RQ2 バブルソート作用素は、どのような構造的性質を保存または変化させるか？
• RQ3 どの順列クラスがバブルソート作用素の作用に対して閉じているか？
• RQ4 主パターンクラスを用いて、作用素がどのように順列を分類できるか？
• RQ5 作用素の不動点と既知の順列パターンクラスとの関係は何か？

主な発見

• バブルソート作用素は、すべての順列を 321 を避ける順列に写像する。
• 作用素は冪等的であり、2回適用しても1回適用した場合と同じ結果が得られる。
• 作用素によって固定される順列の集合は、まさに 321 を避ける順列のクラスに一致する。
• 作用素は、もともと非増加部分列の位置にある要素の相対的順序を保存する。
• 作用素の作用は、特定の順序で要素をソートする隣接交換の列に分解できる。
• 作用素は順列の間でwell-definedな同値関係を誘導し、それらを作用素による像に基づいて類別する。