English
Related papers

Related papers: Lower Bounds on Retroactive Data Structures

200 papers

Optimal Transport (OT) is a fundamental tool for comparing probability distributions, but its exact computation remains prohibitive for large datasets. In this work, we introduce novel families of upper and lower bounds for the OT problem…

Machine Learning · Computer Science 2022-10-26 David Alvarez-Melis , Nicolò Fusi , Lester Mackey , Tal Wagner

It is well known that ordinary persistence on graphs can be computed more efficiently than the general persistence. Recently, it has been shown that zigzag persistence on graphs also exhibits similar behavior. Motivated by these results, we…

Computational Geometry · Computer Science 2023-05-12 Tamal K. Dey , Tao Hou , Salman Parsa

We study the density estimation problem defined as follows: given $k$ distributions $p_1, \ldots, p_k$ over a discrete domain $[n]$, as well as a collection of samples chosen from a ``query'' distribution $q$ over $[n]$, output $p_i$ that…

Data Structures and Algorithms · Computer Science 2024-10-31 Anders Aamand , Alexandr Andoni , Justin Y. Chen , Piotr Indyk , Shyam Narayanan , Sandeep Silwal , Haike Xu

Under the word RAM model, we design three data structures that can be constructed in $O(n\sqrt{\lg n})$ time over $n$ points in an $n \times n$ grid. The first data structure is an $O(n\lg^{\epsilon} n)$-word structure supporting orthogonal…

Data Structures and Algorithms · Computer Science 2020-06-23 Younan Gao , Meng He , Yakov Nekrich

We describe fully retroactive dynamic data structures for approximate range reporting and approximate nearest neighbor reporting. We show how to maintain, for any positive constant $d$, a set of $n$ points in $\R^d$ indexed by time such…

Computational Geometry · Computer Science 2011-09-05 Michael T. Goodrich , Joseph A. Simons

In memory-constrained algorithms we have read-only access to the input, and the number of additional variables is limited. In this paper we introduce the compressed stack technique, a method that allows to transform algorithms whose space…

Computational Geometry · Computer Science 2014-06-26 Luis Barba , Matias Korman , Stefan Langerman , Kunikiko Sadakane , Rodrigo Silveira

Recursive queries have been traditionally studied in the framework of datalog, a language that restricts recursion to monotone queries over sets, which is guaranteed to converge in polynomial time in the size of the input. But modern big…

Databases · Computer Science 2024-01-26 Mahmoud Abo Khamis , Hung Q. Ngo , Reinhard Pichler , Dan Suciu , Yisu Remy Wang

Pattern matching is a fundamental process in almost every scientific domain. The problem involves finding the positions of a given pattern (usually of short length) in a reference stream of data (usually of large length). The matching can…

Data Structures and Algorithms · Computer Science 2022-07-01 Anas Al-okaily , Abdelghani Tbakhi

Modern tracking technology has made the collection of large numbers of densely sampled trajectories of moving objects widely available. We consider a fundamental problem encountered when analysing such data: Given $n$ polygonal curves $S$…

Computational Geometry · Computer Science 2017-07-18 Peyman Afshani , Anne Driemel

We provide a general framework to exclude parameterized running times of the form $O(\ell^\beta+ n^\gamma)$ for problems that have polynomial running time lower bounds under hypotheses from fine-grained complexity. Our framework is based on…

Data Structures and Algorithms · Computer Science 2023-01-09 Klaus Heeger , André Nichterlein , Rolf Niedermeier

Subset-Sum is an NP-complete problem where one must decide if a multiset of $n$ integers contains a subset whose elements sum to a target value $m$. The best-known classical and quantum algorithms run in time $\tilde{O}(2^{n/2})$ and…

Quantum Physics · Physics 2022-09-12 Jonathan Allcock , Yassine Hamoudi , Antoine Joux , Felix Klingelhöfer , Miklos Santha

We prove the first nontrivial worst-case lower bounds for two closely related problems. First, $\Omega(n^{3/2})$ degree-1 reductions, series-parallel reductions, and $\Delta$Y transformations are required in the worst case to reduce an…

Computational Geometry · Computer Science 2015-10-05 Hsien-Chih Chang , Jeff Erickson

In this paper we give a single-source shortest-path algorithm that breaks, after over 65 years, the $O(n \cdot m)$ bound for the running time of the Bellman-Ford-Moore algorithm, where $n$ is the number of vertices and $m$ is the number of…

Data Structures and Algorithms · Computer Science 2024-11-01 Amr Elmasry

In a seminal paper in 2013, Witt showed that the (1+1) Evolutionary Algorithm with standard bit mutation needs time $(1+o(1))n \ln n/p_1$ to find the optimum of any linear function, as long as the probability $p_1$ to flip exactly one bit…

Neural and Evolutionary Computing · Computer Science 2024-10-01 Carola Doerr , Duri Andrea Janett , Johannes Lengler

We present linear-space data structures for several frequency queries on trees, namely: path mode, path least frequent element, and path $\alpha$-minority queries. We present the first linear-space data structures, requiring $O(n…

Data Structures and Algorithms · Computer Science 2026-04-22 Ovidiu Rata

Big data processing at the production scale presents a highly complex environment for resource optimization (RO), a problem crucial for meeting performance goals and budgetary constraints of analytical users. The RO problem is challenging…

Databases · Computer Science 2024-09-24 Chenghao Lyu , Qi Fan , Fei Song , Arnab Sinha , Yanlei Diao , Wei Chen , Li Ma , Yihui Feng , Yaliang Li , Kai Zeng , Jingren Zhou

In this paper we present two versions of a parallel working-set map on p processors that supports searches, insertions and deletions. In both versions, the total work of all operations when the map has size at least p is bounded by the…

Data Structures and Algorithms · Computer Science 2018-07-12 Kunal Agrawal , Seth Gilbert , Wei Quan Lim

This paper initiates the study of data-dependent regret bounds in constrained MAB settings. These bounds depend on the sequence of losses that characterize the problem instance. Thus, they can be much smaller than classical…

Machine Learning · Computer Science 2025-06-24 Gianmarco Genalti , Francesco Emanuele Stradi , Matteo Castiglioni , Alberto Marchesi , Nicola Gatti

The Subset Sum problem, which asks whether a set of $n$ integers has a subset summing to a target $t$, is a fundamental NP-complete problem in cryptography and combinatorial optimization. The classical meet-in-the-middle (MIM) algorithm of…

Data Structures and Algorithms · Computer Science 2025-12-04 Jesus Salas

The dynamic optimality conjecture, postulating the existence of an $O(1)$-competitive online algorithm for binary search trees (BSTs), is among the most fundamental open problems in dynamic data structures. Despite extensive work and some…

Data Structures and Algorithms · Computer Science 2019-12-24 Parinya Chalermsook , Julia Chuzhoy , Thatchaphol Saranurak