We study the minimum Manhattan network problem, which is defined as follows. Given a set of points called terminals in R d , find a minimum-length network such that each pair of terminals is connected by a set of axis-parallel line segments whose total length is equal to the pair's Manhattan (that is, L1-) distance. The problem is NP-hard in 2D and there is no PTAS for 3D (unless P = N P). Approximation algorithms are known for 2D, but not for 3D. We present, for any fixed dimension d and any ε > 0, an O(n ε )-approximation algorithm. For 3D, we also give a 4(k − 1)-approximation algorithm for the case that the terminals are contained in the union of k ≥ 2 parallel planes. s s t t (a) an M-network for T = {s, s , t, t } s s t t (b) a minimum Mnetwork for T s s t t (c) a minimum Mnetwork in 3D t s t s (d) M-paths missing each other Fig. 1: Examples of M-networks in 2D and 3D. network problem (MMN) consists of finding, for a given set T of terminals, a minimum-weight M-network. For examples, see Fig. 1. M-networks have important applications in several areas such as VLSI layout and computational biology. For example, Lam et al. [12] used them in gene alignment in order to reduce the size of the search space of the Viterbi algorithm for pair hidden Markov models.
Previous workThe 2D-version of the problem, 2D-MMN, was introduced by Gudmundsson et al. [9]. They gave an 8-and a 4-approximation algorithm. Later, the approximation ratio was improved to 3 [3,8] and then to 2, which is currently the best possible. It was achieved in three different ways: via linear programming [5], using the primal-dual scheme [15] and with purely geometric arguments [10]. The last two algorithms run in O(n log n) time, given a set of n points in the plane. A ratio of 1.5 was claimed [16], but apparently the proof is incomplete [8]. Chin et al. [6] finally settled the complexity of 2D-MMN by proving it NP-hard.A little earlier, Muñoz et al.[14] considered 3D-MMN. They showed that the problem is NP-hard and that it is NP-hard to approximate beyond a factor of 1.00002. For the special case of 3D-MMN, where any cuboid spanned by two terminals contains other terminals or is a rectangle, they gave a 2α-approximation algorithm, where α denotes the best approximation ratio for 2D-MMN. They posed the design of approximation algorithms for general 3D-MMN as an open problem.
Related problemsAs we observe in Section 2.3, MMN is a special case of the directed Steiner forest problem (DSF). More precisely, an instance of MMN can be decomposed into a constant number of DSF instances. The input of DSF is an edge-weighted directed graph G and a set of vertex pairs. The goal is to find a minimum-cost subgraph of G (not necessarily a forest) that connects all given vertex pairs. Recently, Feldman et al. [7] reported, for any ε > 0, an O(n 4/5+ε )-approximation algorithm for DSF, where n is the number of vertices of the given graph. This bound carries over to dD-MMN.An important special case of DSF is the directed Steiner tree problem (DST). Here, the inpu...