Proving relative lower bounds for incremental algorithms

SummaryA general method that permits simple proofs of relative lower bounds for incremental update algorithms is presented. This method is applied to classify functions by relative lower bounds. We demonstrate our technique by bounding a number of incremental algorithms drawn from various domains. The method described expands upon work by Paull, Berman, and Cheng [PCB] and generalizes a result of Even and Gazit [EG]. Our results have interesting implications with respect to the optimality of an incremental algorithm previously developed by Ryder in [R, RP2]. Perhaps most importantly, the proof method and function classification suggest which types of problems are likely to yield good incremental algorithms (i.e., of lower complexity) and which cannot be improved by an incremental approach.

[1]  Michael L. Fredman,et al.  A Lower Bound on the Complexity of Orthogonal Range Queries , 1981, JACM.

[2]  Shimon Even,et al.  Updating distances in dynamic graphs , 1985 .

[3]  Michael L. Fredman The Spanning Bound as a Measure of Range Query Complexity , 1981, J. Algorithms.

[4]  Matthew S. Hecht,et al.  Flow Analysis of Computer Programs , 1977 .

[5]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[6]  Barbara G. Ryder,et al.  Elimination algorithms for data flow analysis , 1986, CSUR.

[7]  Dexter Kozen,et al.  The Design and Analysis of Algorithms , 1991, Texts and Monographs in Computer Science.

[8]  Michael G. Burke An interval-based approach to exhaustive and incremental interprocedural data-flow analysis , 1990, TOPL.

[9]  Greg N. Frederickson,et al.  Data Structures for On-Line Updating of Minimum Spanning Trees, with Applications , 1985, SIAM J. Comput..

[10]  Barbara G. Ryder,et al.  Incremental data-flow analysis algorithms , 1988, TOPL.

[11]  A. Michael Berman,et al.  Exploring the Structure of Incremental Algorithms , 1984 .

[12]  Robert E. Tarjan,et al.  Efficient algorithms for finding minimum spanning trees in undirected and directed graphs , 1986, Comb..

[13]  Michael L. Fredman,et al.  The Complexity of Maintaining an Array and Computing Its Partial Sums , 1982, JACM.

[14]  Barbara G. Ryder Incremental data flow analysis , 1983, POPL '83.

[15]  Michael L. Fredman,et al.  Lower Bounds on the Complexity of Some Optimal Data Structures , 1981, SIAM J. Comput..

[16]  Barbara G. Ryder,et al.  Incremental data flow analysis via dominator and attribute update , 1988, POPL '88.