首页    期刊浏览 2024年12月03日 星期二
登录注册

文章基本信息

  • 标题:Non-Adaptive Data Structure Lower Bounds for Median and Predecessor Search from Sunflowers
  • 本地全文:下载
  • 作者:Sivaramakrishnan Natarajan Ramamoorthy ; Anup Rao
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2017
  • 卷号:2017
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We prove new cell-probe lower bounds for dynamic data structures that maintain a subset of 1 2 n , and compute various statistics of the set. The data structure is said to handle insertions \emph{non-adaptively} if the locations of memory accessed depend only on the element being inserted, and not on the contents of the memory. For any such data structure that can compute the median of the set, we prove that: \tmed n 1 \tins +1 w 2 \tins 2 where \tins is the number of memory locations accessed during insertions, \tmed is the number of memory locations accessed to compute the median, and w is the number of bits stored in each memory location. When the data structure is able to perform deletions non-adaptively and compute the minimum non-adaptively, we prove \tmin + \tdel log n log w + log log n where \tmin is the number of locations accessed to compute the minimum, and \tdel is the number of locations accessed to perform deletions. For the predecessor search problem, where the data structure is required to compute the predecessor of any element in the set, we prove that if computing the predecessors can be done non-adaptively, then either \tp log n log log n + log w or \tins log n \tp n 1 2( \tp +1) were \tp is the number of locations accessed to compute predecessors.

    These bounds are nearly matched by Binary Search Trees in some range of parameters. Our results follow from using the Sunflower Lemma of Erd\H{o}s and Rado \cite{ErdosR60} together with several kinds of encoding arguments.

国家哲学社会科学文献中心版权所有