We propose a novel relay augmentation strategy for extending the lifetime of a certain class of wireless sensor networks. In this class sensors are located at fixed and pre-determined positions and all communication takes place via multi-hop paths in a fixed routing tree rooted at the base station. It is assumed that no accumulation of data takes place along the communication paths and that there is no restriction on where additional relays may be located. Under these assumptions the optimal extension of network lifetime is modelled as the Euclidean @math -bottleneck Steiner tree problem. Only two approximation algorithms for this NP-hard problem exist in the literature: a minimum spanning tree heuristic (MSTH) with performance ratio 2, and a probabilistic 3-regular hypergraph heuristic (3RHH) with performance ratio @math . We present a new iterative heuristic that incorporates MSTH and show via simulation that our algorithm performs better than MSTH in extending lifetime, and outperforms 3RHH in terms of efficiency.
As mentioned above, here we model optimal lifetime extension as a @math -bottleneck Steiner problem. This problem was introduced by Saraffzedeh and Wong @cite_11 , and various authors have considered it in the context of facility location science @cite_26 , @cite_23 . The problem is NP-hard; in fact, unless P=NP, no polynomial-time algorithm exists for the problem in the Euclidean plane with a less than @math , where this ratio is defined as the theoretically largest possible value attained when dividing the length of the bottleneck edge produced by a given polynomial-time algorithm by the length of the bottleneck edge in an optimal solution . Wang and Du, the authors who demonstrated this complexity bound, present in @cite_24 the first deterministic approximation algorithm for the @math -bottleneck problem in both the rectilinear and Euclidean planes. They also prove that the performance ratio of their algorithm, the afore-mentioned minimum spanning tree heuristic, is bounded above by @math for each of these metrics. @cite_2 describe a probabilistic @math -regular hypergraph heuristic ( @math RHH) with performance ratio @math which runs in @math time, where @math is the number of given terminals. Recently @cite_22 , @cite_5 developed exact algorithms with exponential complexity.
@cite_26 @cite_22 @cite_24 @cite_23 @cite_2 @cite_5 @cite_11
2144383545 2073061830 2949832116 2151239055
Given n points, called terminals, in the plane ℝ2 and a positive integer k, the bottleneck Steiner tree problem is to find k Steiner points from ℝ2 and a spanning tree on the n+k points that minimizes its longest edge length. Edge length is measured by an underlying distance function on ℝ2, usually, the Euclidean or the L 1 metric. This problem is known to be NP-hard. In this paper, we study this problem in the L p metric for any 1≤p≤∞, and aim to find an exact algorithm which is efficient for small fixed k. We present the first fixed-parameter tractable algorithm running in f(k)⋅nlog 2 n time for the L 1 and the L ∞ metrics, and the first exact algorithm for the L p metric for any fixed rational p with 1<p<∞ whose time complexity is f(k)⋅(n k +nlog n), where f(k) is a function dependent only on k. Note that prior to this paper there was no known exact algorithm even for the L 2 metric. We study the Euclidean bottleneck Steiner tree problem: given a set P of n points in the Euclidean plane and a positive integer k, find a Steiner tree with at most k Steiner points such that the length of the longest edge in the tree is minimized. This problem is known to be NP-hard even to approximate within ratio 2 and there was no known exact algorithm even for k=1 prior to this work. In this paper, we focus on finding exact solutions to the problem for a small constant k. Based on geometric properties of optimal location of Steiner points, we present an optimal @Q(nlogn)-time exact algorithm for k=1 and an O(n^2)-time algorithm for k=2. Also, we present an optimal @Q(nlogn)-time exact algorithm for any constant k for a special case where there is no edge between Steiner points. In this paper we study the Steiner tree problem over a dynamic set of terminals. We consider the model where we are given an @math -vertex graph @math with positive real edge weights, and our goal is to maintain a tree which is a good approximation of the minimum Steiner tree spanning a terminal set @math , which changes over time. The changes applied to the terminal set are either terminal additions (incremental scenario), terminal removals (decremental scenario), or both (fully dynamic scenario). Our task here is twofold. We want to support updates in sublinear @math time, and keep the approximation factor of the algorithm as small as possible. We show that we can maintain a @math -approximate Steiner tree of a general graph in @math time per terminal addition or removal. Here, @math denotes the stretch of the metric induced by @math . For planar graphs we achieve the same running time and the approximation ratio of @math . Moreover, we show faster algorithms for incremental and decremental scenarios. Finally, we show that if we allow higher approximation ratio, even more efficient algorithms are possible. In particular we show a polylogarithmic time @math -approximate algorithm for planar graphs. One of the main building blocks of our algorithms are dynamic distance oracles for vertex-labeled graphs, which are of independent interest. We also improve and use the online algorithms for the Steiner tree problem. Given an arc-weighted directed graph G = (V, A, spl lscr ) and a pair of nodes s, t, we seek to find an s-t walk of length at most B that maximizes some given function f of the set of nodes visited by the walk. The simplest case is when we seek to maximize the number of nodes visited: this is called the orienteering problem. Our main result is a quasi-polynomial time algorithm that yields an O(log OPT) approximation for this problem when f is a given submodular set function. We then extend it to the case when a node v is counted as visited only if the walk reaches v in its time window [R(v), D(v)]. We apply the algorithm to obtain several new results. First, we obtain an O(log OPT) approximation for a generalization of the orienteering problem in which the profit for visiting each node may vary arbitrarily with time. This captures the time window problem considered earlier for which, even in undirected graphs, the best approximation ratio known [Bansal, (2004)] is O(log sup 2 OPT). The second application is an O(log sup 2 k) approximation for the k-TSP problem in directed graphs (satisfying asymmetric triangle inequality). This is the first non-trivial approximation algorithm for this problem. The third application is an O(log sup 2 k) approximation (in quasi-poly time) for the group Steiner problem in undirected graphs where k is the number of groups. This improves earlier ratios (Garg, ) by a logarithmic factor and almost matches the inapproximability threshold on trees (Halperin and Krauthgamer, 2003). This connection to group Steiner trees also enables us to prove that the problem we consider is hard to approximate to a ratio better than spl Omega (log sup 1- spl epsi OPT), even in undirected graphs. Even though our algorithm runs in quasi-poly time, we believe that the implications for the approximability of several basic optimization problems are interesting.