[論文レビュー] Drawing Graphs with Orthogonal Crossings

Radoslav Fulek, Balázs Keszegh+1 more|arXiv (Cornell University)|Jan 18, 2010

Computational Geometry and Mesh Generation参考文献 15被引用数 6

ひとこと要約

本稿は、辺が高々1つまたは2つの折り返しを持つ多角形弧として表現され、すべての辺の交差が直角となる直交グラフ図形を調査する。発電法と分割統治法を用いて、クラス $ R_1 $ のグラフは高々 $ O(n) $ 条の辺を持ち、$ R_2 $ のグラフは高々 $ O(nackslash ext{log}^2 n) $ 条の辺を持つことが証明される。これは従来の境界を大幅に改善し、$ R_2 $ に対して線形境界が成り立つ可能性を示唆する。結果は、1辺あたり2つの折り返しが許容される直交交差では、辺数が非線形に増加しないことを支持する。

ABSTRACT

By a poly-line drawing of a graph G on n vertices we understand a drawing of G in the plane such that each edge is represented by a polygonal arc joining its two respective vertices. We call a turning point of a polygonal arc the bend. We consider the class of graphs that admit a poly-line drawing, in which each edge has at most one bend (resp. two bends) and any two edges can cross only at a right angle. It is shown that the number of edges of such graphs is at most O(n) (resp. O(n \log^2 n)). This is a strengthening of a recent result of Didimo et al.

研究の動機と目的

• 1つの辺あたり高々1つまたは2つの折り返しが許容され、すべての交差が直交するようなグラフの最大辺数を特定すること。
• 直交交差と折り返し数が有界なグラフに対する幾何的グラフ理論における従来の境界を改善すること。
• 認知的研究が示唆するように、$ R_2 $ グラフの辺数が漸近的に線形であるかどうかを調査すること。
• 発電法とセパレータに基づく手法を用いて、直交交差制約下での辺密度に対するタイトな組合せ的境界を導出すること。

提案手法

• 発電法を用いて $ R_1 $ グラフの構造を分析し、頂点および面に初期電荷を割り当て、それらを再分配することで線形な辺数境界を導出する。
• $ R_2 $ に対しては、Lipton-Tarjanのセパレータ定理と定理5から得られる重み付き二分岐幅境界を用いた分割統治戦略を適用する。
• 交差数 $ cr(G) $ と二分岐幅 $ b(G) $ を活用して、分割間の辺数を制限する。
• 中間セグメント間の交差を特定・削除するために、二部グラフ $ G_M $ を構築する。
• 交差を3種類に区別する：端末同士、端末と中間、中間同士。それぞれに対して境界を導出する。
• $ n $ についての帰納法を用い、小さいグラフに対しては境界 $ m \leq c n \text{log}^2 n $ が成り立つと仮定し、Jensenの不等式と漸近的解析を用いて帰納ステップを検証する。

実験結果

リサーチクエスチョン

• RQ1 1つの辺あたり高々1つの折り返しが許容され、すべての交差が直交する多角形線図形を許容するグラフが最大で何本の辺を持つことができるか？
• RQ2 直交交差と1辺あたり2つの折り返しが許容されるグラフに対して、従来の $ O(n^{7/4}) $ の境界を超えて辺数境界を改善できるか？
• RQ3 認知的研究が示唆するように、$ R_2 $ グラフの辺数は漸近的に線形であると予想されるが、その通りか？
• RQ4 発電法を精緻化することで $ R_2 $ に対して線形境界が得られるか、それともより複雑な構造的解析が必要か？
• RQ5 二分岐幅と交差数は、折り返し数が有界な直交グラフ図形における辺密度とどのように関係するか？

主な発見

• 本稿は、1辺あたり高々1つの折り返しが許容され、すべての交差が直交する $ R_1 $ グラフが高々 $ O(n) $ 条の辺を持つことを証明した。
• $ R_2 $ に対しては、最大辺数が $ O(n\text{log}^2 n) $ で抑えられることを示し、従来の $ O(n^{7/4}) $ の境界を大幅に改善した。
• 著者らは、$ R_0 $ には属さないが $ R_1 $ に属する無限個のグラフを構成し、$ R_1 $ が $ R_0 $ の真の上位集合であることを示した。
• 証明は、Dujmović らの定理5に依拠するセパレータに基づく二分岐幅境界を用いた分割統治アプローチに依存する。
• 中間セグメント間の交差は、高々半数の辺を削除することで除去可能であり、構造の単純化が可能であることが示された。
• 著者らは、$ R_2 $ グラフの辺数は実際に $ O(n) $ に留まるとの予想を提示し、$ O(n\text{log}^2 n) $ の境界がタイトでない可能性を示唆している。