Advertisement

Algorithmica

, Volume 80, Issue 4, pp 1315–1329 | Cite as

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

  • Xiaocheng Hu
  • Yufei TaoEmail author
  • Yi Yang
  • Shuigeng Zhou
Article
  • 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 xy 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. 1.
    Alon, N., Schieber, B.: Optimal preprocessing for answeringon-line product queries. Technical Report TR 71/87, Tel-AvivUniversity (1987)Google Scholar
  2. 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. 3.
    Chan, T.M.: Optimal partition trees. Discrete Comput. Geom. 47(4), 661–690 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Chazelle, B.: Lower bounds for orthogonal range searching II. The arithmetic model. JACM 37(3), 439–463 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Fredman, M.L.: A lower bound on the complexity of orthogonal range queries. JACM 28(4), 696–705 (1981)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 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. 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. 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. 9.
    Matousek, J.: Range searching with efficient hiearchical cutting. Discrete Comput. Geom. 10, 157–182 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 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. 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

Authors and Affiliations

  • Xiaocheng Hu
    • 1
  • Yufei Tao
    • 1
    Email author
  • Yi Yang
    • 2
  • Shuigeng Zhou
    • 2
  1. 1.Chinese University of Hong KongSha TinHong Kong
  2. 2.Fudan UniversityShanghaiChina

Personalised recommendations