Geometric Applications of a Matrix Searching Algorithm

LetA be a matrix with real entries and letj(i) be the index of the leftmost column containing the maximum value in rowi ofA.A is said to bemonotone ifi1 >i2 implies thatj(i1) ≥J(i2).A istotally monotone if all of its submatrices are monotone. We show that finding the maximum entry in each row of an arbitraryn xm monotone matrix requires Θ(m logn) time, whereas if the matrix is totally monotone the time is Θ(m) whenm≥n and is Θ(m(1 + log(n/m))) whenm<n. The problem of finding the maximum value within each row of a totally monotone matrix arises in several geometric algorithms such as the all-farthest-neighbors problem for the vertices of a convex polygon. Previously only the property of monotonicity, not total monotonicity, had been used within these algorithms. We use the Θ(m) bound on finding the maxima of wide totally monotone matrices to speed up these algorithms by a factor of logn.

[1]  Martin Tompa An Optimal Solution to a Wire-Routing Problem , 1981, J. Comput. Syst. Sci..

[2]  Alok Aggarwal,et al.  Fast Computation of the Modality of Polygons , 1986, J. Algorithms.

[3]  Jan van Leeuwen,et al.  Maintenance of Configurations in the Plane , 1981, J. Comput. Syst. Sci..

[4]  D. T. Lee,et al.  The All Nearest-Neighbor Problem for Convex Polygons , 1978, Inf. Process. Lett..

[5]  David P. Dobkin,et al.  Finding Extremal Polygons , 1985, SIAM J. Comput..

[6]  Godfried T. Toussaint The symmetric all-furthest- neighbor problem , 1983 .

[7]  Godfried T. Toussaint,et al.  On the multimodality of distances in convex polygons , 1982 .

[8]  Alan Siegel,et al.  Optimal wiring between rectangles , 1981, STOC '81.

[9]  Alan Siegel,et al.  The Separation for General Single-Layer Wiring Barriers , 1981 .

[10]  Michael Ian Shamos,et al.  Closest-point problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[11]  Michael Ian Shamos,et al.  Geometric complexity , 1975, STOC.

[12]  Bernard Chazelle,et al.  Computing the Largest Empty Rectangle , 1986, SIAM J. Comput..