A Space Lower Bound for Approximate Membership with Duplicate Insertions or Deletions of Nonelements

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Agarwala, Aryan, Even, Guy
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912170292281344
author Agarwala, Aryan
Even, Guy
author_facet Agarwala, Aryan
Even, Guy
contents Designs of data structures for approximate membership queries with false-positive errors that support both insertions and deletions stipulate the following two conditions: (1) Duplicate insertions are prohibited, i.e., it is prohibited to insert an element $x$ if $x$ is currently a member of the dataset. (2) Deletions of nonelements are prohibited, i.e., it is prohibited to delete $x$ if $x$ is not currently a member of the dataset. Under these conditions, the space required for the approximate representation of a datasets of cardinality $n$ with a false-positive probability of $ε^{+}$ is at most $(1+o(1))n\cdot\log_2 (1/ε^{+}) + O(n)$ bits [Bender et al., 2018; Bercea and Even, 2019]. We prove that if these conditions are lifted, then the space required for the approximate representation of datasets of cardinality $n$ from a universe of cardinality $u$ is at least $\frac 12 \cdot (1-ε^{+} -\frac 1n)\cdot \log \binom{u}{n} -O(n)$ bits.
format Preprint
id arxiv_https___arxiv_org_abs_2412_19249
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A Space Lower Bound for Approximate Membership with Duplicate Insertions or Deletions of Nonelements
Agarwala, Aryan
Even, Guy
Data Structures and Algorithms
E.1; E.2
Designs of data structures for approximate membership queries with false-positive errors that support both insertions and deletions stipulate the following two conditions: (1) Duplicate insertions are prohibited, i.e., it is prohibited to insert an element $x$ if $x$ is currently a member of the dataset. (2) Deletions of nonelements are prohibited, i.e., it is prohibited to delete $x$ if $x$ is not currently a member of the dataset. Under these conditions, the space required for the approximate representation of a datasets of cardinality $n$ with a false-positive probability of $ε^{+}$ is at most $(1+o(1))n\cdot\log_2 (1/ε^{+}) + O(n)$ bits [Bender et al., 2018; Bercea and Even, 2019]. We prove that if these conditions are lifted, then the space required for the approximate representation of datasets of cardinality $n$ from a universe of cardinality $u$ is at least $\frac 12 \cdot (1-ε^{+} -\frac 1n)\cdot \log \binom{u}{n} -O(n)$ bits.
title A Space Lower Bound for Approximate Membership with Duplicate Insertions or Deletions of Nonelements
topic Data Structures and Algorithms
E.1; E.2
url https://arxiv.org/abs/2412.19249