pascal中级教程第四章分治.doc

第四章 分治 4.1取余运算4.2 地毯填补问题4.3 平面上的最接近点对}，或者是某个{p3, q3}，其中p3∈S1且q3∈S2。如图4-2所示： 图 4-2 一维情形的分治法 我们注意到，如果S的最接近点对是{p3, q3}，即|p3-q3|δ，则p3和q3两者与m的距离不超过δ，即|p3-m|δ，|q3-m|δ，也就是说，p3∈(m-δ, m)，q3∈(m, m+δ)。由于每个长度为δ的半闭区间至多包含S1中的一个点，并且m是S1和S2的分割点，因此(m-δ, m)中至多包含S中的一个点，则此点就是S1中的最大点。同理，如果(m-δ, m)中有S中的点，则此点就是S2