[論文レビュー] On Pseudo-disk Hypergraphs

Boris Aronov, Anirudh Donakonda+2 more|arXiv (Cornell University)|Feb 24, 2018

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

ひとこと要約

本稿は、P を擬円板の有限部分集合とし、F からの他の擬円板との交差に対応する辺を有する擬円板ハイパーグラフ H(P, F) において、サイズが k 以下のハイパーエッジの数に対する O(nk³) の上界を確立する。この結果により、平面的擬円板集合における最小重みドミネーティングセットの定数倍近似を期待時間多項式時間で計算するための確率的アルゴリズムが可能となる。

ABSTRACT

Let $F$ be a family of pseudo-disks in the plane, and $P$ be a finite subset of $F$. Consider the hypergraph $H(P,F)$ whose vertices are the pseudo-disks in $P$ and the edges are all subsets of $P$ of the form $\{D \in P \mid D \cap S eq \emptyset\}$, where $S$ is a pseudo-disk in $F$. We give an upper bound of $O(nk^3)$ for the number of edges in $H(P,F)$ of cardinality at most $k$. This generalizes a result of Buzaglo et al. (2013). As an application of our bound, we obtain an algorithm that computes a constant-factor approximation to the smallest _weighted_ dominating set in a collection of pseudo-disks in the plane, in expected polynomial time.

研究の動機と目的

• 擬円板の交差によって定義されるハイパーグラフにおける、サイズが k 以下のハイパーエッジの数に対する上界を確立すること。
• 点-擬円板ハイパーグラフに関する先行結果を、擬円板領域への一般化すること。
• この上界を応用して、擬円板アレンジメントにおける重み付きドミネーティングセット問題の効率的近似アルゴリズムを設計すること。
• このようなハイパーグラフのVC次元が4以下であり、かつこの上限がタイトであることを示すこと。
• この結果の適用範囲を、基底集合と範囲集合が互いに素な擬円板族である場合にまで拡張すること。

提案手法

• Buzaglo ら [4] が提案した点-擬円板ハイパーグラフに関する技術を活用し、領域ベースの交差に適応する。
• 擬円板のアレンジメントと平面的アレンジメントにおけるレベルの性質を用いて、面の数を制限し、構造的制約を導出する。
• VC次元理論を適用して、H(P, F) がVC次元4以下であることを示し、これが最適であることを証明する。
• 擬円板アレンジメントにおける浅い細胞の複雑度の精密分析を用いて、k に対する依存関係を多項式的超えから O(k³) に改善する。
• O(nk³) の辺の上界と、Chan ら [5] が提唱する重み付きヘッティングセット近似の枠組みを組み合わせる。
• 支配集合と交差グラフにおけるヘッティングセットの等価性を活用して、最小重みドミネーティングセット問題をハイパーグラフ H(P, F) 上の重み付きヘッティングセット問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 擬円板の交差によって定義されるハイパーグラフ H(P, F) における、サイズが k 以下のハイパーエッジの最大数は何か？
• RQ2 このようなハイパーグラフのVC次元は有界にできるか？ もしそうなら、最もタイトな上限は何か？
• RQ3 基底集合 P と範囲集合 F が互いに素な擬円板族である場合に、サイズが k 以下のハイパーエッジに対する O(nk³) の上界は成立するか？
• RQ4 この構造的上界を用いて、擬円板アレンジメントにおける最小重みドミネーティングセットの効率的近似アルゴリズムを設計できるか？
• RQ5 擬円板を擬円周に置き換えた場合、ハイパーグラフの複雑度はどのように変化するのか？ また、この区別が重要な理由は何か？

主な発見

• H(P, F) におけるサイズが k 以下のハイパーエッジの数は、n = |P| として O(nk³) である。ただし、定数倍の係数は家族 F に依存しない。
• ハイパーグラフ H(P, F) のVC次元は4以下であり、これはタイトである。5つの集合がシャッタブルであることを示す構成によって証明されている。
• 本結果は、点を十分に小さな擬円板として表現できるため、点-擬円板ハイパーグラフに関する先行研究を一般化する。
• 擬円周ではこの上界は成り立たない：n 個の互いに交差する円に対して、それらの交点に O(n²) 個の小さな円を配置する構成は、k=2 のとき O(nk³) の上界に反する。
• O(nk³) のエッジ数上界は、最小重みドミネーティングセットの定数倍近似を期待時間多項式時間で計算する確率的アルゴリズムを可能にする。
• Chan ら [5] の浅い細胞の複雑度に関する枠組みが、ハイパーグラフ H(P, F) に成功裏に適用され、この設定における重み付きヘッティングセット問題の定数倍近似の存在が確立された。