[論文レビュー] Generating permutations with a given major index

Vincent Vajnovszki|arXiv (Cornell University)|Feb 26, 2013

Coding theory and cryptography参考文献 3被引用数 3

ひとこと要約

本稿では、固定された主要インデックスをもつ順列を生成する最初の定常償却時間（CAT）アルゴリズムを提示する。これは、連続する順列が高々3つの隣接交換によってのみ異なる新しいサブエクセダント列のグレイコードを用いる。この手法は、有界な組み合わせの共反語順序生成に依存し、それをサブエクセダント列のグレイコードに変換し、順列への双対写像を適用することで、グレイコード性質を保ったまま生成を行う。

ABSTRACT

In [S. Effler, F. Ruskey, A CAT algorithm for listing permutations with a given number of inversions, {\it I.P.L.}, 86/2 (2003)] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and derive it into a CAT generating algorithm for permutations with a given major index.

研究の動機と目的

• 固定された主要インデックスをもつ順列を生成する定常償却時間（CAT）アルゴリズムの開発。
• 重みが固定されたサブエクセダント列のグレイコードの構築。ここで連続する列は高々3つの隣接位置で、有界な量だけ異なる。
• サブエクセダント列と順列の間の双対写像において、グレイコード性質が保たれることを保証し、主要インデックスが固定された順列の効率的生成を可能にする。
• グレイコード構造がこの構成において本質的であり、単純な辞書式順序に置き換えると効率性が失われる理由を示すこと。

提案手法

• 生成木の重複ノードを避けるために、増加可能な位置を用いた再帰的アルゴリズムにより、共反語順序で有界な組み合わせを生成する。
• 生成プロセスの再順序化と、境界列 $\boldsymbol{b} = 01\ldots(n-1)$ への特化により、共反語順序をサブエクセダント列のグレイコードに変換する。
• 右端で異なる位置と累積和を追跡することで、効率的なバージョンである Gen2_Gray にグレイコード生成を最適化する。
• 差が生じるサブエクセダント列に基づき、$\phi_j$ 関数を用いた位置ベースの変換により、順列を更新する手続き transp を定義する。
• サブエクセダント列から順列への双対写像 $\psi$（McMahonコード）を用い、列のグレイコードを順列のグレイコードに写像する。
• 局所的なサブエクセダント列の差に基づき、1つの順列から次の順列への最小の交換列を計算する Update_Perm 手続きを適用する。

実験結果

リサーチクエスチョン

• RQ1 固定された主要インデックスをもつ順列を生成する定常償却時間アルゴリズムを構築することは可能か？
• RQ2 重みが固定されたサブエクセダント列のグレイコードを設計可能か。ここで連続する列は高々3つの隣接位置で、有界な量（$\pm1$ や $\pm2$）の差をもつ。
• RQ3 McMahonコードの双対写像下で、サブエクセダント列のグレイコード構造が、順列が少数の交換でしか変わらないという性質を保つのか？
• RQ4 なぜこの構成においてグレイコード構造が本質的であり、なぜ辞書式順序では同様の効率性を達成できないのか？

主な発見

• 提案されたアルゴリズムは、長さ $n$ で主要インデックス $k$ をもつすべての順列を、1つの順列あたり定常償却時間で生成する。
• サブエクセダント列のグレイコードにより、連続する列は高々3つの隣接位置で違い、変化量は $\pm1$ または $\pm2$ に有界である。
• 双対写像により生成される連続する順列は、高々3つの交換でしか変わらない。これは、効率的生成を可能にする重要な構造的性質である。
• アルゴリズムは、有界な組み合わせの共反語順序生成をグレイコードに変換し、サブエクセダント列に特化・最適化することで導出される。
• Update_Perm 手続きを用いた交換ベースの更新メカニズムは、サブエクセダント列の局所的差を正しくグローバルな順列変更にマッピングする。
• 数値的証拠により、グレイコード条件を緩和（例：非隣接差を許容）すると、順列空間における交換効率が崩れることが示された。