计算几何项目报告.PDFVIP

计算几何项目报告 夏东林 慕巍 见英 问题背景： 包扎问题是计算几何中的一类经典难题，我们研究的是这一问题的简化版本——One Single Fold。任意给定一个简单多边形P 和一个圆盘D ，仅仅折叠一次P ，使得D 的表面全 部包围在P 内，没有任何的部分显露出来。 那么，任意给定的简单多边形必然会存在满足一次折叠覆盖条件的最大D。我们的问题 就是求出这样最大的D，并且给出折叠方案。 算法及原理： 显而易见，这个问题等价于在 P 中求两个半径相同且不相重叠的最大圆，然后过这两 个圆的圆心做一条垂直平分线，便是题目所求得包扎方案。 如图所示是在多边形中的相同大圆的一些例子。经过观察可知，如果给出的圆是最大圆 的话，必然会满足一些必要条件。比如，必然与边界相切，而且不能仅与一条边界相切，换 言之，两个大圆中至少要有一个与边界有两个以上的切点。由于圆的对称性，很容易知道其 中一个圆心在多边性的中轴上。由此，Demaine 证明了如下的引理： 引理1：任意简单多边形中一对最大的半径相等且不重叠圆，必然可以通过移动使得他 们的圆心全部在多边形的中轴上。