Abstract
We consider the problem of storing a single element from an m-element set as a binary string of optimal length, and comparing any queried string to the stored string without reading all bits. This is the one-element version of the problem of membership testing in the bit probe model, and solutions can serve as building blocks of general membership testers. Our principal contribution is the equivalence of saving probe bits with some generalized notion of domination in hypercubes. This domination variant requires that every vertex outside the dominating set belongs to a sub-hypercube, of fixed dimension, in which all other vertices belong to in the dominating set. This fixed dimension equals the number of saved probe bits. We give specific constructions showing that up to three probe bits can be ignored when m is far enough from the next larger power of 2. The main technical idea is to use low-dimensional (grid) relaxations of the problem. The design of optimal schemes remains an open problem, however one has to notice that even usual domination in hypercubes is far from being completely understood.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Argiroffo, G.R., Leoni, V., Torres, P.: On the complexity of k-domination and k-tuple domination in graphs. Info. Proc. Lett. 115, 556–561 (2015)
Arumugam, S., Kala, R.: Domination parameters of hypercubes. J. Indian Math. Soc. 65, 31–38 (1998)
Azarija, J., Henning, M.A., Klavzar, S.: (Total) domination in prisms. Electron. J. Combin. 24, paper 1.19 (2017)
Buhrman, H., Miltersen, P.B., Radhakrishnan, J., Venkatesh, S.: Are bitvectors optimal? SIAM J. Comput. 31, 1723–1744 (2002)
Carter, L., Floyd, R.W., Gill, J., Markowsky, G., Wegman, M.N.: Exact and approximate membership testers. In: Lipton, R.J., et al. (eds.) STOC 1978, pp. 59–65. ACM (1978)
Fan, B., Andersen, D.G., Kaminsky, M., Mitzenmacher, M.: Cuckoo filter: practically better than bloom. In: Seneviratne, A., et al. (eds.) CoNEXT 2014, pp. 75–88. ACM (2014)
Förster, K.T.: Approximating fault-tolerant domination in general graphs. In: Nebel, M.E., Szpankowski, W. (eds.) ANALCO 2013, pp. 25–32. SIAM (2013)
Garg, M., Radhakrishnan, J.: Set membership with a few bit probes. In: Indyk, P. (ed.) SODA 2015, pp. 776–784. ACM-SIAM (2015)
Garg, M., Radhakrishnan, J.: Set membership with non-adaptive bit probes. In: Vollmer, H., Vallée, B. (eds.) STACS 2017. LIPIcs, vol. 66, paper 38, Dagstuhl (2017)
Harary, F., Livingston, M.: Independent domination in hypercubes. Appl. Math. Lett. 6, 27–28 (1993)
Klasing, R., Laforest, C.: Hardness results and approximation algorithms of k-tuple domination in graphs. Info. Proc. Lett. 89, 75–83 (2004)
Klavzar, S., Ma, M.: The domination number of exchanged hypercubes. Info. Proc. Lett. 114, 159–162 (2014)
Lewenstein, M., Munro, J.I., Nicholson, P.K., Raman, V.: Improved explicit data structures in the Bitprobe model. In: Schulz, A.S., Wagner, D. (eds.) ESA 2014. LNCS, vol. 8737, pp. 630–641. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44777-2_52
Östergård, P.R.J., Blass, U.: On the size of optimal binary codes of length \(9\) and covering radius 1. IEEE Trans. Inform. Theory 47, 2556–2557 (2001)
Pagh, R.: On the cell probe complexity of membership and perfect hashing. In: Vitter, J.S., Spirakis, P.G., Yannakakis, M. (eds.) STOC 2001, pp. 425–432. ACM (2001)
Raman, R., Raman, V., Satti, S.R.: Succinct indexable dictionaries with applications encoding k-ary trees, prefix sums and multisets. ACM Trans. Algor. 3, paper 43 (2007)
van Wee, G.J.M.: Improved sphere bounds on the covering radius of codes. IEEE Trans. Inform. Theory 34, 237–245 (1988)
Acknowledgment
Special thanks go to the anonymous reviewer who pointed out additional references around Theorem 1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Damaschke, P. (2018). Saving Probe Bits by Cube Domination. In: Brandstädt, A., Köhler, E., Meer, K. (eds) Graph-Theoretic Concepts in Computer Science. WG 2018. Lecture Notes in Computer Science(), vol 11159. Springer, Cham. https://doi.org/10.1007/978-3-030-00256-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-00256-5_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00255-8
Online ISBN: 978-3-030-00256-5
eBook Packages: Computer ScienceComputer Science (R0)