Lower bounds on time-space trade-offs for approximate near neighbors

Alexandr Andoni, Thijs Laarhoven, Ilya Razenshteyn, Erik Waingarten

Research output: Contribution to journalArticleAcademic

43 Downloads (Pure)

Abstract

We show tight lower bounds for the entire trade-off between space and query time for the Approximate Near Neighbor search problem. Our lower bounds hold in a restricted model of computation, which captures all hashing-based approaches. In articular, our lower bound matches the upper bound recently shown in [Laarhoven 2015] for the random instance on a Euclidean sphere (which we show in fact extends to the entire space $\mathbb{R}^d$ using the techniques from [Andoni, Razenshteyn 2015]). We also show tight, unconditional cell-probe lower bounds for one and two probes, improving upon the best known bounds from [Panigrahy, Talwar, Wieder 2010]. In particular, this is the first space lower bound (for any static data structure) for two probes which is not polynomially smaller than for one probe. To show the result for two probes, we establish and exploit a connection to locally-decodable codes.
Original languageEnglish
Number of pages48
JournalarXiv
Publication statusPublished - 9 May 2016

Bibliographical note

47 pages, 2 figures; v2: substantially revised introduction, lots of small corrections; subsumed by arXiv:1608.03580 [cs.DS] (along with arXiv:1511.07527 [cs.DS])

Keywords

  • cs.DS
  • cs.CC
  • cs.CG
  • cs.IT
  • math.IT

Fingerprint

Dive into the research topics of 'Lower bounds on time-space trade-offs for approximate near neighbors'. Together they form a unique fingerprint.

Cite this