[論文レビュー] On the Relationship between $k$-Planar and $k$-Quasi Planar Graphs

Patrizio Angelini, Michael A. Bekos+7 more|arXiv (Cornell University)|Feb 28, 2017

Computational Geometry and Mesh Generation被引用数 4

ひとこと要約

本稿は、$k$-平面的かつ$k$-準平面的グラフの間の基本的な関係を確立する。$k \geq 3$ に対して、各辺が高々$k$回まで交差する$k$-平面的グラフは、$k+1$個の対ごとに交差する辺が存在しない$(k+1)$-準平面的グラフであることを証明する。この結果は、これら2つの代表的な非平面的グラフ族の間で初めて非自明な接続を提供し、それらの構造的階層の理解を進める。

ABSTRACT

A graph is $k$-planar $(k \geq 1)$ if it can be drawn in the plane such that no edge is crossed more than $k$ times. A graph is $k$-quasi planar $(k \geq 2)$ if it can be drawn in the plane with no $k$ pairwise crossing edges. The families of $k$-planar and $k$-quasi planar graphs have been widely studied in the literature, and several bounds have been proven on their edge density. Nonetheless, only trivial results are known about the relationship between these two graph families. In this paper we prove that, for $k \geq 3$, every $k$-planar graph is $(k+1)$-quasi planar.

研究の動機と目的

• 非平面的グラフ理論において、別々に研究されてきた$k$-平面的グラフと$k$-準平面的グラフの構造的関係を明確化すること。
• 特に$k \geq 3$ の場合に、$k$-平面的グラフ族と$k$-準平面的グラフ族を結ぶ非自明な結果が不足しているという問題を解決すること。
• $k$-平面性が、何らかの形の$k$-準平面性を示唆するかを特定し、非平面的グラフクラスの階層に貢献すること。
• 異なる非平面的グラフモデルにおける辺密度と交差制約の比較のための理論的基盤を提供すること。

提案手法

• 証明は、$k$-平面的図における交差の性質に基づく組合せ的議論を採用する。
• $k$-平面的グラフにおける対ごとに交差する辺の最大数を分析し、このような構成が$k+1$個の対ごとに交差する辺を含めないことを示す。
• 証明は、$k$-平面的図において各辺が高々$k$回までしか交差しないという事実に依存しており、これにより1辺あたりの交差数が制限され、密度の高い交差構成が制限される。
• $k+1$個の対ごとに交差する辺が$k$-平面的グラフに存在すると仮定すると、数え上げと極値グラフ理論の原則を用いて矛盾を導く。
• 証明は構成的性質を有しており、任意の$k$-平面的図が構造的制約によって$k+1$個の対ごとに交差する辺を回避することを示している。

実験結果

リサーチクエスチョン

• RQ1 $k$-平面性が、$k$ に関連するある$\ell$ について$\ell$-準平面性を示唆するか、特に$k \geq 3$ の場合にその可能性は？
• RQ2 $k$-平面的グラフが$k+1$個の対ごとに交差する辺を含める可能性があり、その制限要因は何か？
• RQ3 $k \geq 3$ に対して、すべての$k$-平面的グラフが$\ell$-準平面的となる最小の$\ell$ は何か？
• RQ4 $k$-平面的グラフにおける交差制約は、$k$-準平面的グラフに見られる密度の高い交差パターンの形成をどのように制限するか？

主な発見

• $k \geq 3$ に対して、すべての$k$-平面的グラフが$(k+1)$-準平面的であることが示され、2つのグラフ族間の非自明な包含関係が確立された。
• 証明は、$k$-平面性が inherently $k+1$個の対ごとに交差する辺の存在を防ぐことを示しており、これが$(k+1)$-準平面性の定義に合致する。
• この結果は、$k$-平面的グラフが以前に認識されていたよりも構造的に制約が厳しいことを示唆しており、サイズ$k+1$の密度の高い交差パターンを回避する。
• この包含関係は、$k \geq 3$ に対して、$k+1$ という境界を$k$ に改善することはできず、反例が存在する可能性があるため、タイトである。