Limits of Data Structures, Communication, and Cards

Abstract

Limits of Data Structures, Communication, and Cards - Abstract In this thesis, we study several aspects of computational complexity. One of the main topics is the complexity of data structures, which are algorithms for efficient storing data supporting efficient queries to the data. In the case of dynamic data structures, they also allow modification of the data before querying. A long-standing open problem in this area is to prove an unconditional polynomial lower bound of the trade-off between the update time and the query time of an adaptive dynamic data structure computing some explicit function. We provide an unconditional polynomial lower bound for a restricted class of semi-adaptive dynamic data structures computing functions of large corruption bound, that generalizes the result by Ko and Weinstein [FOCS '20] who provided such a lower bound for data structures computing the Disjointness function. Further, we provide conditional lower bounds for certain static data structures computing permutation inversion, and polynomial evaluation and inversion. These lower bounds beat the best-known unconditional lower bounds for the problems of interest. Further, we study the communication complexity of the elimination problem, which is a prob- lem closely related to the direct sum. In the elimination problem, Alice...

Limity datových struktur, komunikace a karet - abstrakt V této práci studujeme několik aspektů výpočetní složitosti. Jedno z hlavních témat je složitost datových struktur, což jsou algoritmy pro efektivní ukládání dat podporující efektivní dotazy na daná data. Dynamické datové struktury také umožňují měnit data před dotazem. Dlouho otevřený problém v této oblasti je dokázat nepodmíněný polynomiální dolní odhad na porovnání času na editaci a času na dotaz adaptivní dynamické struktury počítající nějakou explicitní funkci. Ukazujeme nepodmíněný polynomiální dolní odhad pro omezenou třídu semi-adaptivních dy- namických datových struktur počítající funkce s velkou korupční mezí, což zobecňuje výsledek od Ko a Weinsteina [FOCS '20], kteří ukázali takový dolní odhad pro datové struktury počítající funkci disjunkce. Dále ukazujeme podmíněný dolní odhad pro určité statické datové struktury počítající inverzi permutací, a vyhodnocení a interpolaci polynomů. Tyto dolní odhady jsou lepší než nejlepší známé nepodmíněné dolní odhady pro dané problémy. Dále studujeme komunikační složitost eliminačního problému, který je velmi blízký problému přímého součtu. U eliminačního problému, Alenka a...