[論文レビュー] Permutation Generation: Two New Permutation Algorithms

Jie Gao, Dianjun Wang|ArXiv.org|Jun 5, 2003

graph theory and CDMA systems参考文献 3被引用数 7

ひとこと要約

本稿では、2n!のストア命令の理論的下限に近い効率的な実装を実現する、2つの新しい順列生成アルゴリズム—シフトカーソル法とレベル法—を提案する。レベル法は効率的なランダム順列生成を可能にし、ヒープ法やジョンソン＝トロッター法といった従来の手法と比較して、読みやすさと性能が向上した実用的代替手段を提供する。

ABSTRACT

Two completely new algorithms for generating permutations, shift-cursor algorithm and level algorithm, and their efficient implementations are presented in this paper. One implementation of the shift cursor algorithm gives an optimal solution of the permutation generation problem, and one implementation of the level algorithm can be used to generate random permutations.

研究の動機と目的

• n 個の要素のすべての順列を、最適または近似的に最適な効率で生成する2つの新しいアルゴリズムを開発すること。
• 理論的下限である 2n! のストア命令に近い性能を達成するシフトカーソル法の実装を提供すること。
• ランダム順列を効率的に生成できるレベル法の実装を設計すること。
• ヒープ法やジョンソン＝トロッター法といった既存の順列生成手法よりも、より直感的かつ実装しやすい代替手段を提供すること。

提案手法

• シフトカーソル法は、階層的なカーソルシステムを用いて順列を分割し、各数字がブロック内のカーソルとして機能し、レベルがブロックの深さを示す。
• このアルゴリズムは、再帰的にカーソル分割を適用する：各ブロックの最初の数字が次のカーソルを定義し、単一の順列までネストされたブロック構造を形成する。
• レベル法は、シフトカーソル列を対称的なマッピング（例：1↔n、2↔n−1 など）によってカーソルのレベルを再配置することで導出される。
• 重要な実装では、1 から n! の間のランダムな数値を直接用いてレベル列内の順列を生成し、効率的なランダム順列サンプリングを実現する。
• この方法は2つの性質を利用している：(1) レベル > j であるカーソルは、j! 個の連続する順列内で固定されたままになること、(2) 残りの順列は複雑な操作を伴わずに、直接2つの数の交換によって生成できること。
• アルゴリズムは「タイプ2」の操作（例：インデックス計算）を最小限に抑え、主に「タイプ1」の操作（2つの数の交換）に依存することで、近似的に最適な性能を達成する。

実験結果

リサーチクエスチョン

• RQ1 2n! のストア命令の理論的下限に近い順列生成アルゴリズムを設計できるか？
• RQ2 レベル法を、1つのランダムインデックスを用いて効率的にランダム順列を生成できるように適合させられるか？
• RQ3 シフトカーソル法は、ヒープ法やジョンソン＝トロッター法といった既存手法と比較して、効率性と読みやすさの点でどのように異なるか？
• RQ4 順列列のどのような構造的性質が、近似的に最適でキャッシュフレンドリーな実装を可能にするか？
• RQ5 階層的なカーソル分割は、最適なパフォーマンスと直感的な理解の両方を実現できるか？

主な発見

• シフトカーソル法の1つの実装は、2n! のストア命令の理論的下限に任意に近い性能を達成しており、実用的にほぼ最適である。
• レベル法は、1 から n! の間のランダムインデックスを直接レベル列内の順列にマッピングすることで、効率的なランダム順列サンプリングを可能にする。
• シフトカーソル法はヒープ法よりも理解しやすく、ジョンソン＝トロッター法よりも効率的な実装であるため、教育的用途に適している。
• 2つの重要な性質—j! 個のブロック内で固定されるカーソル、および直接2つの数の交換による順列生成—を活用することで、高価な操作への依存度が低下し、j が大きくなるにつれて近似的に最適な性能が達成される。
• 実行時間と最適実行時間の比（T1/T0）は、j が増加するにつれて 1 に近づき、理論的最小値に任意に近づけることが示された。
• この方法は、効率性においてジョンソン＝トロッター法を上回り、明確さにおいてヒープ法を上回り、漸近的時間計算量では同程度の性能を示す。