[论文解读] 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-集合，特别是k=4的情形，其中每种颜色类具有指定的点数。
• 利用中点阻塞性质与乘积运算，发展大规模k-阻塞集合的构造方法。
• 探索共线性与一般位置等结构性约束在k-阻塞构型中的作用。
• 为更广泛的猜想提供证据：所有k-阻塞集合均为有限集，可能对离散几何中的可见性与色数问题产生影响。

提出的方法

• 采用基于可视性的阻塞模型：若第三点位于两点之间的开线段上，则两点被阻塞。
• 将k-阻塞集合定义为着色点集，其中同色点对彼此阻塞，异色点对彼此可视。
• 对中点阻塞集合应用乘积构造：若P和Q分别为k-和ℓ-中点阻塞集合，则P×Q为(kℓ)-中点阻塞集合，颜色类大小为n_i m_j。
• 运用极值组合学与几何约束（例如：无四点共线）来限定集合大小。
• 利用同色点对中点必须属于集合的性质，强制在中点运算下保持结构闭包。
• 应用对数与指数界限，推导出k-中点阻塞集合大小的渐近上界。

实验结果

研究问题

• RQ1 4-阻塞点集的最大大小是多少？哪些颜色分布是可表示的？
• RQ2 能否构造出大小关于k为超线性的k-阻塞集合？若能，如何实现？
• RQ3 中点阻塞集合是否允许通过乘积运算构造出大规模的k-阻塞集合？
• RQ4 k-阻塞集合的大小是否存在关于k的通用上界？
• RQ5 是否存在结构性约束（如一般位置或有界颜色类大小）来控制k-阻塞构型？

主要发现

• 每个4-阻塞集合最多包含12个点，且该上界是紧的。
• 唯一可表示的4-集合是那些颜色类大小{n₁,n₂,n₃,n₄}满足总和不超过12，且构型满足中点与可视性约束的情形。
• 存在对无穷多个k的k-阻塞集合，其大小为k^{1.79...}，通过在大小为12的4-中点阻塞集合上进行迭代乘积运算构造而成。
• 通过乘积运算构造k-中点阻塞集合时，当k为4的幂，可得到大小为k^{log₄12} = k^{1.79...}的k-阻塞集合。
• 本文证明了k-中点阻塞集合的大小被k·max{N(ε), c^{(k−1)^{3+ε}}}所限制，意味着此类集合具有次指数上界。
• 结果支持更广泛的猜想：所有k-阻塞集合均为有限集，可能对离散几何中的可见性与色数问题产生影响。