[論文レビュー] Permutation sorting and a game on graphs

Chad Jansen, Marion Scheepers+2 more|arXiv (Cornell University)|Nov 20, 2014

Genome Rearrangement Algorithms参考文献 8被引用数 3

ひとこと要約

本稿は、順列並べ替えにおけるコンテキスト・ディレクテッド・スワップ（cds）に基づくグラフ上の2人対戦ゲームを導入し、固定点に到達するまで交互にcds操作を適用する。主な貢献は、サイズnが4で割り切れる順列について、(|P|−3)/4 + 1という非常に小さなターゲット集合Aに対しても、1人目のプレイヤーが勝つケースが存在することを証明し、先行の境界の最適性を示し、重複とサイクルグラフを通じてcdsダイナミクスの構造的深さを明らかにした。

ABSTRACT

We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportional bound under which TWO has a winning strategy.

研究の動機と目的

• 順列が完全に並べ替え可能でない場合のコンテキスト・ディレクテッド・スワップ（cds）による順列並べ替えの戦略的構造を分析すること。
• プレイヤーが交互にcds移動を行うグラフ上の2人ゲームを形式化し、固定点のターゲット部分集合に到達するかどうかに基づいて勝敗を決めるものとする。
• 特に戦略的ピルに完全な順列に対して、1人目のプレイヤーが勝つ戦略を持つ正確な条件を同定すること。
• 極端な例の構築により、先行の数値的境界が最適であることを確立すること。
• 重複グラフへのcds操作の影響をモデル化する新しいグラフ変換gcdsを導入し、その分析を行うこと。

提案手法

• 本稿は、順列πの戦略的ピルPを、cds操作によって到達可能なすべてのcds固定点の集合として定義する。
• 利用可能なcds移動を符号化する重複グラフO(π)を導入し、cds操作の影響をモデル化する新しいグラフ変換gcdsを定義する。
• 有限グラフ上で定義されたゲームGCDS(G, A)は、プレイヤーが交互にgcds変換を適用し、最終的な固定点がターゲット集合Aに含まれるかどうかで勝敗が決まる。
• 特定の連結グラフG（|V| ≡ 3 mod 4）および|A| = (|V|−3)/4 + 1の場合、プレイヤー1が勝つ戦略を持つことを証明する。
• この結果を順列の重複グラフに適用することで、n ≡ 0 mod 4の場合に、|P| = n−1 かつ |A| = (|P|−3)/4 + 1 であるような順列πに対して、CDS(π, A)でプレイヤー1が勝つ例が存在することを示す。
• エンドゲーム解析を用いて、境界がタイトであることを示し、Aから1つの要素を削除するとプレイヤー2が勝つことになる。

実験結果

リサーチクエスチョン

• RQ1 どのクラスの順列とターゲット集合Aに対して、CDS(π, A)ゲームにおいてプレイヤー1が勝つ戦略を持つのか。
• RQ2 例えば、プレイヤー2に対して|A| ≤ (1/4)|P| − 2、プレイヤー1に対して|A| ≥ (3/4)|P| という数値的境界は、構造的解析によって改善可能か。
• RQ3 |A|/|V|が任意に小さくても、プレイヤー1がGCDS(G, A)で勝つ戦略を持つような有限グラフGと部分集合Aが存在するか。
• RQ4 与えられた有限グラフが、ある順列のcds操作における移動グラフとして実現可能かどうかを判定する計算複雑性は何か。
• RQ5 重複グラフとgcds変換の構造的性質を用いて、cds操作のすべての可能な固定点を特徴づけることは可能か。

主な発見

• 4で割り切れる任意のnに対して、|P| = n−1 であるような順列π ∈ S_n が存在し、|A| = (|P|−3)/4 + 1 のとき、CDS(π, A)でプレイヤー1が勝つ戦略を持つ。
• この結果により、プレイヤー2の戦略に対する境界|A| = (1/4)|P| − 2 が最適であることが示され、|A|を1つ減らすとプレイヤー2が勝つようになる。
• 本稿は、Aが戦略的ピルの小さな部分集合であるにもかかわらず、プレイヤー1が勝つ明示的な例を構築し、数的優位性が結果を決定づけないことを示した。
• 変換gcdsを導入し、cds操作が重複グラフに与える影響を捉えることができることを示し、cdsダイナミクスを分析するための新しいツールを提供した。
• 連結グラフG（|V| ≡ 3 mod 4）および|A| = (|V|−3)/4 + 1 の場合、GCDS(G, A)でプレイヤー1が勝つ戦略を持つことを証明し、この構造が順列の移動グラフとして実現可能であることを示した。
• エンドゲーム解析からの先行境界は、構築例が等号を満たすことで、これ以上改善できないことが確立された。