首页    期刊浏览 2024年10月06日 星期日
登录注册

文章基本信息

  • 标题:Cell-Probe Lower Bounds from Online Communication Complexity
  • 本地全文:下载
  • 作者:Josh Alman ; Joshua Wang ; Huacheng Yu
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2017
  • 卷号:2017
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    In this work, we introduce an online model for communication complexity. Analogous to how online algorithms receive their input piece-by-piece, our model presents one of the players, Bob, his input piece-by-piece, and has the players Alice and Bob cooperate to compute a result each time before the next piece is revealed to Bob. This model has a closer and more natural correspondence to dynamic data structures than classic communication models do, and hence presents a new perspective on data structures.

    We first present a tight lower bound for the \emph{online set intersection} problem in the online communication model, demonstrating a general approach for proving online communication lower bounds. The online communication model prevents a batching trick that classic communication complexity allows, and yields a stronger lower bound. We then apply the online communication model to prove data structure lower bounds for two dynamic data structure problems: the Group Range problem and the Dynamic Connectivity problem for forests. Both of the problems admit a worst case O ( log n ) -time data structure. Using online communication complexity, we prove a tight cell-probe lower bound for each: spending o ( log n ) (even amortized) time per operation results in at best an exp ( − 2 n ) probability of correctly answering a (1 2 + ) -fraction of the n queries.

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