# Semi-Group Range Sum Revisited: Query-Space Lower Bound Tightened

Article

First Online:

- 135 Downloads

## Abstract

Let \(\mathcal {D}\) be a set of

*n*elements \(e_1,\ldots , e_n\) drawn from a commutative semigroup. Given two integers*x*,*y*satisfying \(1 \le x \le y \le n\), a*range sum query*returns the sum of the \(y-x+1\) elements \(e_x\), \(e_{x+1}\),..., \(e_y\). The goal of indexing is to store \(\mathcal {D}\) in a data structure so that all such queries can be answered efficiently in the worst case. This paper proves a new lower bound in the semigroup model on the tradeoff between space and query time for the above problem. We show that, if the query time needs to be at most an integer*t*, a structure must use space. The bound is asymptotically tight for*every*\(t \ge 2\), and is matched by an existing structure. Previously, the best lower bounds either had a substantially smaller non-linear factor (Yao in Space-time tradeoff for answering range queries (extended abstract). In: STOC, pp. 128–136, 1982), or were tight only for constant*t*(Alon and Schieber in Optimal preprocessing for answering on-line product queries. Technical Report TR 71/87, Tel-Aviv University, 1987). Our lower bound is asymptotically tight*bidirectionally*, namely, it also answers the following question: if the space needs to be bounded by an integer*m*, what is the best query time achievable? The techniques behind our lower bound are drastically different from those of Yao (Space-time tradeoff for answering range queries (extended abstract). In: STOC, pp. 128–136, 1982) and Alon and Schieber (Optimal preprocessing for answering on-line product queries. Technical Report TR 71/87, Tel-Aviv University, 1987), and reveal new insight on the characteristics of the problem.## Keywords

Range sum queries Semi-group Lower bound Length decomposition property## Notes

### Acknowledgements

Shuigeng Zhou was supported by the Key Projects of Fundamental Research Program of Shanghai Municipal Commission of Science and Technology under grant No. 14JC1400300.

## References

- 1.Alon, N., Schieber, B.: Optimal preprocessing for answeringon-line product queries. Technical Report TR 71/87, Tel-AvivUniversity (1987)Google Scholar
- 2.Arya, S., Mount, D.M., Xia, J.: Tight lower bounds for halfspace range searching. Discrete Comput. Geom.
**47**(4), 711–730 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 3.Chan, T.M.: Optimal partition trees. Discrete Comput. Geom.
**47**(4), 661–690 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Chazelle, B.: Lower bounds for orthogonal range searching II. The arithmetic model. JACM
**37**(3), 439–463 (1990)MathSciNetCrossRefzbMATHGoogle Scholar - 5.Fredman, M.L.: A lower bound on the complexity of orthogonal range queries. JACM
**28**(4), 696–705 (1981)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Hampapuram, H., Fredman, M.L.: Optimal biweighted binary trees and the complexity of maintaining partial sums. SIAM J. Comput.
**28**(1), 1–9 (1998)MathSciNetCrossRefzbMATHGoogle Scholar - 7.Larsen, K.G.: On range searching in the group model and combinatorial discrepancy. SIAM J. Comput.
**43**(2), 673–686 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 8.Larsen, K.G.: The cell probe complexity of dynamic range counting. In: Proceedings of ACM Symposium on Theory of Computing, pp. 85–94 (2012)Google Scholar
- 9.Matousek, J.: Range searching with efficient hiearchical cutting. Discrete Comput. Geom.
**10**, 157–182 (1993)MathSciNetCrossRefzbMATHGoogle Scholar - 10.Patrascu, M.: Lower bounds for 2-dimensional range counting. In: Proceedings of ACM Symposium on Theory of Computing, pp. 40–46 (2007)Google Scholar
- 11.Yao, A.C.-C.: Space-time tradeoff for answering range queries (extended abstract). In: Proceedings of ACM Symposium on Theory of Computing, pp. 128–136 (1982)Google Scholar

## Copyright information

© Springer Science+Business Media New York 2017