[论文解读] Perfect vector sets, properly overlapping partitions, and largest empty box

Adrian Dumitrescu, Minghui Jiang|arXiv (Cornell University)|Aug 24, 2016

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

一句话总结

本文提出了一种算法，可在 $ O(n + d\log d) $ 时间内，对 $[0,1]^d$ 中的 $ n $ 个点，计算出一个体积至少为 $\frac{\log d}{4(n + \log d)}$ 的空轴对齐盒子。该算法引入了完美向量集和恰当重叠划分等新概念，推导出最大空盒子最小体积的紧致界，将其与极值集合论联系起来，深化了对 $ A_d(n) $ 渐近行为的理解。

ABSTRACT

We revisit the following problem (along with its higher dimensional variant): Given a set $S$ of $n$ points inside an axis-parallel rectangle $U$ in the plane, find a maximum-area axis-parallel sub-rectangle that is contained in $U$ but contains no points of $S$. (I) We present an algorithm that finds a large empty box amidst $n$ points in $[0,1]^d$: a box whose volume is at least $\frac{\log{d}}{4(n + \log{d})}$ can be computed in $O(n+d \log{d})$ time. (II) To better analyze the above approach, we introduce the concepts of perfect vector sets and properly overlapping partitions, in connection to the minimum volume of a maximum empty box amidst $n$ points in the unit hypercube $[0,1]^d$, and derive bounds on their sizes.

研究动机与目标

• 开发一种高效算法，用于计算 $[0,1]^d$ 中 $ n $ 个点之间的大空轴对齐盒子。
• 理解 $ A_d(n) $ 的渐近行为，即所有 $ n $-点集在 $[0,1]^d$ 中最大空盒子的最小体积。
• 引入并分析完美向量集与恰当重叠划分的概念，作为界定 $ A_d(n) $ 的工具。
• 建立这些组合结构与经典极值集合论（如 Sperner 系统与 LYM 不等式）之间的联系。
• 确定 $ A_d(n) $ 是否以 $ \Theta(\log d / n) $ 或更快的速度增长，并解决关于 $ A_d(n) $ 增长率的开放问题。

提出的方法

• 该算法采用基于通过点的超平面切分超立方体的递归划分策略，选择一个较大的空切片。
• 它利用存在一个恰好包含 $\ell = \lfloor \log d \rfloor $ 个点的盒子，其体积至少为 $\frac{\ell+1}{n + \ell + 1}$ 的事实。
• 该方法使用 $\{0,1,\dots,a-1\}$ 上的 $ d $ 个向量对 $\ell$ 个内部点的坐标进行编码，形成向量集 $\mathcal{V}$。
• 它应用了完美向量集的概念：若集合 $\mathcal{V}$ 中任意 $ t $ 元组的向量在某一坐标上所有值互不相同，则称 $\mathcal{V}$ 为完美集。
• 恰当重叠划分被定义为：任意 $ t $ 个划分的组合在至少一个部分中存在共同重叠；其大小通过极值集合论进行界定。
• 分析通过向量编码中的未覆盖组合，将完美集的不存在性与大空盒子的存在性联系起来。

实验结果

研究问题

• RQ1 能否将 $[0,1]^d$ 中最大空盒子的体积下界定为 $\Omega(\log d / n)$？
• RQ2 固定 $ a,t \geq 2 $ 时，$[n]$ 上 $ t $-wise 恰当重叠 $ a $-划分族的最大大小的渐近增长率为多少？
• RQ3 完美向量集与恰当重叠划分如何与极值集合论及不均匀性理论相关联？
• RQ4 若存在子指数大小的此类划分族，是否意味着 $ A_d(n) $ 呈超对数增长？
• RQ5 $ A_d(n) \leq d^{O(1)}/n $ 是否对所有 $ d $ 成立？

主要发现

• 该算法可在 $ O(n + d\log d) $ 时间内，对 $[0,1]^d$ 中的 $ n $ 个点，计算出体积至少为 $\frac{\log d}{4(n + \log d)}$ 的空盒子。
• 本文证明了 $ A_d(n) \geq \frac{\log d}{4(n + \log d)} $，与 Aistleitner 等人 [4] 的最佳已知下界一致。
• 对于固定的 $ a,t \geq 2 $，$[n]$ 上 $ t $-wise 恰当重叠 $ a $-划分族的最大大小随 $ n $ 指数增长。
• 正式证明了完美向量集与恰当重叠划分之间的等价性，从而实现了对 $ A_d(n) $ 的组合界。
• 若存在子指数大小的此类划分族，则意味着 $ A_d(n) = \omega(\log d / n) $，但由于此类族实际为指数大小，该情形不会发生。
• 本文解决认为 $ A_d(n) $ 更可能接近 $ \Theta(\log d / n) $ 而非 (1) 中的指数上界，提示 $ A_d(n) \leq d^{O(1)}/n $ 可能成立。