计算几何大试验报告-邓俊辉.pdfVIP

计算几何大实验报告 多边形内部点集可见图的计算 Computing the Visibility Graph of Points Within a Polygon 指导教师： 邓俊辉 参与学生： 贾云涛 2004211034 杨永亮 2004310471 张弛 2004211045 1．Introduction ：【问题介绍】 可见图 （visibility graph ）是一个基本的几何结构，有着广泛的应用，包括照明 （illumination ） 和渲染（rendering ），运动计划（motion planning ），模式识别（pattern recognition ）和神经原网络（sensor network ）。 定义Q 为一个由n 个顶点组成的多边形，定义P = {s1,...,sm }为Q 内部的m 个点（定点）；P 中的 点可以位于Q 的边界上或者在Q 的内部。P 相对于Q 的可见图表示为VGQ(P)，定义为一个以P 为顶 点以P 内相对Q 可见的点之间的连线为边的图。所谓P 内相对Q 可见的点指两点之间的连线位于Q 的内部。我们的主要问题是如何快速有效的计算VGQ(P) 。 关于可见图（visibility graph ），已经有了很多的研究。以前最优的结果为计算Q 内所有定点的可 见图 （P = V(Q) ）：如果Q 为简单多边形，时间复杂度为O(n+k) ；如果Q 包括空洞，时间复杂度为 O(nlogn+k)，k 为输出的大小。在我们参考的最新的研究中，P 不特定为Q 的顶点，Mitchell 04[ 1]提 出了一种输出相关的算法：如果Q 是一个简单多边形，时间复杂度近似与输入大小(m+n)和输出大小 k 成线性。 在Mitchell 04[ 1]的研究中还提出了一种强可见图 （robust visibility graph ）的概念，描述相对于p 几乎可见的点 q 有可能不会被一个站在p 点的摄像机捕捉到的情况，这依赖与摄像机的分辨率。为 了使得q 点相对于p 点鲁棒可见（robustly visible ），我们要求无论q 点在一个半径为r 的圆域（disk ） Br(q)如何移动，同时保证在Q 内部，都要相对于p 点可见。圆域的半径与p 、q 的距离相关，依赖与 参数，其中定义为圆域相对于p 点的的角度。 另外在很多实际的应用中，可见性往往都会受到距离的约束，在 Mitchell 04[ 1]的研究中也提到 了一个受距离约束的可见图 （distance-restrict visibility graph ）的求解算法，复杂度与输出相关。 2 ．Preliminaries ：【问题定义】 2 Q 为平面上的一个n 顶点的多边形，比如： 是一个R 的连通子集，其边界为 且由n 条直 Q Q Q Q Q Q 线段组成。我们考虑 为平面上的一个闭区域（即 包括它的边界 ）并假设 的内部是连通的。 Q 我们用h 表示 内部的连通域 （hole ）的个数；这样 包括h ＋1 段封闭边界。当h 为0 里 是一 Q Q 个简单多边形。 P Q Q P p ,q Q 我们用 表示 内部的m 个点。定义点集 为定点集。对于其中任意两点，