[論文レビュー] Coloring geometric hyper-graph defined by an arrangement of half-planes

Radoslav Fulek|arXiv (Cornell University)|Feb 24, 2010

graph theory and CDMA systems参考文献 11被引用数 7

ひとこと要約

この論文は、平面上の任意の有限な閉半平面の配置が、3つ以上の半平面に被覆される点が両方の色の半平面に含まれるように2色に塗り分け可能であることを証明する。点-線双対性と凸包解析を用いて、O(|V| log |V|) 時間で実行可能な構成的アルゴリズムを確立し、Keszeghが提起した半平面における3重被覆分解問題を解決する。

ABSTRACT

We prove that any finite set of half-planes can be colored by two colors so that every point of the plane, which belongs to at least three half-planes in the set, is covered by half-planes of both colors. This settles a problem of Keszegh.

研究の動機と目的

• Keszeghが提起した、半平面による3重被覆が2つの被覆に分解可能かどうかという問題を解決すること。
• 半平面の交差によって定義される超グラフの彩色数が2以下であることを確立すること。
• このような2色塗り分けを決定的かつ効率的に計算するアルゴリズムを提供すること。
• 幾何的超グラフにおける被覆分解の理解を拡張すること。

提案手法

• 点-線双対性を用いて、半平面配置を垂直線分の配置に変換する。
• 元の半平面の向きに基づき、双対線分を上側集合と下側集合に分割する。
• 双対点集合の上側および下側の凸包から、重要な点を同定する。
• 主な点（例：p, r_L, r_U）の相対的位置に基づくケース解析を用いて、再帰的な色分け戦略を定義する。
• 色分けされた線分との線分の交差に関する幾何的観察を活用し、単色の超辺が生じないことを保証する。
• 標準的な計算幾何学のプリミティブを用いて色分けアルゴリズムを実装し、各操作がO(|V| log |V|) 時間で実行可能である。

実験結果

リサーチクエスチョン

• RQ1 任意の有限な閉半平面の集合は、3つ以上の半平面に被覆される点が両方の色の半平面に含まれるように2色に塗り分け可能か？
• RQ2 半平面配置における3重被覆領域によって誘導される超グラフの彩色数は2で有界か？
• RQ3 このような2色塗り分けは、決定的O(|V| log |V|) 時間で効率的に計算可能か？
• RQ4 平面上の閉半平面による任意の3重被覆は、2つの被覆に分解可能か？
• RQ5 任意のl重被覆がk個の被覆に分解可能となるような最小の被覆重みlは何か？

主な発見

• 3つ以上の領域に被覆される半平面によって定義される超グラフの彩色数は2以下である。
• 3つ以上の半平面に被覆される点が両方の色の半平面に含まれるように、2色塗り分けが存在する。
• 凸包と幾何的ソーティング操作を用いて、決定的O(|V| log |V|) 時間で色分けを計算可能である。
• この結果は、平面上の閉半平面による任意の3重被覆が2つの被覆に分解可能であることを示唆する。
• 本論文ではp_H̃(2) = 3を確立し、半平面における被覆分解に関する既存の境界を改善した。