第三次递归与分治.pptVIP

习题 在应用中，常用诸如点、圆等简单的几何对象代表现实世界中的实体。在涉 象的问题中，常需要了解其邻域中其他几何对象的信息。例如，在空中交通控制p 机作为空间中移动的一个点来看待，则具有最大碰撞危险的2架飞机，就是这个 的一对点。这类问题是计算几何学中研究的基本问题之一。下面我们着重考虑平 点对问题。 最接近点对问题的提法是：给定平面上个点，找其中的一对点，使得在，2 对中，该点对的距离最小。 严格地说，最接近点对可能多于l对。为了简单起见，这里只限于找其中的— 很容易理解，似乎也不难解决。我们只要将每一点与其他，2—1个点的距离算出， 距离的两个点即可。然而，这样做效率太低，需要O(’)的计算时间。稍后在第九 看到，该问题的计算时间下界为n1ogn。这个下界引导我们去找问题的一个‘ 很自然地我们会想到用分治法来解这个问题。也就是说，将所给的平面上，2个点 2个子集s1和S2：，每个子集中约有n/2个点，然后在每个子集中递归地求其最接进 里，一个关键的问题是如何实现分治法中的合并步骤，即由s1和S2的最接近点对 集合S中的最接近点对。如果组成5的最接近点对的2个点都在J1中或都在S2 易解决。但是，如果这2个点分别在s1和S2，中，则仍需做n2／4次计算和比较才p1s1的最近点对和s1的最近点对中距离较小的一对点。若第三种情况下的最近点对比d ，j每一个点距垂线的距离必小于d，这样，就可以淘汰那些距垂线距离d的点。图14-15 宣线是分割线。阴影部分以分割线为中线，宽为2d。边界线及其以外的点均被淘汰掉， 3影中的点被保留下来，以便确定是否存在第三类点对(对应于第三种情况)，其距离小 p1,p2分别表示s1和s2中剩下的点。如果存在点对(p，q)，pEs1，qEs2，g的距离小于6， 巳。Q(尺旷可以通过每次检查及+中一个点来寻找这样的点对。假设考察p1中p点，p 标为py，那么只需检查s2中满足p．y—dq．yq．y十d的q点，看是否存在与p间距小于d 在图14—16a中给出了包含这种q点的s2范围。因此，只需将s2中位于dX 2d阴影内的 ·与p配对，以判p是否是距离小于d的第三类点。这个dX2d区域被称为是p的比较区) 例14-9 考察例14—8中的14个点。A中的最近点对为(b,h)，其距离约为0．316。B中 f,j)，其距离为0．3，因此d=0．3。当考察 是否存在第三类点时，除d,g,i,l,m 以外 的点均被淘汰，因为它们距分割线x=1的 距离》d。p1={d，i,m}，p2={g，l)， 由 于d和m的比较区中没有点，只需考察z， 即可。i的比较区中仅含点l。计算i和l的距离，发现它小于d，因此(i,l)是最近 的点对。 为了确定一个距离更小的第三类点， p1中的每个点最多只需和p2中的6个点比 上一张的例子，而分查找的地柜司法就是一个典型的分治策略的运用。 1) n较小时直接求 (n=2). 2) 将S上的n个点分成大致相等的2个子集S1和S2 3) 分别求S1和S2中的最接近点对 4) 求一点在S1、另一点在S2中的最近点对 5) 从上述三对点中找距离最近的一对. [问题描述]给定平面S上n个点,找其中的一对点,使得在 n(n-1)/2 个点对中, 该点对的距离最小。 2.8、最接近点对问题 算法设计与分析 递归与分治 [算法思路] ? ? ? ? ? ? ? ? ? p1 p2 ? ? ? ? l 算法设计与分析 递归与分治 设 d1,d2分别为s1,s2中最近点对的距离, d=min{d1,d2}, 设p1,p2分别为分割线l左右宽为d的垂直长条区域,若第 三个最近点对d 必在p1和p2中。对?p?p1, 检查p2中 满足p.y-dq.yp.y+d 的点q, 看是否q与p的距离小于d. ? ? ? p ? 2d 2d ? ? ? ? ? ? p的比较区,最多含6个点 分析: T(n)= O(1) T(n)= 2T(n/2)+O(n) 得: T(n)=O(nlogn) 算法设计与分析 递归与分治 最接近点对问题 图中14个点(d,m ?s1,g?s2),s1中的最近点对为 (b,h), 其距离为0.316. s2中最近点对(f, j), 其距离为0.3, 故d=0.3.考察是否存在第三类点，p1={d, i, m}，p2={g, l),i的比较区中仅含点l, i和l 的距离小于d，因此(i,l)是最近的点对。 算法设计与分析 递归与分治 2-9