第4章分治法答辩.pptVIP

如果S的最接近点对是{p3,q3}，即|p3-q3|d，则p3和q3两者与m的距离不超过d，即p3∈(m-d,m]，q3∈(m,m+d]。 由于在S1中，每个长度为d的半闭区间至多包含一个点（否则必有两点距离小于d），并且m是S1和S2的分割点，因此(m-d,m]中至多包含S中的一个点。由图可以看出，如果(m-d,m]中有S中的点，则此点就是S1中最大点。 因此，我们用线性时间就能找到区间(m-d,m]和(m,m+d]中所有点，即p3和q3。从而我们用线性时间就可以将S1的解和S2的解合并成为S的解。 能否在线性时间内找到p3,q3？ 分治法求解 选取一垂直线l: x=m来作为分割直线。其中m为S中各点x坐标的中位数，由此将S分割为S1和S2。 递归地在S1和S2上找出其最小距离d1和d2，并设d=min{d1,d2}，S中的最接近点对或者是d，或者是某个{p,q}，其中p∈P1且q∈P2。 l: x=m d d d2 d1 S1 S2 p q 最近对问题的分治思想 P1 P2 S1={p∈S | xp≤m} S2={q∈S | xq＞m} 考虑P1中任意一点p，它若与P2中的点q构成最接近点对的候选者，则必有distance(p, q)＜d。满足这个条件的P2中的点一定落在一个d×2d的矩形R中。 由d的意义可知，P2中任何2个S中的点的距离都不小于d。由此可以推出矩形R中最多只有6个S中的点。 因此，在分治法的合并步骤中最多只需要检查6×n/2=3n个候选者 l: x=m d d p P1 P2 2d R 证明:将矩形R的长为2d的边3等分，将它的长为d的边2等分，由此导出6个(d/2)×(2d/3)的矩形。若矩形R中有多于6个S中的点，则由鸽舍原理易知至少有一个(d/2)×(2d/3)的小矩形中有2个以上S中的点。设u，v是位于同一小矩形中的2个点，则 distance(u,v)d。这与d的意义相矛盾。 ——证明？ 为了确切地知道要检查哪6个点，可以将p和P2中所有S2的点投影到垂直线l上。由于能与p点一起构成最接近点对候选者的S2中点一定在矩形R中，所以它们在直线l上的投影点距p在l上投影点的距离小于d。由上面的分析可知，这种投影点最多只有6个。 因此，若将P1和P2中所有S中点按其y坐标排好序，则对P1中所有点，对排好序的点列作一次扫描，就可以找出所有最接近点对的候选者。对P1中每一点最多只要检查P2中排好序的相继6个点。 复杂度分析 T(n)=O(nlogn) 一般来说，分治法的求解过程由以下三个阶段组成： 划分：既然是分治，当然需要把规模为n的原问题划分为k个规模较小的子问题，并尽量使这k个子问题的规模大致相同。 求解子问题：各子问题的解法与原问题的解法通常是相同的，可以用递归的方法求解各个子问题，有时递归处理也可以用循环来实现。 合并：把各个子问题的解合并起来，合并的代价因情况不同有很大差异，分治算法的有效性很大程度上依赖于合并的实现。 4.5 分治法求解问题小结 课后作业 P74~P75：5~10 ，按学号完成相应的题目： 学号尾数mod6=1，完成10 学号尾数mod6=2，完成9 学号尾数mod6=3，完成8 学号尾数mod6=4，完成7 学号尾数mod6=5，完成6 学号尾数mod6=0，完成5 ⑾ ⑿ ⒀ ⒁ ⑹ ⑺ ⑻ ⑼ ⑽ ⑴ ⑵ ⑶ ⑷ ⑸ 5, 3, A, B, C 5, 2, A, C, B 5, 3, A, B, C 5, 1, A, B, C 5, 2, A, C, B 5, 3, A, B, C 5, 2, A, C, B 5, 3, A, B, C 7, 1, C, A, B 5, 2, A, C, B 5, 3, A, B, C 5, 2, A, C, B 5, 3, A, B, C 5, 3, A, B, C 7, 2, B, A, C 5, 3, A, B, C 5, 1, B, C, A 7, 2, B, A, C 5, 3, A, B, C 7, 2, B, A, C 5, 3,