高维空间下Manhattan网络问题与研究.docVIP

高维空间下的Manhattan网络问题研究 计算机科学技术学院 郭泽宇 指导教师 孙贺 摘要：本文研究了最小Manhattan网络问题在3维情况下的近似算法，以及高维情况下的不可近似性。对于固定的正整数k以及k-分层的输入点集T，本文给出了多项式时间2k-近似算法。此外，本文证明了当d=Ω(n)时，d维欧式空间Rd中以及d维布尔超立方体{0,1}d中的最小Manhattan网络问题是MAX SNP-难解的。Ω(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 引言 由于在城市规划网络路由分布式计算大规模集成电路设计以及计算生物学[1]等众多领域的应用，J. Gudmundsson等人在文献[12]中首先提出了最小Manhattan网络(MMN)问题。该问题的描述为：对于R2中给定的若干个点，设计出由直线段构成的网络，使得任意两点间存在Manhattan路径（即由直线段构成且长度最短的路径），并在满足此条件的前提下使得网络总长度达到最短。 由于两点间Manhattan路径的长度同时也是L1范数下两点间的距离，可以看出最小Manhattan网络问题等价于求L1范数下最小1-spanner的问题。更一般的t-spanner问题参见[9]。 在文献[1]中，作者提出了如下的三个重要问题：(1) 最小Manhattan网络问题是否是NP-难解的；(2) 是否存在该问题的PTAS近似方案；(3) 是否存在该问题的2-近似算法。同时，作者提出了一个时间复杂度为O(n3)的4-近似算法和一个时间复杂度为O(nlogn)的8-近似算法。此后，研究者们提出了一系列具有更优近似度和更低时间复杂度的近似算法[3,4,6,,15,19,22,23]，其中[15,23]的证明是有缺陷的。本文作者也提出了基于动态规划的时间复杂度为O(n2)的2-近似算法[1]和基于贪心策略的时间复杂度为O(nlogn)的2-近似算法[14]，后者在近似度和时间复杂度上都达到了已知的最优。此外，文献[5]考虑了更一般的赋范平面上的情况，并得到了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-难解的。 设输入为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间的Manhattan距离，则称该路径为p, q间的一条Manhattan路径。 设T为包含有限个点的点集，并设N=(V, E)为一个网络。若对于T中任意不同的两个点p, q，网络N中包含p, q间的一条Manhattan路径，则称N为T上的Manhattan网络，其所含线段的总长度记为L(N)。图1给出了平面上给定点集的最小Manhattan网络的一个例子。若N的线段总长度L(N)在T上的所有Manhattan网络中最小，则称N为T的最小Manhattan网络。对于Rd中的n个点所构成的集合T，计算T的一个最小Manhattan网络，这一问题称为d维最小Manhattan网络问题。 2. k-分层的实例的2k-近似算法 对输入的点集T?R3，若存在正整数k以及实数c, z1, z2, …, zk，其中zi=c·i，使得T中每个点