[論文レビュー] Diameters of Permutation Groups on Graphs and Linear Time Feasibility Test of Pebble Motion Problems

Jingjin Yu|arXiv (Cornell University)|May 23, 2012

Optimization and Search Problems参考文献 12被引用数 3

ひとこと要約

本稿は、グラフ上のペブル移動問題の新しい定式化を提示し、完全に占有されたサイクルに沿ったペブルの同期的回転を許容することで、得られる置換群の直径が O(n²) であることを証明する。任意の二つの配置間の到達可能性を決定する線形時間アルゴリズムを提示し、分野における未解決問題を解決する。

ABSTRACT

Let $G$ be an $n$-vertex connected, undirected, simple graph. The vertices of $G$ are populated with $n$ uniquely labeled pebbles, one on each vertex. Allowing pebbles on cycles of $G$ to rotate (synchronous rotations along multiple disjoint cycles are permitted), the resulting pebble permutations form a group $\G$ uniquely determined by $G$. Let the diameter of $\G$ (denoted $diam(\G)$) represent the length of the longest product of generators (cyclic pebble rotations) required to reach an element of $\G$, we show that $diam(\G) = O(n^2)$. Extending the formulation to allow $p \le n$ pebbles on an $n$-vertex graph, we obtain a variation of the (classic) pebble motion problem (first fully described in Kornhauser, Miller, and Spirakis, 1984) that also allows rotations of pebbles along a fully occupied cycle. For our formulation as well as the (classic) pebble motion problem, given any start and goal pebble configurations, we provide a linear time algorithm that decides whether the goal configuration is reachable from the start configuration. This gives a positive answer to an open problem raised by (Auletta et al., 1999)

研究の動機と目的

• グラフ上での完全に占有されたサイクルに沿ったペブルの同期的回転を許容することで、古典的なペブル移動問題を拡張すること。
• n 頂点のグラフ上で、このような巡回的回転によって生成される置換群 G の直径を分析すること。
• 新しい規則に従って、開始配置からターゲットのペブル配置が到達可能かどうかを判定する線形時間アルゴリズムを開発すること。
• Auletta ら (1999) が提起した、この拡張モデルにおける線形時間の到達可能性テストの可能性に関する未解決問題を解決すること。

提案手法

• n 頂点と n 個のユニークにラベル付けされたペブル（各頂点に1つずつ）を持つ連結で無向かつ単純なグラフとしてグラフをモデル化する。
• G を、グラフ内の互いに素なサイクルに沿った同期的回転によって生成されるすべての置換の集合として定義する。
• サイクル分解に関する組合せ的議論を用いて、G の直径が O(n²) であることを示すことで、群構造を分析する。
• n 頂点のグラフ上に p ≤ n 個のペブルを許容するようにモデルを拡張し、完全に占有されたサイクルに沿ったペブルの回転を維持する。
• 頂点数に対して線形時間で実行される、グラフ走査とサイクル分解に基づく到達可能性アルゴリズムを設計する。
• 群論的性質およびグラフとペブル配置の構造的不変量を活用して、アルゴリズムの正しさと最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 連結グラフ上でのペブル回転によって生成される置換群 G の任意の置換を生成するために必要な巡回的回転操作の最大数は何か？
• RQ2 サイクル回転を許容する拡張モデル下で、開始配置からターゲットのペブル配置への到達可能性は線形時間で決定可能か？
• RQ3 完全に占有されたサイクルに沿った同期的回転の導入は、置換群の群構造と直径にどのように影響を与えるか？
• RQ4 この一般化されたペブル移動モデルにおける可能性問題を解く多項式時間（特に線形時間）のアルゴリズムは存在するか？
• RQ5 拡張モデルは、古典的ペブル移動問題と比較して、効率的な到達可能性計算に必要な構造的性質を保持しているか？

主な発見

• n 頂点のグラフ上での巡回的ペブル回転によって生成される置換群 G の直径は O(n²) で抑えられる。
• 拡張されたペブル移動モデルにおいて、ターゲットの配置が開始配置から到達可能かどうかを判定する線形時間アルゴリズムが存在する。
• アルゴリズムは、古典的ペブル移動問題とそのサイクル回転拡張の両方を効率的に処理し、線形時間の複雑性を維持する。
• Auletta ら (1999) が提起した、この文脈における線形時間の到達可能性テストの可能性に関する未解決問題が解決された。
• 同期的サイクル回転によって誘導される群構造は、十分に制約が強く、到達可能性の計算と群直径の上限を効率的に得ることが可能である。