Voronoui Diagrams in $L_1 (L_\infty )$ Metrics with 2-Dimensional Storage Applications
- 1 February 1980
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 9 (1) , 200-211
- https://doi.org/10.1137/0209017
Abstract
In this paper we study the problem of scheduling the read/write head movement to handle a batch of n UO requests in a 2-dimensional secondary storage device in minimum time. Two models of storage systems are assumed in which the access time of a record (being proportional to the "distance" between the position of the record and that of the read/write head) is measured in terms of L1 and Lo metrics, respectively. The scheduling problem, referred to as the Open Path Problem (OPP), is equivalent to finding a shortest Hamiltonian path with a specified end point in a complete graph with n vertices. We first show in this paper that there exists a natural isometry between the L1 and Loo metrics. Consequently, the existence of a polynomial time algorithm for the OPP in one metric implies the existence of a polynomial time algorithm for the same problem in the other metric. Based on a result by Garey, Graham and Johnson, it is easy to show that the OPP in L1 (hence in L) metric is NP-complete. A heuristic to solve the OPP is therefore presented. It is based on a geometric structure called the Voronoi diagram in L metric. An optimal (worst-case) algorithm of time complexity O(n log nkfor constructing the diagram for a set of n points in a plane is described. Using this diagram one can build a near-optimal path through each point either by constructing a minimum spanning tree or by the closest insertion method. Both algorithms are shown to take O(n log n) time which is the time for the construction of the diagram and yield an approximate solution within a factor of 2. The bound is also shown to be tight in the worse case. For the average case, simulation results show that the minimum spanning tree approach is better than the closest insertion method. As expected, they are far better than the sequential one in which the request is processed one at a time on the first-come-first-served basisKeywords
This publication has 12 references indexed in Scilit:
- An Analysis of Several Heuristics for the Traveling Salesman ProblemSIAM Journal on Computing, 1977
- The Rectilinear Steiner Tree Problem is $NP$-CompleteSIAM Journal on Applied Mathematics, 1977
- Average Distances in $l_p$ DisksSIAM Review, 1977
- Rectilinear steiner trees: Efficient special-case algorithmsNetworks, 1977
- Batched searching of sequential and tree structured filesACM Transactions on Database Systems, 1976
- Closest-point problemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1975
- An 0(|E|loglog|V|) algorithm for finding minimum spanning treesInformation Processing Letters, 1975
- Near-Optimal Solutions to a 2-Dimensional Placement ProblemSIAM Journal on Computing, 1975
- On the Computational Complexity of Combinatorial ProblemsNetworks, 1975
- Reducibility among Combinatorial ProblemsPublished by Springer Nature ,1972