ALCOMFT-TR-01-53

Stephen Alstrup, Gerth Stølting Brodal and Theis Rauhe
Optimal Static Range Reporting in One Dimension
Århus. Work package 4. May 2001.

Abstract: We consider static one dimensional range searching problems. These problems are to build static data structures for an integer set S\subseteq U, where U = {0,1,...,2^w-1}, which support various queries for integer intervals of U. For the query of reporting all integers in S contained within a query interval, we present an optimal data structure with linear space cost and with query time linear in the number of integers reported. This result holds in the unit cost RAM model with word size w and a standard instruction set. We also present a linear space data structure for approximate range counting. A range counting query for an interval returns the number of integers in S contained within the interval. For any constant epsilon>0, our range counting data structure returns in constant time an approximate answer which is within a factor of at most 1+epsilon of the correct answer.

Postscript file: ALCOMFT-TR-01-53.ps.gz (182 kb).