[論文レビュー] Unit Grid Intersection Graphs: Recognition and Properties

Irina Mustaţă, Martin Pergel|arXiv (Cornell University)|Jun 7, 2013

Advanced Graph Theory Research参考文献 17被引用数 11

ひとこと要約

この論文は、一般のグリッドインターセクショングラフの既知のNP困難性の証明を変更することで、任意の大きな閉路長をもつグラフに制限しても、ユニットグリッドインターセクショングラフ（UGIG）の認識がNP完全であることを証明している。さらに、(1+ε)×(1+ε)グリッド上に表現可能なUGIGは、正確に直交レイヤグラフ（ORG）であることが示され、一部の木構造は任意に大きなグリッドを必要とするため、コンパクト表現における根本的な限界が浮き彫りになる。

ABSTRACT

It has been known since 1991 that the problem of recognizing grid intersection graphs is NP-complete. Here we use a modified argument of the above result to show that even if we restrict to the class of unit grid intersection graphs (UGIGs), the recognition remains hard, as well as for all graph classes contained inbetween. The result holds even when considering only graphs with arbitrarily large girth. Furthermore, we ask the question of representing UGIGs on grids of minimal size. We show that the UGIGs that can be represented in a square of side length 1+epsilon, for a positive epsilon no greater than 1, are exactly the orthogonal ray graphs, and that there exist families of trees that need an arbitrarily large grid.

研究の動機と目的

• ユニットグリッドインターセクショングラフ（UGIG）の計算的複雑性を特定すること。これは、グリッドインターセクショングラフの制限付きクラスである。
• UGIGの表現に必要な最小グリッドサイズを調査すること。特に、(1+ε)×(1+ε)グリッドに注目する。
• UGIG、直交レイヤグラフ（ORG）、および関連するグラフクラスとの関係を明確にすること。
• UGIGのコンパクトな幾何的表現の限界を調査すること。特に木構造に対して。
• UGIGおよび関連クラスの認識問題がNPに属するかどうかを確立し、多項式サイズの証明を提供すること。

提案手法

• 一般グリッドインターセクショングラフ（GIG）の既知のNP困難性証明を、ユニット長さ制限に適応することで、UGIG認識が依然としてNP困難であることを示した。
• 3-SATからの還元を用いて、平面埋め込みにおける変数および節のガジェットを構築し、幾何的制約によって一貫した真理値割り当てを保証した。
• 0 < ε ≤ 1 に対して、(1+ε)×(1+ε)グリッド上に表現可能なUGIGは、幾何的可視性および線分配置の議論を用いて、正確に直交レイヤグラフ（ORG）であることを示した。
• 4回未満の出現回数を持つ変数のためのダミー出現ガジェットを導入し、面に埋め込むことで、真理値割り当ての一貫性を保った。
• x軸およびy軸上の線分順序を符号化する多項式サイズの証明（サイズO(n log n)）を提供し、UGIGおよびUSEG認識がNPに属することを証明した。
• 証明が幾何的方向性に依存しないことを利用し、NP困難性がUGIGから擬似セグメントグラフ（PSEG）までのすべてのグラフクラスに拡張可能であることを示した。

実験結果

リサーチクエスチョン

• RQ1 ユニットグリッドインターセクショングラフ（UGIG）の認識問題は、任意の大きな閉路長をもつグラフに制限してもNP完全であるか？
• RQ2 UGIGを表現するために必要な最小グリッドサイズは何か？ また、ε > 0 に対して (1+ε)×(1+ε)グリッド上に表現可能なUGIGはどれか？
• RQ3 UGIGと直交レイヤグラフ（ORG）の関係は何か？ どのような条件下でUGIGはORGに等価になるか？
• RQ4 UGIG表現を検証する多項式サイズの証明を構築できるか？ これにより、認識問題がNPに属することを示せるか？
• RQ5 特定の木構造のようなUGIGの族は、表現に任意に大きなグリッドを必要とするか？

主な発見

• ユニットグリッドインターセクショングラフ（UGIG）の認識は、任意の大きな閉路長をもつグラフに制限してもNP完全である。
• 0 < ε ≤ 1 に対して、(1+ε)×(1+ε)グリッド上に表現可能なUGIGのクラスは、正確に直交レイヤグラフ（ORG）のクラスに一致する。
• 任意に大きなグリッドを必要とする木構造の族が存在し、これはグリッドサイズに普遍的な上限がないことを示している。
• UGIGおよび中間クラスUSEG（ユニットセグメントグラフ）の認識問題はNPに属し、サイズO(n log n)の証明（線分順序の符号化）が存在する。
• NP困難性の結果は、幾何的方向性に依存しないことから、UGIGから擬似セグメントグラフ（PSEG）までのすべてのグラフクラスに拡張可能である。
• この構成により、UGIGと非PSEGグラフは、P = NPでない限り、効率的に分離できないことが示された。