多边形的圆形可分性

如果存在一个圆包含两个平面集合中的一个，且其开内部圆盘不与另一个集合相交，则称这两个平面集合是圆形可分的。本文研究了与圆形可分性相关的两个问题。提出了一个线性时间算法来判断两个多边形是否圆形可分。该算法输出最小的分离圆。第二个问题是在预处理过的凸多边形中，在若干点和/或线约束下，寻找包含在其中的最大圆。所得圆必须包含查询点，并且必须位于由查询线界定的半平面内。