[論文レビュー] Inflations of Geometric Grid Classes: Three Case Studies

Michael Albert, M. D. Atkinson+1 more|arXiv (Cornell University)|Sep 3, 2012

graph theory and CDMA systems参考文献 16被引用数 4

ひとこと要約

本稿では、長さ4の2つの禁止パターンによって定義される順列クラスの列挙に、幾何的グリッドクラスのインフレーションを用いた手法を開発・適用する。幾何的グリッド構造内の単純順列を分析し、オートマトンに基づく生成関数を活用することで、3つの特定の2×4クラスの代数的生成関数を導出する。特に、Av(4231, 3124) に対しては閉形式の表現が得られ、その収束半径は約0.2451、指数的成長率は約4.0796であることが示された。

ABSTRACT

We enumerate three specific permutation classes defined by two forbidden patterns of length four. The techniques involve inflations of geometric grid classes.

研究の動機と目的

• 幾何的グリッドクラスにインフレーション技術を適用することで、困難な順列列挙問題を解く有効性を示すこと。
• 長さ4の2つの禁止パターンによって定義される2×4順列クラスを列挙する実用的なフレームワークを提供すること。理論的障壁を回避する。
• 幾何的グリッドクラス理論の適用範囲を、順列パターン回避の現実世界の列挙問題へ拡張すること。
• 単純順列が幾何的グリッドクラスに属し、インフレーションが和/ねじれ分解に基づいて制約を受けるようなクラスにおいて、代数的生成関数を導出できることを示すこと。

提案手法

• 著者らは、4文字のアルファベット上の有限オートマトンを用いて、幾何的グリッドクラス内の単純順列をモデル化し、構造的制約を正則言語の規則で符号化する。
• 禁止部分語パターンと区間構造を捉える決定的有限オートマトンを構築することで、単純順列の多変数生成関数を導出する。
• 単純順列にインフレーションを適用し、位置と構造に基づいて和分解不能、ねじれ分解不能、一般のインフレーションを区別する。
• 単純順列の各要素に対して、インフレーション規則を割り当てる：a-およびc-要素には任意のAv(312)、b-および非初期のd-要素には単調減少順列、最初のd-要素には任意のAv(231,3124)を割り当てる。
• 和分解可能、ねじれ分解可能、およびインフレートされた単純順列の成分の線形結合として、全クラスの生成関数を構築する。Catalan数およびFibonacci数の既知の生成関数を用いる。
• 最終的な生成関数は、fに関する線形方程式を解くことで得られ、成分の生成関数と多変数生成関数 s(c,m,c,m)/m を組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 幾何的グリッドクラスのインフレーションを、長さ4の2つの禁止パターンによって定義される2×4順列クラスに体系的かつ効果的に適用できるか？
• RQ2 幾何的グリッドクラス内の単純順列の構造をどのように符号化し、全順列クラスの生成関数を導出に用いることができるか？
• RQ3 和、ねじれ、または任意のインフレーション制約が、このようなクラスで代数的生成関数をもたらす条件は何か？
• RQ4 オートマトンと正則言語技術を、幾何的グリッドクラス内の単純順列をモデル化するためにどの程度活用できるか？
• RQ5 このフレームワークを用いて、Av(4231, 3124) の閉形式生成関数を導出することは可能か？

主な発見

• Av(4231, 3124) の生成関数は代数的であり、平方根を含む有理関数として明示的に導出された：(1 - 8x + 20x² - 20x³ + 10x⁴ - 2x⁵ - (1 - 4x + 2x²)√(1 - 4x)) / (2(1 - 3x + x²)(-1 + 5x - 4x² + x³))。
• Av(4231, 3124) を数える数列の最初の14項は 1, 2, 6, 22, 88, 363, 1508, 6255, 25842, 106327, 435965, 1782733, 7275351, 29648647 であり、OEISのA165535番と一致する。
• 生成関数の収束半径は約0.2451であり、数列の成長率がn乗根で約4.0796であることを示唆している。
• 和分解可能順列の生成関数は f⊕ = (xc + x)f で与えられ、f はAv(312)の生成関数であり、シフトされたCatalan数として知られている。
• ねじれ分解可能順列の生成関数は f⊖ = (x - 2x² + x²)/(1 - 3x + x²) * c で与えられ、c はCatalan数の生成関数である。
• クラス内の単純順列の多変数生成関数は s(xa,xb,xc,xd) = (xb xcx d (xa + xc + xa xb + xa xc + xb xc + xc xd + xa xb xc + xb xc xd)) / (1 - xa xb - xb xc - xc xd - xa xb xc - xb xc xd) である。