Abstract
We study the following set membership problem in the bit probe model: given a set S from a finite universe U, represent it in memory so that membership queries of the form “Is x in S?” can be answered with a small number of bitprobes. We obtain explicit schemes that come close to the information theoretic lower bound of Buhrman et al. [STOC 2000, SICOMP 2002] and improve the results of Radhakrishnan et al. [ESA 2001] when the size of sets and the number of probes is small.
We show that any scheme that stores sets of size two from a universe of size m and answers membership queries using two bitprobes requires space Ω(m 4/7). The previous best lower bound (shown by Buhrman et al. using information theoretic arguments) was \(\Omega(\sqrt{m})\). The same lower bound applies for larger sets using standard padding arguments. This is the first instance where the information theoretic lower bound is found to be not tight for adaptive schemes.
We show that any non-adaptive three probe scheme for storing sets of size two from a universe of size m requires \(\Omega(\sqrt{m})\) bits of memory. This extends a result of Alon and Feige [SODA 2009] to small sets.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alon, N., Feige, U.: On the power of two, three and four probes. In: Proc. Symposium on Discrete Algorithms 2009, pp. 346–354 (2009)
Buhrman, H., Miltersen, P.B., Radhakrishnan, J., Venkatesh, S.: Are bitvectors optimal?. In: Proc. Symposium on Theory of Computing 2000, pp. 449–458 (2000); SIAM J. Computing 31, 1723–1744 (2002)
Radhakrishnan, J., Raman, V., Rao, S.S.: Explicit Deterministic Constructions for Membership in the Bitprobe Model. In: Proc. European Symposium on Algorithms 2001, pp. 290–299 (2001)
Ta-Shma, A.: Storing Information with Extractors. Information Processing Letters 83, 267–274 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radhakrishnan, J., Shah, S., Shannigrahi, S. (2010). Data Structures for Storing Small Sets in the Bitprobe Model. In: de Berg, M., Meyer, U. (eds) Algorithms – ESA 2010. ESA 2010. Lecture Notes in Computer Science, vol 6347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15781-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-15781-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15780-6
Online ISBN: 978-3-642-15781-3
eBook Packages: Computer ScienceComputer Science (R0)