Further Unifying the Landscape of Cell Probe Lower Bounds

Research output: Contribution to conferencePaperResearchpeer-review


In a landmark paper, Patrascu demonstrated how a single lower bound for the static data structure problem of reachability in the butterfly graph, could be used to derive a wealth of new and previous lower bounds via reductions. These lower bounds are tight for numerous static data structure problems. Moreover, he also showed that reachability in the butterfly graph reduces to dynamic marked ancestor, a classic problem used to prove lower bounds for dynamic data structures. Unfortunately, Patrascu's reduction to marked ancestor loses a lg lg n factor and therefore falls short of fully recovering all the previous dynamic data structure lower bounds that follow from marked ancestor. In this paper, we revisit Patrascu's work and give a new lossless reduction to dynamic marked ancestor, thereby establishing reachability in the butterfly graph as a single seed problem from which a range of tight static and dynamic data structure lower bounds follow.
Original languageEnglish
Publication date11 Jan 2021
Number of pages9
Publication statusPublished - 11 Jan 2021
EventHappening virtually : Siam symposium on simplicity in algorithms (SOSA21) - , -
Duration: 11 Jan 202112 Jan 2021


ConferenceHappening virtually
Internet address


  • cs.DS


Dive into the research topics of 'Further Unifying the Landscape of Cell Probe Lower Bounds'. Together they form a unique fingerprint.

Cite this