[論文レビュー] Edge-intersection graphs of grid paths: the bend-number

Daniel Heldt, Kolja Knauer+1 more|arXiv (Cornell University)|Sep 15, 2010

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

ひとこと要約

本稿は、グリッドパスの辺交叉グラフ（EPG グラフ）の曲がり数（bend-number）を調査し、グラフを表現するために必要なパスあたりの曲がり数の最小値を測る指標として導入する。本稿では、曲がり数が任意に大きく取り得ることを証明し、退化度、木幅、最大次数に関してタイトな境界を確立し、いくつかのケースについて完全二部グラフ $K_{m,n}$ の曲がり数を正確に特定するとともに、1曲がりグラフの認識が NP-完全であることを証明し、分野における重要な未解決問題を解決する。

ABSTRACT

We investigate edge-intersection graphs of paths in the plane grid, regarding a parameter called the bend-number. I.e., every vertex is represented by a grid path and two vertices are adjacent if and only if the two grid paths share at least one grid-edge. The bend-number is the minimum $k$ such that grid-paths with at most $k$ bends each suffice to represent a given graph. This parameter is related to the interval-number and the track-number of a graph. We show that for every $k$ there is a graph with bend-number $k$. Moreover we provide new upper and lower bounds of the bend-number of graphs in terms of degeneracy, treewidth, edge clique covers and the maximum degree. Furthermore we give bounds on the bend-number of $K_{m,n}$ and determine it exactly for some pairs of $m$ and $n$. Finally, we prove that recognizing single-bend graphs is NP-complete, providing the first such result in this field.

研究の動機と目的

• EPG グラフの曲がり数を調査し、グラフを表現するために必要なパスあたりの最小曲がり数を測るパラメータとして定義する。
• 特に完全二部グラフ $K_{m,n}$ のような特定のグラフクラスについて、曲がり数の正確な値を特定し、上界と下界をタイトに導出する。
• 曲がり数と退化度、木幅、最大次数などの古典的グラフパラメータとの構造的関係を調査する。
• $k$-曲がりグラフの認識の計算複雑性を解明し、1曲がりの場合の NP-完全性を証明する。

提案手法

• 著者らは、グラフ $G$ が各パスに高々 $k$ 個の曲がりを持つ EPG 表現を持つような最小の $k$ を $b(G)$ として、曲がり数 $b(G)$ を定義する。
• 退化度、木幅、最大次数などのグラフパラメータに基づいて、曲がり数の上界と下界を導出するために、組合せ的構成と幾何的議論を用いる。
• 完全二部グラフ $K_{m,n}$ については、特定のケースにおける $b(K_{m,n})$ の正確な値を提供し、パスの交差パターンを用いて一般の $m,n$ に対する境界を導出する。
• 3-SAT からの還元を構築することで、SINGLE-BEND-RECOGNITION 問題の NP-完全性を証明する。この際、節ガジェットと真理パスのグリッド上での表現を用いる。
• 節ガジェットにおける正しい辺交差パターンを保証するために、中心線と偽パイ（false-pie）の議論を用いる。これにより、各節で真となる変数が1つだけであることが保証される。
• グリッド線の整列とセグメントの包含関係を用いてパスの交差を分析し、曲がりの配置と交差タイプ（水平 vs. 垂直）を制御する。

実験結果

リサーチクエスチョン

• RQ1 固定された $m$ に対して、変化する $n$ における $K_{m,n}$ の正確な曲がり数は何か？
• RQ2 グラフの曲がり数は任意に大きく取り得るか？ もし可能であれば、そのような構造的性質は何か？
• RQ3 $k \geq 3$ の $k$-曲がりグラフの認識の計算複雑性は何か、特に $k=1$ の場合の複雑性は？
• RQ4 曲がり数は、退化度、木幅、最大次数などの古典的グラフパラメータとどのように関係するか？
• RQ5 曲がり数とトラック数との間に関数関係が存在するか？ あるいは、曲がり数が有界であっても、トラック数が無限大に発散する可能性はあるか？

主な発見

• 曲がり数 $b(G)$ は、任意に大きく取り得る。これは、任意の $k \geq 1$ に対して曲がり数 $k$ のグラフを構成することで証明された。
• 完全二部グラフについて、いくつかのペア $(m,n)$ に対して $b(K_{m,n})$ の正確な値が特定され、一般の $m,n$ についても境界が導出された。
• 退化度 $\text{deg}(G)$ に関しては、曲がり数は $2\cdot\text{deg}(G) - 1$ で上界が与えられ、木幅 $\text{tw}(G)$ に関しては $2\cdot\text{tw}(G) - 2$ で上界が与えられる。
• 平面グラフの曲がり数は最大で 4 であり、木幅が 3 以下のグラフでは最大で 3 である。両方の境界はタイトである。
• 1曲がりグラフ（すなわち $b(G) \leq 1$）の認識は NP-完全である。これは、EPG グラフ理論における長年の未解決問題を解決するものである。
• 関数 $f$ が存在して $t(G) \leq f(b(G))$ となるようなものがないという証拠が提示され、トラック数と曲がり数の間には関数的関係がない可能性が示唆された。