Suppose we are given a sequence ofn points in the Euclidean plane, and our objective is to construct, on-line, a connected graph that connects all of them, trying to minimize the total sum of lengths of its edges. The points appear one at a time, and at each step the on-line algorithm must construct a connected graph that contains all current points by connecting the new point to the previously constructed graph. This can be done by joining the new point (not necessarily by a straight line) to any point of the previous graph (not necessarily one of the given points). The performance of our algorithm is measured by its competitive ratio: the supremum, over all sequences of points, of the ratio between the total length of the graph constructed by our algorithm and the total length of the best Steiner tree that connects all the points. There are known on-line algorithms whose competitive ratio isO(logn) even for all metric spaces, but the only lower bound known is of [IW] for some contrived discrete metric space. Moreover, for the plane, on-line algorithms could have been more powerful and achieve a better competitive ratio, and no nontrivial lower bounds for the best possible competitive ratio were known. Here we prove an almost tight lower bound of Ω(logn/log logn) for the competitive ratio of any on-line algorithm. The lower bound holds for deterministic algorithms as well as for randomized ones, and obviously holds in any Euclidean space of dimension greater than 2 as well.
[1]
Andrew Chi-Chih Yao,et al.
Probabilistic computations: Toward a unified measure of complexity
,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2]
David S. Johnson,et al.
Computers and Intractability: A Guide to the Theory of NP-Completeness
,
1978
.
[3]
Robert E. Tarjan,et al.
Amortized efficiency of list update and paging rules
,
1985,
CACM.
[4]
Pawel Winter,et al.
Steiner problem in networks: A survey
,
1987,
Networks.
[5]
A. Meir.
A geometric problem involving the nearest neighbour algorithm
,
1987
.
[6]
Makoto Imase,et al.
Dynamic Steiner Tree Problem
,
1991,
SIAM J. Discret. Math..
[7]
Béla Bollobás,et al.
A travelling salesman problem in the k-dimensional unit cube
,
1992,
Oper. Res. Lett..