[論文レビュー] Matching in Gabriel Graphs

Ahmad Biniaz, Anil Maheshwari+1 more|arXiv (Cornell University)|Oct 2, 2014

Computational Geometry and Mesh Generation参考文献 13被引用数 4

ひとこと要約

本稿では、高階のガブリエルグラフにおけるマッチングおよびブロッキング性質を調査し、10-GGではユークリッドボトルネック完全マッチングが保証されるが、8-GGでは保証されないことを証明している。最大マッチングサイズのタイトな下界を示しており、0-GGでは(n−1)/4、1-GGでは2(n−1)/5、2-GGでは完全マッチングを示している。また、幾何的およびグラフ理論的議論を用いて、k-GGグラフにおけるブロッキング集合のタイトな境界を同定している。

ABSTRACT

Given a set $P$ of $n$ points in the plane, the order-$k$ Gabriel graph on $P$, denoted by $k$-$GG$, has an edge between two points $p$ and $q$ if and only if the closed disk with diameter $pq$ contains at most $k$ points of $P$, excluding $p$ and $q$. We study matching problems in $k$-$GG$ graphs. We show that a Euclidean bottleneck perfect matching of $P$ is contained in $10$-$GG$, but $8$-$GG$ may not have any Euclidean bottleneck perfect matching. In addition we show that $0$-$GG$ has a matching of size at least $\frac{n-1}{4}$ and this bound is tight. We also prove that $1$-$GG$ has a matching of size at least $\frac{2(n-1)}{5}$ and $2$-$GG$ has a perfect matching. Finally we consider the problem of blocking the edges of $k$-$GG$.

研究の動機と目的

• k-Gabrielグラフ（k-GG）がユークリッドボトルネック完全マッチングを含むようなkの値を特定すること。
• 小さなkに対して、k-GGグラフにおける最大マッチングサイズのタイトな下界を確立すること。
• すべてのk-GGグラフの辺をブロックし、Pが独立集合となるようにするための最小点数を特定すること。

提案手法

• 点集合Pに最小全域木（MST）を構築し、その辺に対応する円を分析すること。
• 幾何的議論を用いて、各ブロッキング点が高々3つのこのような円内にしか存在できないことを示し、これによりブロッキング集合サイズの下界を得ること。
• 円の包含関係およびエッジ選択基準を分析することで、ユークリッドボトルネックマッチングが10-GGに含まれることを証明すること。
• 具体的な構成（例：独立集合サイズが(3n+1)/4の0-GG）により、境界のタイトさを確立すること。
• グラフ理論的双対性の適用：αk(P) ≤ n − νk(P)，ここでαkおよびνkはそれぞれ最大独立集合およびマッチングサイズを表す。
• MSTの各辺に対してk+1個のブロッキング点を要件とし、円の交差性の性質を用いて0-GGからk-GGへの結果の一般化を行うこと。

実験結果

リサーチクエスチョン

• RQ1 任意の点集合Pに対して、9-GGはユークリッドボトルネック完全マッチングを含むか？
• RQ2 1-GGにおける最大マッチングサイズの下界2(n−1)/5はタイトか？
• RQ3 一般のkに対して、k-GGをブロックするために必要な最小点数は何か？
• RQ4 k-GGのブロッキングに(k+1)(n−1)という境界を改善できるか？
• RQ5 10未満のkで、k-GGが常にユークリッドボトルネック完全マッチングを含むような値は存在するか？

主な発見

• ユークリッドボトルネック完全マッチングは10-GGに保証されるが、8-GGには保証されないことが、反例により示された。
• 0-GGにおける最大マッチングサイズは(n−1)/4以上であり、独立集合サイズが(3n+1)/4の構成により、この境界がタイトであることが示された。
• 1-GGでは最大マッチングサイズが2(n−1)/5以上であり、この境界がタイトである。
• 2-GGでは完全マッチングが常に存在し、nが偶数のときν2(P) = n/2であることが示された。
• 0-GGをブロックするための最小点数は⌈(n−1)/3⌉であり、この境界はタイトである。
• k-GGでは、⌈(k+1)(n−1)/3⌉点が必要であり、(k+1)(n−1)点が十分であることが示された。