[論文レビュー] An algorithm computing combinatorial specifications of permutation classes

Frédérique Bassino, Mathilde Bouvel+3 more|arXiv (Cornell University)|Jun 2, 2015

Algorithms and Data Compression参考文献 33被引用数 7

ひとこと要約

本稿では、有限個の禁止パターンと有限個の必須パターンによって定義される置換クラスについて、その単純置換が有限個である場合に、完全にアルゴリズム的な手法を用いて組合せ仕様を自動的に計算する方法を提示する。この手法は置換の置換分解と制約伝播を用い、生成関数のための正で代数的な方程式系を構築する。これにより、クラスに属する置換の正確な列挙と一様なランダムサンプリングが可能となる。

ABSTRACT

This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations. The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positive and algebraic. It also yields a uniform random sampler of permutations in C. The method presented is fully algorithmic.

研究の動機と目的

• 禁止パターンの基底と有限個の必須パターンから、置換クラスの組合せ的仕様を完全に自動的に導出するアルゴリズムの開発。
• 先行研究を拡張し、パターン回避とパターン包含の両制約を統合的なアルゴリズム枠組みに統合すること。
• 得られる仕様が生成関数のための正で代数的な方程式系を生じることを保証すること。
• 導出された仕様を用いて、クラスに属する置換の一様なランダムサンプリングを可能とすること。
• 単純置換が有限個である条件の下で、禁止パターンと必須パターンを併せ持つ制限付きクラス（制約付きクラス）へのフレームワークの一般化。

提案手法

• 小さなパターンを大きな置換に埋め込む計算を始め、構造全体にわたるパターンの包含および回避制約を伝播させる。
• 置換の単純置換の構造と置換分解に基づき、初期の曖昧な組合せ方程式系を構築する。
• 再帰的分解とラベル付き成分を用いて、曖昧な系を非曖昧な組合せ的仕様に変換するための曖昧性解消手順を適用する。
• 特定のパターンタイプと対称性（例：増加、減少、3142を回避する成分）に制限された置換の集合を再帰的に定義することで、仕様を構築する。
• 方程式系を生成関数のための正で代数的な系に翻訳し、これは保証的に解けるものである。
• 仕様はまた、クラスに属する置換の再帰的均等ランダムサンプラーの実装にも用いられる。

実験結果

リサーチクエスチョン

• RQ1 完全にアルゴリズム的な手法は、禁止パターンと必須パターンの有限集合を持つ置換クラスについて、組合せ的仕様を計算できるか？
• RQ2 置換分解と制約伝播をどのように組み合わせることで、正で代数的な生成関数方程式系を導出できるか？
• RQ3 単純置換が有限個である置換クラスを記述するために必要な最小の方程式集合は何か？ また、曖昧性はどのように解消できるか？
• RQ4 この手法は、単純置換が有限個である条件の下で、禁止パターンと必須パターンを併せ持つ制限付きクラス（制約付きクラス）に拡張可能か？
• RQ5 このアルゴリズムの計算量的複雑性と実用的スケーラビリティは何か？ 特に、先行する列挙手法と比較してどうか？

主な発見

• アルゴリズムは $\mathcal{C} = \mathrm{Av}(1243,2341,2413,41352,531642)$ のクラスについて、16個の式からなる方程式系を正しく計算した。
• このクラスの生成関数は代数的であり、明示的に $ C(z) = \frac{(z^6 - 7z^5 + 20z^4 - 28z^3 + 20z^2 - 7z + 1)z}{1 - 9z + 32z^2 - 59z^3 + 62z^4 - 37z^5 + 13z^6 - 2z^7} $ と与えられる。
• 制約伝播と曖昧性解消を用いることで、先行手法の指数的爆発（例：$k=27$ の場合、最大 $1 + 2^{k+2}$ 個の式が必要となり、約 5.36 億個に達する）を回避した。
• 得られた仕様により、クラスに属する置換の効率的な一様ランダムサンプリングが可能であり、クラス構造を示す図の生成によって実証された。
• 単純置換の数が有限の条件下で、禁止パターンと必須パターンを併せ持つ制限付きクラスへの一般化が可能である。
• 仕様は常に正で代数的であり、生成関数が計算可能であり、漸近的解析にも適している。