The technique of matrix searching in totally monotone matrices and their generalizations is steadily finding ever more applications in a wide variety of areas of computer science, especially computational geometry and dynamic programming problems (see [AKMSW87], [AK87], [AP88], [AS87], [AS89], [EGG88], [KK88], [WSS]). Although an asymptotically optimal linear time algorithm is known for the most basic problem of finding row minima and maxima in totally monotone matrices [AKMSW87], for most of the generalizations of totally monotone matrices, only superlinear algorithms are known, though until now no superlinear lower bounds have been proved. This paper gives the first superlinear bound for matrix searching in two types of totally monotone partial matrices. We also give a matching upper bound for a subclass of one of them, though unfortunately the proof of the lower bound does not apply to this subclass. These types of matrices, which we refer to as v-matrices and h-matrices, respectively, were introduced by Aggarwal and Suri [AS891 who used them to find the farthest visible pair in a simple polygon. In addition, these matrix classes are natural extensions of staircase matrices which have applications in computational geometry and dynamic programming problems.
[1]
David Eppstein,et al.
Speeding up dynamic programming
,
1988,
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
[2]
Lawrence L. Larmore,et al.
The least weight subsequence problem
,
1987,
26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[3]
Daniel J. Kleitman,et al.
An Almost Linear Time Algorithm for Generalized Matrix Searching
,
1990,
SIAM J. Discret. Math..
[4]
Micha Sharir,et al.
Planar realizations of nonlinear davenport-schinzel sequences by segments
,
1988,
Discret. Comput. Geom..
[5]
Alok Aggarwal,et al.
Applications of generalized matrix searching to geometric algorithms
,
1990,
Discret. Appl. Math..
[6]
Alok Aggarwal,et al.
Geometric applications of a matrix-searching algorithm
,
1987,
SCG '86.
[7]
Alok Aggarwal,et al.
Fast algorithms for computing the largest empty rectangle
,
1987,
SCG '87.
[8]
Ady Wiernik,et al.
Planar realizations of nonlinear davenport-schinzel sequences by segments
,
1988,
27th Annual Symposium on Foundations of Computer Science (sfcs 1986).