kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Dynamic Filter and Retrieval with One Access to Modifiable Memory
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science.ORCID iD: 0000-0001-8430-2441
School of Electrical Engineering, Tel-Aviv University, Tel Aviv, Israel.
Department of Computer Science, Technion, Haifa, Israel.
School of Electrical Engineering, Tel-Aviv University, Tel Aviv, Israel.
2025 (English)In: Algorithms and Complexity - 14th International Conference, CIAC 2025, Proceedings, Springer Nature , 2025, Vol. 15679 LNCS, p. 292-309Conference paper, Published paper (Refereed)
Abstract [en]

We present two constant-time dynamic data-structures that support insertions, deletions, and queries with one-sided errors: a space-efficient dynamic (key-only) filter and a compact dynamic data-structure that combines retrieval and filtering (called a key-value filter). A one-sided error occurs when a query for a key not in the dataset is issued and the outcome is wrong, i.e., a “yes” in a filter or a non-null in the key-value filter. The response to a query with a key in the dataset always returns the correct answer, i.e., a “yes” in a filter and the correct value in a key-value filter. The probability of the one-sided error in our data-structures is Ω(1/poly(logn)), where n is the maximum cardinality of the dataset, and the probability space is over the random bits of the data-structure (i.e., random choice of hash function). The computational framework is the Word RAM model. We differentiate between accesses to non-modifiable memory (i.e., read-only memory that stores the program instructions, hash function seed or tables, etc.) and accesses to modifiable memory (i.e., read-write memory that stores the representation of the dataset). We are not aware of previous works that make this distinction in the context of data-structures. Our dynamic filter design requires only a single access to the modifiable memory per operation in the worst-case. We also present a dynamic key-value filter for values of O(loglogn) bits that requires 1+o(1) accesses to the modifiable memory per operation in expectation. Previous dynamic filter designs require, in the worst case, at least two accesses to modifiable memory for queries with keys not in the dataset. Previous dynamic retrieval data-structure designs always require two dictionary accesses for queries with keys not in the dataset even for single bit values. We prove bounds on the number of balls that overflow in a dynamic balls-into-bins random process for a range of bin capacities that extends the Iceberg Lemma of [Bender et al., JACM 2023]. The correctness of the key-value filter is based on the previously unstudied natural case of unit-capacity bins with more bins than balls. Finally, we observe that the splitting technique for achieving succinct representation of hash functions is not necessary for our data-structures.

Place, publisher, year, edition, pages
Springer Nature , 2025. Vol. 15679 LNCS, p. 292-309
Keywords [en]
Approximate membership queries, Balls into Bins, Bloom Filter, Bloomier Filter, Retrieval data-structure
National Category
Computer Sciences Computer Systems
Identifiers
URN: urn:nbn:se:kth:diva-385648DOI: 10.1007/978-3-031-92932-8_19ISI: 001691429200019Scopus ID: 2-s2.0-105006801089OAI: oai:DiVA.org:kth-385648DiVA, id: diva2:2087005
Conference
14th International Conference on Algorithms and Complexity, CIAC 2025, Rome, Italy, Jun 10 2025 - Jun 12 2025
Note

Part of ISBN 9783031929311

QC 20260717

Available from: 2026-07-17 Created: 2026-07-17 Last updated: 2026-07-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Bercea, Ioana

Search in DiVA

By author/editor
Bercea, Ioana
By organisation
Theoretical Computer Science
Computer SciencesComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf