[論文レビュー] Separating Geometric Thickness from Book Thickness

David Eppstein|ArXiv.org|Sep 24, 2001

Computational Geometry and Mesh Generation参考文献 7被引用数 14

ひとこと要約

本稿では、完全グラフの辺を分割する手法を用いて、幾何的厚さが正確に 2 であるが、$k$ が増加するにつれて書籍厚さが無限大に発散するグラフ族 $G_k$ を構成することで、幾何的厚さと書籍厚さが漸近的に同値でないことを示している。この構成は、完全グラフの辺の分割に基づき、ラマジー理論を応用して書籍厚さの無限大発散を証明しており、有界な幾何的厚さが有界な書籍厚さを意味するわけではないことを示している。

ABSTRACT

We show that geometric thickness and book thickness are not asymptotically equivalent: for every t, there exists a graph with geometric thickness two and book thickness >= t.

研究の動機と目的

• 幾何的厚さと書籍厚さが漸近的に同値であるかどうかを調査すること。
• 有界な幾何的厚さが有界な書籍厚さを意味するかという未解決の問題を解明すること。
• これらの2つのグラフパラメータを分離する明示的なグラフ族を構成すること。

提案手法

• 各辺を2辺のパスに分割することで得られるグラフ $G_k$ を定義する。このグラフは完全グラフ $K_k$ の辺をすべて2辺のパスに分割したものである。
• 直線セグメントを用いて2層に埋め込む：元の頂点 $v_i$ を座標 $(i, i+1)$ に配置し、中間頂点を $(j+1, i)$ に配置することで、層をまたぐエッジをルーティングする。
• 書籍埋め込みの分析にラマジー理論を適用する：$G_k$ の書籍埋め込みで使用された層のペアに基づいて、$K_k$ のエッジを分割する。
• 補題 1（ラマジー型の結果）を適用し、書籍厚さが有界であれば、2層の書籍埋め込みにおいて $K_5$ の部分グラフが存在することを示す。しかし $G_5$ は非平面的であるため、これは矛盾である。
• ラマジー構成におけるパラメータとして、層のペア数 $c = inom{t-1}{2}$ を用い、$k$ が増加するにつれて $G_k$ の書籍厚さが増加することを確立する。
• ブロックベースのレイヤー戦略に基づき、上界 $\mathrm{bt}(G_k) = O(\sqrt{k})$ がタイトであると予想する。

実験結果

リサーチクエスチョン

• RQ1 幾何的厚さは漸近的に書籍厚さと同値か？
• RQ2 有界な幾何的厚さだが無限大の書籍厚さをとるグラフは存在するか？
• RQ3 幾何的厚さと書籍厚さの間の漸近的関係は何か？
• RQ4 2層の直線描画が存在することは、書籍厚さが有界であることを意味するか？
• RQ5 低幾何的厚さのグラフに対して、書籍厚さの下界はどの程度強いのか？

主な発見

• 任意の正の整数 $t$ に対して、その書籍厚さ $\mathrm{bt}(G_k) \geq t$ を満たすグラフ $G_k$ が存在する。
• すべての $k \geq 5$ に対して、幾何的厚さ $\bar{\theta}(G_k) = 2$ である。これは有界な幾何的厚さを示している。
• この構成は、$K_k$ の辺を2辺のパスに分割することに依存しており、$k + \binom{k}{2}$ 個の頂点と $2\binom{k}{2}$ 個のエッジを持つグラフを形成する。
• ラマジー理論を用いた矛盾の導出：書籍厚さが $t-1$ で有界であれば、2層の書籍埋め込みにおいて $K_5$ の部分グラフが埋め込まれることになるが、$G_5$ は非平面的であるため、少なくとも3層が必要である。
• 本稿では、上界として $\mathrm{bt}(G_k) = O(\sqrt{k})$ を確立し、この境界がタイトであると予想している。
• この結果により、幾何的厚さと書籍厚さが漸近的に同値でないことが示され、グラフ描画分野における長年の未解決問題が解決された。