We close the gaps between known lower and upper bounds for the online partial-sums problem in the RAM and group models of computation. If elements are chosen from an abstract group, we prove an (lg n) lower bound on the number of algebraic operations that must be performed, matching a well-known upper bound. In the RAM model with b-bit memory registers, we consider the well-studied case when the elements of the array can be changed additively by -bit integers. We give a RAM algorithm that achieves a running time of (1 + lg n/ lg(b/)) and prove a matching lower bound in the cell-probe model. Our lower bound is for the amortized complexity, and makes minimal assumptions about the relations between n, b, and . The best previous lower bound was (lg n/(lg lg n+lg b)), and the best previous upper bound matched only in the special case b = (lg n) and = O(lg lg n).
Mihai Patrascu, Erik D. Demaine