[論文レビュー] The Orchard crossing number of an abstract graph

Elie Feder, David Garber|arXiv (Cornell University)|Mar 25, 2003

Computational Geometry and Mesh Generation参考文献 10被引用数 5

ひとこと要約

本稿は、平面内の点の間の同値関係であるオアシス関係に基づく、頂点と辺の交差の幾何的配置に基づく抽象的グラフのためのオアシス交差数（OCN）を導入する。完全グラフ、スターモデル、ホイールグラフ、完全二部グラフについてOCNを計算し、直線的交差数と密接に関連する最大版（MOCN）を導入。完全グラフのMOCNの最適な図形描画が、直線的交差数の最適な図形描画と一致することを示す。

ABSTRACT

We introduce the Orchard crossing number, which is defined in a similar way to the well-known rectilinear crossing number. We compute the Orchard crossing number for some simple families of graphs. We also prove some properties of this crossing number. Moreover, we define a variant of this crossing number which is tightly connected to the rectilinear crossing number, and compute it for some simple families of graphs.

研究の動機と目的

• 幾何的配置とオアシス関係を用いて、抽象的グラフのためのオアシス交差数（OCN）を定義・形式化する。
• 完全グラフ $K_n$、スターモデル $K_{n,1}$、ホイールグラフ $W_{n,1}$、完全二部グラフ $K_{n,m}$ といった基本的グラフ族のOCNを計算する。
• 変種としての最大オアシス交差数（MOCN）を導入・分析し、古典的直線的交差数との関連を確立する。
• OCNの構造的性質、特にグラフの和における挙動および凸配置や点の分離との関係を調査する。

提案手法

• 直線が他の点のペアによって分離する回数の偶奇に基づき、平面内の点集合に対する同値関係としてオアシス関係を定義する。
• グラフの直線的描画を、$ℝ^2$ 内の一般化された点集合と直線による辺で形式化する。
• オアシス交差数を、すべての直線的描画において、各辺の両端点を分離する直線の数の合計の最小値として定義する。
• 最大オアシス交差数（MOCN）を、すべての描画におけるその合計の最大値として定義し、完全グラフにおいてその最適性が直線的交差数と一致することを証明する。
• 点の4点組（色分けおよび凸配置の観点から）の組み合わせ的数え上げを用いて、OCNおよびMOCNへの寄与を計算する。
• 幾何的および組合せ的議論を適用し、特定のグラフ族におけるOCNおよびMOCNの閉形式表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 完全グラフ $K_n$ のオアシス交差数は何か？ また、その直線的交差数とはどのように関係するか？
• RQ2 完全グラフ $K_n$ の最大オアシス交差数（MOCN）は直線的交差数とどのように比較できるか？ どのような条件下で一致するか？
• RQ3 スターモデル $K_{n,1}$ のオアシス交差数は何か？ また、中心頂点の配置に依存するか？
• RQ4 2つの辺に重複のないグラフが同じ頂点集合を持つ場合、OCNはどのように振る舞うか？ 特に、それらが同じ最小OCN描画を持つ場合に限って。
• RQ5 完全二部グラフ $K_{n,m}$ のMOCNは何か？ どのような配置がそれを最大化するか？

主な発見

• 完全グラフ $K_n$ のオアシス交差数は $\binom{n}{4}$ であり、凸位置にある4点の組の数え上げから導出される。
• 完全グラフ $K_n$ の最大オアシス交差数は $\binom{n}{4}$ であり、MOCNの最適な図形描画は、直線的交差数を最小化する図形描画と一致する。
• スターモデル $K_{n,1}$ に対しては、中心頂点が葉の凸包内にある場合、OCNは $n(n-1)/2$ となり、これが最小値である。
• ホイールグラフ $W_{n,1}$ に対しては、OCNは $\binom{n}{3} + \binom{n}{4}$ であり、中心ハブと外周サイクルからの寄与を組み合わせたものである。
• 完全二部グラフ $K_{n,m}$ のMOCNは $2\binom{n}{2}\binom{m}{2} + 2n\binom{m}{3} + 2m\binom{n}{3}$ であり、すべての4点組が最大寄与を示す配置で達成される。
• 辺に重複のないグラフ $G$ と $H$ が同じ頂点集合を持つとき、かつそれらが最小OCN描画を共有する場合、$\mathrm{OCN}(G \cup H) = \mathrm{OCN}(G) + \mathrm{OCN}(H)$ が成り立つ。