沃罗诺伊图

建立泰森多边形算法的关键是对离散数据点合理地连成三角网，即构建Delaunay三角网。建立泰森多边形的步骤为：

1、离散点自动构建三角网，即构建Delaunay三角网。对离散点和形成的三角形编号，记录每个三角形是由哪三个离散点构成的。

2、找出与每个离散点相邻的所有三角形的编号，并记录下来。这只要在已构建的三角网中找出具有一个相同顶点的所有三角形即可。

3、对与每个离散点相邻的三角形按顺时针或逆时针方向排序，以便下一步连接生成泰森多边形。设离散点为o。找出以o为顶点的一个三角形，设为A；取三角形A除o以外的另一顶点，设为a，则另一个顶点也可找出，即为f；则下一个三角形必然是以of为边的，即为三角形F；三角形F的另一顶点为e，则下一三角形是以oe为边的；如此重复进行，直到回到oa边。

4、计算每个三角形的外接圆圆心，并记录之。

5、根据每个离散点的相邻三角形，连接这些相邻三角形的外接圆圆心，即得到泰森多边形。对于三角网边缘的泰森多边形，可作垂直平分线与图廓相交，与图廓一起构成泰森多边形。

用${\displaystyle \displaystyle {X}}$ 表示一个距离函数为${\displaystyle d}$ 的空间（一个非空集合）。令 ${\displaystyle \displaystyle {K}}$ 为一个指数集合，${\displaystyle (P_{k})_{k\in K}}$ 为空间${\displaystyle \displaystyle {X}}$ 的一个非空子集的有序元组。对应于${\displaystyle \displaystyle {P_{k}}}$ 的${\displaystyle \displaystyle {R_{k}}}$ ，称沃罗诺伊原胞，或称沃罗诺伊区域，是空间${\displaystyle \displaystyle {X}}$ 中所有到${\displaystyle \displaystyle {P_{k}}}$ 的距离不大于到其他位置${\displaystyle \displaystyle {P_{j}}}$ （j≠k）的点集。或者说，如果定义${\displaystyle d(x,A)=\inf\{d(x,a)\,|\,a\in A\}}$ 为点${\displaystyle x}$ 和子集${\displaystyle A}$ 的距离，则

${\displaystyle R_{k}=\{x\in X\,\,|\,\,d(x,P_{k})\leq d(x,P_{j})\,\,{\text{for all}}\,\,j\neq k\}}$ 。

沃罗诺伊图即原胞${\displaystyle (R_{k})_{k\in K}}$ 的元组。理论上有些位点能够交叉甚至重合，但事实上它们往往被设定为不相交的。另外，定义过程中允许位点数目无限（这在几何数论和 结晶学有着重要应用），然而通常情况下，只考虑有限位点数。

对于某些特定情况，如有限维度的欧几里得空间，每一位点对应于一个点。这些点是有限且各异的，则沃罗诺伊原胞表现为凸多胞形，由它们的顶点、边、二维面等的组合方式加以描述。有时引入的组合结构被称为沃罗诺伊图。然而，沃罗诺伊原胞不一定是凸形，甚至不一定是连通的。

在平面上，绘制沃罗诺伊图的过程，只要将胞点连起来构成许多三角形，利用中垂线找外心，再将所有外心相连即可。

• 王氏砖
• 双体模型
• 德劳内三角化
• 最近邻插值
• Power图（英语：Power diagram）

• MathWorld的介绍 （页面存档备份，存于互联网档案馆）（英文）
• 用Mathematica画沃罗诺伊图 （页面存档备份，存于互联网档案馆）（英文）