[論文レビュー] Blocking Coloured Point Sets

Greg Aloupis, Brad Ballinger+4 more|arXiv (Cornell University)|Feb 1, 2010

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

ひとこと要約

本稿は、同じ色の点が第三の点によって互いに遮蔽される平面内のk-ブロッキング点集合を調査し、任意のkに対してそのサイズが有界であると提唱する。4-ブロッキング集合のサイズは最大12であり、すべての表現可能な4-集合を特徴づけ、中点ブロッキング集合の積構成を用いて、無限に多くのkに対してk^{1.79...}のサイズのk-ブロッキング集合を構成することで、k-ブロッキング集合の有限性に関する予想に前進をもたらす。

ABSTRACT

This paper studies problems related to visibility among points in the plane. A point $x$ \emph{blocks} two points $v$ and $w$ if $x$ is in the interior of the line segment $\bar{vw}$. A set of points $P$ is \emph{$k$-blocked} if each point in $P$ is assigned one of $k$ colours, such that distinct points $v,w\in P$ are assigned the same colour if and only if some other point in $P$ blocks $v$ and $w$. The focus of this paper is the conjecture that each $k$-blocked set has bounded size (as a function of $k$). Results in the literature imply that every 2-blocked set has at most 3 points, and every 3-blocked set has at most 6 points. We prove that every 4-blocked set has at most 12 points, and that this bound is tight. In fact, we characterise all sets $\{n_1,n_2,n_3,n_4\}$ such that some 4-blocked set has exactly $n_i$ points in the $i$-th colour class. Amongst other results, for infinitely many values of $k$, we construct $k$-blocked sets with $k^{1.79...}$ points.

研究の動機と目的

• k-ブロッキング点集合のサイズがkの関数として有界であるという予想を調査すること。
• 特にk=4の場合に、各色クラスに指定された点数を持つ表現可能なk-集合を特徴づけること。
• 中点ブロッキング性と積演算を用いて、大きなk-ブロッキング集合の構成法を開発すること。
• k-ブロッキング構成における共線性や一般位置などの構造的制約を探索すること。
• すべてのk-ブロッキング集合が有限であるという広範な予想に対する証拠を提供し、離散幾何における可視性や彩色数の問題への潜在的影響を示すこと。

提案手法

• 2点がそれらの間の開線分上に第三の点がある場合に遮蔽される可視性に基づくブロッキングモデルを用いる。
• k-ブロッキング集合を、同じ色の点対が互いに遮蔽され、異なる色の点対が互いに可視であるように彩色された点集合として定義する。
• 中点ブロッキング集合の積構成を適用する：PとQがそれぞれk-およびℓ-中点ブロッキング集合であれば、P×Qは(kℓ)-中点ブロッキング集合であり、色クラスのサイズはn_i m_jとなる。
• 極値的組合せ論と幾何的制約（例：4点が一直線上に存在しない）を用いて集合サイズを上限づける。
• 同じ色の点対の中点が集合内に存在することを強制することで、中点演算における構造的閉包性を確保する。
• 対数的および指数的上限を用いて、k-中点ブロッキング集合のサイズに対する漸近的上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 4-ブロッキング点集合の最大サイズは何か？ また、どの色クラスサイズの分布が表現可能か？
• RQ2 k-ブロッキング集合をkの超線形サイズで構成できるか？ もしそうなら、どのように？
• RQ3 中点ブロッキング集合は、積演算を用いて大きなk-ブロッキング集合を構成可能か？
• RQ4 k-ブロッキング集合のサイズに対する普遍的な上界が存在するか？
• RQ5 一般位置や有界な色クラスサイズといった構造的制約が、k-ブロッキング構成を支配するか？

主な発見

• すべての4-ブロッキング集合は最大12点であり、この上限はタイトである。
• 表現可能な4-集合は、サイズの合計が12以下であり、かつ中点および可視性制約を満たす色クラスサイズ{n₁,n₂,n₃,n₄}に限られる。
• 無限に多くのkに対して、サイズk^{1.79...}のk-ブロッキング集合が存在し、12点の4-中点ブロッキング集合を繰り返し積演算することで構成される。
• 中点ブロッキング集合の積構成により、kが4のべきであるとき、k^{log₄12} = k^{1.79...}のサイズのk-ブロッキング集合が得られる。
• 本稿では、k-中点ブロッキング集合のサイズがk·max{N(ε), c^{(k−1)^{3+ε}}}で有界であることを証明し、このような集合に対して指数的でない上界が得られることを示す。
• 結果は、すべてのk-ブロッキング集合が有限であるという広範な予想を支持しており、離散幾何における可視性および彩色数の問題への潜在的影響を示唆する。