[論文レビュー] Escaping from the corner of a grid by edge disjoint paths

Adam S. Jobson, André E. Kézdy+1 more|arXiv (Cornell University)|Aug 17, 2017

Algorithms and Data Compression参考文献 5被引用数 3

ひとこと要約

この論文は、整数格子の3×3グリッド部分グラフにおけるエッジ素性パス連結性のための脱出補題を確立し、5〜8対の端末ペアがコーナーに配置されている場合、未ペアの端末が底辺と右端列の和集合にある異なる境界頂点へエッジ素性パスでルーティング可能であることを証明している。主な貢献は、二つの一方的な無限パスのカルテシアン積がパスペアラビリティ数4を有することの証明を可能にしたことである。

ABSTRACT

Let $Q$ be a finite subgraph of the integer grid $G$ in the plane, and let $T$ be a set of pairs of distinct vertices in $G$, called `terminal pairs'. Escaping a subset $X\subset T\cap Q$ from $Q$ means finding edge disjoint paths from the terminals in $X$ into distinct vertices of a set $L$ in the boundary of $Q$. Here we prove several lemmas for the cases where $Q$ is a $3 imes 3$ grid, $L$ is the union of a vertical and horizontal boundary line of $Q$, furthermore, $T$ is a set of four terminal pairs in $G$ such that $|T\cap Q|\geq 5$. These lemmas are applied in [4] and complete the proof that the Cartesian product of two (one way) infinite paths has path-pairability number four.

研究の動機と目的

• 整数格子の3×3グリッドコーナーに5つ以上の端末が存在する場合の端末ペアリングを処理する必要がある、二つの一方的な無限パスのカルテシアン積のパスペアラビリティを解消すること。
• 3×3グリッド部分グラフにおける未ペアの端末が、エッジ素性パスを介して境界頂点へ脱出可能である十分条件を確立すること。
• フレームベースのリンクレージョン、クリップ、および頂点シフト操作を用いて、グリッドコーナーから境界へ端末をルーティングするための構成的補題を提供すること。
• 平面の正整数象限におけるパスペアラビリティ数4の証明を完了するために、コーナーにおける高密度の端末クラスタを含む極値ケースを解消すること。

提案手法

• 3×3グリッドおよびその部分グラフ（例：Q−(3,3)）の弱2リンク性を活用し、二つの端末ペアに対するエッジ素性パスの存在を保証する。
• 共通の頂点へ二つのエッジ素性パスを有するサイクルとしての「フレーム」の概念を導入し、外部のマッチングパスを用いて二つの端末ペアを連結する。
• 端末から指定された境界頂点へエッジ素性パスを含む部分グラフとしての「クリップ」（AAクリップおよびABクリップ）を用い、体系的な脱出ルーティングを可能にする。
• 境界線 L = A ∪ B に沿った頂点シフトを用いて、端末を再配置し、特に境界頂点が占有されている場合に脱出パスのための空間を空ける。
• 未ペアの端末数（2〜4）と、それらが境界および互いに相対的にどの位置にあるかに基づくケース分析を実施する。
• パス連結技術と構造的グラフ分解を組み合わせ、エッジ素性と脱出パス構築における衝突を回避する。

実験結果

リサーチクエスチョン

• RQ1 整数格子の3×3グリッドコーナーに5つ以上の端末が存在する場合、4つの端末ペアがエッジ素性パスで接続可能か？
• RQ2 3×3グリッド部分グラフにおける未ペアの端末が、底辺と右端列の和集合にある異なる境界頂点へエッジ素性パスでルーティング可能となる条件は何か？
• RQ3 フレームベースおよびクリップベースの構成を用いて、グリッド内部の端末を境界へ体系的にルーティングする方法は何か？
• RQ4 境界上に複数の端末が存在する場合に、境界上の頂点シフトが衝突を解消する役割を果たす仕組みは何か？
• RQ5 弱2リンク性や部分グラフの連結性といった構造的性質が、極値的構成における脱出パスの構築をどのように可能にするか？

主な発見

• 5〜8個の端末が3×3グリッドコーナーに配置される任意の配置について、未ペアの端末が底辺と右端列の和集合にある異なる境界頂点へエッジ素性脱出パスでルーティング可能であることを証明している。
• 3×3グリッドまたはその部分グラフ Q−(3,3) が弱2リンク性を有する場合、二つのペアがその部分グラフ内で連結可能であることが保証され、端末ペアのエッジ素性パスの存在が保証される。
• AAクリップおよびABクリップは、端末から指定された境界頂点へエッジ素性マッチングパスを提供するように構築され、体系的な脱出ルーティングを可能にする。
• 境界線 L に沿った頂点シフトにより、端末の再配置が可能となり、境界頂点が占有されている場合の衝突を解消する。特に垂直境界部 A\B に複数の端末が存在する場合に有効である。
• コーナーに2〜4個の未ペア端末が存在するすべてのケースについて、フレーム、クリップ、およびシフトを用いて明示的な脱出パスを構築し、エッジの重複がないことを保証している。
• これらの補題は、二つの一方的な無限パスのカルテシアン積がパスペアラビリティ数4を有することの証明を完結させ、リンク性問題における重要な極値ケースを解消している。