[论文解读] A Voronoi poset

Roderik Lindenbergh|arXiv (Cornell University)|Apr 29, 1999

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

一句话总结

本文引入了一种新颖的组合结构——Voronoi偏序集（Voronoi poset），同时分析了在一般位置的n个点的点集S上所有k阶Voronoi图。推导出所有阶次下面对面、顶点和圆的通用对称关系，并证明当n为奇数时，该偏序集的约化欧拉示性数为零，且与点位配置无关。

ABSTRACT

Given a set S of n points in general position we consider all kth order Voronoi diagrams on S for k n simultaneously We deduce symmetry relations for the number of faces number of vertices and number of circles of certain orders These symmetry relations are independent of the position of the sites in S As a consequence we show that the reduced Euler characteristic of the poset of faces equals zero whenever n odd

研究动机与目标

• 同时研究点集S在一般位置下所有k阶Voronoi图的组合结构。
• 揭示所有阶次k ≤ n下面对面、顶点和圆的计数中的内在对称关系。
• 确定Voronoi面偏序集的拓扑不变量——特别是约化欧拉示性数。
• 建立当n为奇数时，约化欧拉示性数恒为零，且与点的位置无关。

提出的方法

• 构建一个偏序集，其元素为所有k ≤ n的k阶Voronoi图的面。
• 分析所有阶次k下对面、顶点和Voronoi圆的关联结构。
• 应用组合拓扑学，推导出不同阶次下对面、顶点和圆计数之间的对称关系。
• 使用约化欧拉示性数作为拓扑不变量，分析偏序集的整体结构。
• 证明这些对称关系与点集S的几何构型无关。
• 基于推导出的对称性，证明当n为奇数时，该偏序集的约化欧拉示性数为零。

实验结果

研究问题

• RQ1 在所有k ≤ n的k阶Voronoi图中，对面、顶点和圆的数量之间存在何种通用对称关系？
• RQ2 在固定点集S中，Voronoi特征（面、顶点、圆）的计数如何随不同阶次k而关联？
• RQ3 由所有阶次下所有Voronoi面构成的偏序集的拓扑不变量——特别是约化欧拉示性数——是什么？
• RQ4 约化欧拉示性数是否依赖于点集S的几何排列？
• RQ5 为何当n为奇数时，约化欧拉示性数为零？其背后的组合机制是什么？

主要发现

• 本文建立了所有k阶Voronoi图中对面、顶点和圆数量之间的对称关系，且该关系与点集的几何构型无关。
• 这些对称关系具有普遍性，适用于任意n个点在一般位置下的集合S。
• 证明了Voronoi偏序集的约化欧拉示性数在n为奇数时为零。
• 该结果不依赖于n个点的具体位置，表明该结构具有深刻的组合性质。
• 当n为奇数时约化欧拉示性数为零，揭示了偏序集结构中固有的拓扑约束。
• 研究结果表明，Voronoi偏序集的全局拓扑由n的奇偶性决定，奇数n导致一种平衡的、示性数为零的结构。