高维空间下的Manhattan网络问题研究-FDUROP-复旦大学.doc

高维空间下的Manhattan网络问题研究 计算机科学技术学院 郭泽宇 指导教师 孙贺 摘要：本文研究了最小Manhattan网络问题在3维情况下的近似算法，以及高维情况下的不可近似性。对于固定的正整数k以及k-分层的输入点集T，本文给出了多项式时间2k-近似算法。此外，本文证明了当d=Ω(n)时，d维欧式空间Rd中以及d维布尔超立方体{0,1}d中的最小Manhattan网络问题是MAX SNP-难解的。 关键词：近似算法 不可近似性 计算几何 Abstract: We study the approximation algorithms of the minimum Manhattan network problem in three dimensions, and its inapproximability in high dimensions. For a fixed positive integer k and the k-layered input point set T, we give a polynomial-time 2k-approximation algorithm. In addition, we show that when d=Ω(n) holds, the minimum Manhattan network problem becomes MAX SNP-hard in both the d-dimensional Euclidean space Rd and the Boolean hypercube {0,1}d. Keywords: Approximation algorithm, hardness of approximation, computational geometry 引言 由于在城市规划、网络路由、分布式计算、大规模集成电路设计以及计算生物学[16]等众多领域的应用，J. Gudmundsson等人在文献[12]中首先提出了最小Manhattan网络(MMN)问题。该问题的描述为：对于R2中给定的若干个点，设计出由直线段构成的网络，使得任意两点间存在Manhattan路径（即由直线段构成且长度最短的路径），并在满足此条件的前提下使得网络总长度达到最短。 由于两点间Manhattan路径的长度同时也是L1范数下两点间的距离，可以看出：最小Manhattan网络问题等价于求L1范数下最小1-spanner的问题。更一般的t-spanner问题参见[9]。 在文献[12]中，作者提出了如下的三个重要问题：(1) 最小Manhattan网络问题是否是NP-难解的；(2) 是否存在该问题的PTAS近似方案；(3) 是否存在该问题的2-近似算法。同时，作者提出了一个时间复杂度为O(n3)的4-近似算法和一个时间复杂度为O(nlogn)的8-近似算法。此后，研究者们提出了一系列具有更优近似度和更低时间复杂度的近似算法[3,4,6,10,15,19,22,23]，其中[15,23]的证明是有缺陷的。本文作者也提出了基于动态规划的时间复杂度为O(n2)的2-近似算法[13]和基于贪心策略的时间复杂度为O(nlogn)的2-近似算法[14]，后者在近似度和时间复杂度上都达到了???知的最优。此外，文献[5]考虑了更一般的赋范平面(normed plane)上的情况，并得到了2.5-近似算法。 在复杂性方面，文献[8]证明了3维情况下加了所谓传递性限制条件的最小Manhattan网络问题是强NP-难解的。本文作者则证明了最小Manhattan网络问题即便在2维情况下也是强NP-难解的[7]，由此可直接得到文献[8]的结论。 另一方面，对于高于2维的最小Manhattan网络问题，已知的近似性或不可近似性结果还比较少。文献[17]证明了3维情况下是APX-难解的。而文献[11]则指出Rd中的输入点集存在着结点和边的数量为O(nlogd-1n)的Manhattan网络，并且这一结果是紧的。 本文对于固定的整数k，给出了k-分层图的2k-近似算法。并且，本文证明了O(n) 维的最小Manhattan网络问题是MAX SNP-难解的。 1. 问题定义 设输入为Rd中的n个点，其中d=d(n)为空间的维数。对于Rd中的任意两个点p=(p1, p2, …, pd), q=(q1, q2, …, qd)，记dist(p,q)=|p1-q1|+|p2-q2|+…+|pd-qd|，并称之为p, q间的Manhattan距离。对于连接p, q的一条路径，若其中的每一条线段都与某条坐标轴平行，则称该路径为p, q间的直进路径(rectilinear path)。若p, q间的某条直进路径的长度等于p, q间的