卷包裹法.pptVIP

凸多边形的面积 以 P1为扇面中心，连接P1Pi就得到N-2个三角形，由于凸性，保证这些三角形全在多边形内，那么，这个凸多边形的有向面积： P1 P2 P3 P4 P5 P6 A1 A2 A3 A4 凹多边形的面积 依然是 “有向面积”A比“面积”S其实更本质！ P1 P4 P3 P2 任意点为扇心的三角形剖分 我们能把多边形分成N-2个三角形，为什么不能分成N个三角形呢？ 比如，以多边形内部的一个点为扇心，就可以把多边形剖分成 N个三角形。 P0 P1 P2 P6 P5 P4 P3 扇心移动到多边形外面 公式仍然成立 P0 P1 P2 P3 P4 扇心移动到原点 此时公式简化为 O P1 P2 P3 P4 求多边形的重心 三角形重心公式 那么多边形的重心公式是否为 P1 P2 P3 P4 P4 P5 P6 P7 反例 . 造成错误的原因 错误的推广公式是“质点系重心公式”，即如果认为多边形的质量仅分布在其顶点上，且均匀分布，则这个公式是对的。 但是，现在多边形的质量是均匀分布在其内部区域上的，也就是说，是与面积有关的！ 解决方案 剖分成N个三角形，分别求出其重心和面积，这时可以想象，原来质量均匀分布在内部区域上，而现在质量仅仅分布在这N个重心点上（等价变换），这时候就可以利用刚才的质点系重心公式了。 不过，要稍微改一改，改成加权平均数，因为质量不是均匀分布的，每个质点代表其所在三角形，其质量就是该三角形的面积（有向面积！），——这就是权！ 多边形的重心公式 O P1 P2 P3 P4 判断点在形内形外形上 点与多边形的位置关系 （1）点在内部 （2）点在外部 （3）点在边界上 射线法 环顾法 射线法 从这个点出发任意作一条射线 交点奇数次，则该点在形内 交点偶数次，则该点在形外 射线法的特殊情况 P 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 凸包及其应用 卷包裹法 Graham-Scan算法 Melkman算法 卷包裹法 * ACM计算几何入门 福建师范大学 ACM计算几何入门 福建师范大学 ACM计算几何入门 翁彬 wb_371@163.com ACM计算几何入门 主要参考书目 刘汝佳，算法艺术与信息学竞赛 讨论课形式 主要介绍基础知识和算法 讨论部分算法模板 内容安排 叉积和点积 多边形基础 凸包及其应用 几种常用的特殊算法 向量及其运算 计算几何中经常使用向量，而且基本上都是二维的，下面用α β γ代表三个向量 α=(x[0],y[0]) β=(x[1],y[1]) γ=(x[2],y[2]) 某些题目需要经常使用向量运算，因此对于这类问题最好建立构造类型或者类来表示向量，并将向量之间的运算进行重载 一般需要重载加法，减法，和向量乘法 向量及其运算 向量有两种乘法，点积（数量积，内积）和叉积（向量积，外积），其中 点积 α·β= x[0]*x[1] + y[0]*y[1] 叉积 α×β= = x[0]*y[1] – x[1]*y[0] 线段相交 基本问题：判断二维平面上的两条线段是否相交 输入：四个点，分别表示第一条线段的两个端点和第二条线段的两个端点。 输出：YES/NO（表示相交与否） 很多题目需要先判断是否相交，再求出交点 向量及其运算 规范相交和非规范相交 p1 p2 p3 p4 规范相交 解析几何的解法及其弊端 直线方程联立求解 斜截式，点斜式 斜率不存在的情况 一般参数方程 必须判断解的情况 无解，无穷多解，唯一解 弊端 浮点误差—使用了浮点除法 运算量大 规范相交 计算几何的解法 思路：相交?异侧?左右 判断相交 ? 判断点在向量异侧： 线段规范相交 两条线段恰有一个不是端点的公共点 每条线段两个端点都在另一条线段所 在直线异侧 p1 p2 p3 p4 规范相交--计算几何的解法 判断点在向量异侧 ? 判断两个向量左右手螺旋 左侧 逆时针旋转 右手螺旋 右侧 顺时针旋转 左手螺旋 p2 p3 p4 p1 规范相交--计算几何的解法 如何判断左右螺旋—使用叉积 设 则 p2 p p p1 右手螺旋，点在向量的左侧 左手螺旋，点在向量的右侧 两个向量共线（三点共线） 规范相交--计算几何的解法 跨立实验 规范相交 p3和p4在的 异侧 且 p1和p2在 的异侧 且 p2 p3 p