[論文レビュー] New representation results for planar graphs

Farhad Shahrokhi|arXiv (Cornell University)|Feb 22, 2015

Advanced Graph Theory Research参考文献 3被引用数 12

ひとこと要約

本稿では、任意の平面的グラフが1つの弦的グラフ、4つのコ・バイパクリートグラフ、および1つのユニットインターバルグラフの共通部分として表現可能であることを示す新しい普遍的表現定理を提示する。主な革新点は、帯域幅の一般化としてのクリーク被覆幅（CCW）を導入し、平面的グラフに対して有界な表現を可能にするとともに、表面に埋め込まれたグラフや交叉数が1以下のマイナーを除外するグラフへと拡張することにある。

ABSTRACT

A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.

研究の動機と目的

• 特定のグラフクラスの共通部分として平面的グラフを表現する新しい枠組みの構築。
• 帯域幅の一般化としてのクリーク被覆幅（CCW）を導入し、構造的・アルゴリズム的応用に活用する。
• 平面的グラフの表現結果を、表面に埋め込まれたグラフおよび交叉数 ≤1 のマイナーを除外するグラフへと拡張する。
• 分離集合を介して、グラフ分解、共通部分表現、計算効率の間の関係を確立する。
• 平面的および関連するグラフクラスに対して、有界なクリーク被覆幅を持つ共通部分モデルを多項式時間で構築する。

提案手法

• 帯域幅の一般化としてクリーク被覆幅（CCW）を導入し、エッジの隣接性を保つ頂点分割におけるクリーク間の最大距離を測定する。
• 普遍的表現定理の証明：任意のグラフは、弦的グラフと有界CCWを持つグラフの共通部分として表現可能であり、これは木分解と頂点分割に基づく。
• 平面的グラフに普遍定理を適用するため、各レベルでの共通部分が有界である木分解を構築し、CCW ≤ 7 を得る。
• 定理1.1を用いて、有界CCWを持つグラフを ⌈log w⌉+1 個のコ・バイパクリートグラフと1つのユニットインターバルグラフに分解する。
• グラフの生成数gについての帰納的拡張により、CCWの上限がO(log g)の成長を示す。
• 交叉数 ≤1 であるマイナーを除外するグラフについては、平面的または低木幅のグラフのクリーク和に分解し、クリーク和演算を用いて表現を統合する。

実験結果

リサーチクエスチョン

• RQ1 平面的グラフは、弦的、コ・バイパクリート、ユニットインターバルグラフといった構造的グラフクラスの有限個の共通部分として表現可能か？
• RQ2 新規導入のクリーク被覆幅パラメータは帯域幅とどのように関係し、グラフ分解にどのような構造的洞察を提供するか？
• RQ3 共通部分表現枠組みは、表面に埋め込まれたグラフや、小さい交叉数を持つマイナーを除外するグラフへどの程度拡張可能か？
• RQ4 このような共通部分表現の構築の計算複雑性は何か？ また、効率的な分離集合を導くことができるか？
• RQ5 この表現枠組みを用いて、平面的分離定理のような既知の結果を導出または一般化できるか？

主な発見

• 普遍的表現定理および定理1.1の直接的帰結として、任意の平面的グラフは1つの弦的グラフ、4つのコ・バイパクリートグラフ、および1つのユニットインターバルグラフの共通部分として表現可能である。
• 表現における補助的グラフのクリーク被覆幅は、平面的グラフにおいては7以下に有界であり、最大レベル共通部分サイズ t* ≤ 4 である木分解から導出される。
• 生成数gのグラフへも拡張可能であり、必要なコ・バイパクリートグラフの数はO(log g)であり、トポロジー的複雑性に対して対数的依存性を示す。
• 交叉数 ≤1 であるマイナーHを除外するグラフについては、必要なコ・バイパクリートグラフの数はO(log C_H)に有界であり、C_Hは|V(H₀)|および|E(H₀)|の超指数関数的関数である。
• マイナーを除外する場合を除き、すべてのケースで多項式時間の構築が可能であり、この枠組みは小規模な分離集合の構築により平面的分離定理を示唆する。
• クリーク被覆幅は、帯域幅問題との密接な関係のため、計算がNP困難であることが示された。