[論文レビュー] A Simple In-Place Algorithm for In-Shuffle

Peiyush Jain|ArXiv.org|May 12, 2008

Embedded Systems Design Techniques参考文献 4被引用数 6

ひとこと要約

この論文では、2n = 3^k − 1 のとき、置換の巡回構造とモジュロ算術、原始根に基づいて、2n 個の要素を持つ配列に対するインシャッフルを線形時間、定数領域で行う単純なアルゴリズムを提示する。この方法は、識別可能な巡回に由来する巡回リーダー法を用い、O(n) 時間と O(1) の追加領域で効率的なインプレースシャッフルを実現する。

ABSTRACT

The paper presents a simple, linear time, in-place algorithm for performing a 2-way in-shuffle which can be used with little modification for certain other k-way shuffles.

研究の動機と目的

• 従来の手法よりも単純で効率的なインプレースインシャッフルアルゴリズムを、2n 個の要素を持つ配列に対して開発すること。
• 2n = 3^k − 1 のとき、インシャッフル置換の代数的構造を活用し、容易に識別可能な巡回に分解されることを明らかにすること。
• 巡回リーダー法を効果的に適用できるように、次に処理する巡回を効率的に特定することで、インプレースシャッフルを実現すること。
• 任意の偶数長の配列に対して一般化するため、問題を 3^k − 1 の形のより小さなインスタンスに再帰的に還元すること。

提案手法

• 2n に等しい最大の 2m = 3^k − 1 ≤ 2n を特定し、既知のインシャッフル置換の巡回構造を活用する。
• 中間セグメント A[m+1,…,n+m] を距離 m 右シフトする操作を、インプレースの反転操作を用いて実行する。
• インシャッフル置換の順序 2m における k 個の巡回すべてに、巡回リーダー法を適用する。初期値は i = 0 から k−1 までの 3^i とする。
• 2 が 3^k を法として原始根であるという事実を用い、各巡回が 3^i で割り切れるが 3^{i+1} では割り切れない数に対応することを保証する。
• オイラーのトーティエント関数 φ(3^k) = 2·3^{k−1} を用いて、巡回長を計算し、巡回リーダー法の実行を効率的に行う。
• 未シャッフルの残り部分 A[2m+1,…,2n] に対して再帰的にアルゴリズムを適用し、インシャッフルを完了させる。

実験結果

リサーチクエスチョン

• RQ1 従来のアプローチよりも単純なアルゴリズムを用いて、線形時間計算量でインプレースインシャッフルを実現できるか？
• RQ2 2n = 3^k − 1 の配列に対して、インシャッフル置換における効率的な巡回検出を可能にする数学的構造は何か？
• RQ3 定数領域の追加メモリのみを用いて、インシャッフル置換のすべての巡回に巡回リーダー法を体系的かつ一貫して適用できるか？
• RQ4 一般のインシャッフル問題を、3^k − 1 のサイズのより小さなインスタンスに還元し、再帰的にインプレースで計算可能か？
• RQ5 3^k を法とする原始根の使用により、置換内の巡回列挙が予測可能かつ効率的に行えるか？

主な発見

• 2n = 3^k − 1 のインシャッフル置換は、正確に k 個の互いに素な巡回に分解され、i = 0 から k−1 までの各 i に対して、3^i で割り切れるが 3^{i+1} では割り切れない数に対応する。
• 3^i を含む巡回の長さは φ(3^k)/3^i = 2·3^{k−1−i} であり、これにより巡回リーダー法の実行が効率的に行える。
• 最大の 3^k − 1 サイズの部分配列を処理し、残りを再帰的に処理することで、O(n) 時間計算量を達成する。
• サイクリックシフトにインプレース反転を、再帰ステップにテイルリカージョンを用いることで、空間計算量は O(1) となる。
• すべての k ≥ 1 に対して 2 が 3^k を法として原始根であるという事実に依拠しており、完全な巡回カバレッジと予測可能な巡回構造を保証する。
• 数論的性質を活用することで、複雑な巡回検出ヒューリスティクスを回避するため、従来のインプレースインシャッフル手法よりも単純かつ実用的である。