English
Related papers

Related papers: $L$ is unequal $NL$ under the Strong Exponential T…

200 papers

Given two strings $S$ and $P$, the Episode Matching problem is to find the shortest substring of $S$ that contains $P$ as a subsequence. The best known upper bound for this problem is $\tilde O(nm)$ by Das et al. (1997) , where $n,m$ are…

Data Structures and Algorithms · Computer Science 2024-02-15 Philip Bille , Inge Li Gørtz , Shay Mozes , Teresa Anna Steiner , Oren Weimann

Given a linear subspace of $n \times n$ matrices over $\mathbb F_{2^r}$ that is promised to contain a matrix of rank $1$, we prove that it is hard to find a matrix of rank $n^{o(1/\log \log n)}$, assuming NP doesn't have sub-exponential…

Computational Complexity · Computer Science 2026-05-13 Venkatesan Guruswami , Xuandi Ren , Shaoxuan Tang

Given $m$ documents of total length $n$, we consider the problem of finding a longest string common to at least $d \geq 2$ of the documents. This problem is known as the \emph{longest common substring (LCS) problem} and has a classic $O(n)$…

Data Structures and Algorithms · Computer Science 2014-07-03 Tomasz Kociumaka , Tatiana Starikovskaya , Hjalte Wedel Vildhøj

In this paper, we present near-optimal space bounds for Lp-samplers. Given a stream of updates (additions and subtraction) to the coordinates of an underlying vector x \in R^n, a perfect Lp sampler outputs the i-th coordinate with…

Data Structures and Algorithms · Computer Science 2010-12-23 Hossein Jowhari , Mert Sağlam , Gábor Tardos

A noticeable fraction of Algorithms papers in the last few decades improve the running time of well-known algorithms for fundamental problems by logarithmic factors. For example, the $O(n^2)$ dynamic programming solution to the Longest…

Computational Complexity · Computer Science 2018-05-01 Amir Abboud , Karl Bringmann

We prove that any oblivious algorithm using space $S$ to find the median of a list of $n$ integers from $\{1,...,2n\}$ requires time $\Omega(n \log\log_S n)$. This bound also applies to the problem of determining whether the median is odd…

Computational Complexity · Computer Science 2015-05-04 Paul Beame , Vincent Liew , Mihai Pǎtraşcu

Longest common subsequence (LCS) is one of the most fundamental problems in combinatorial optimization. Apart from theoretical importance, LCS has enormous applications in bioinformatics, revision control systems, and data comparison…

Data Structures and Algorithms · Computer Science 2020-03-17 MohammadTaghi Hajiaghayi , Masoud Seddighin , Saeed Seddighin , Xiaorui Sun

We consider the algorithm by Ferson et al. (Reliable computing 11(3), p. 207-233, 2005) designed for solving the NP-hard problem of computing the maximal sample variance over interval data, motivated by robust statistics (in fact, the…

Optimization and Control · Mathematics 2022-07-28 Miroslav Rada , Michal Černý , Ondřej Sokol

The Strong Exponential Time Hypothesis (SETH) asserts that for every $\varepsilon>0$ there exists $k$ such that $k$-SAT requires time $(2-\varepsilon)^n$. The field of fine-grained complexity has leveraged SETH to prove quite tight…

Computational Complexity · Computer Science 2022-11-30 Tatiana Belova , Alexander Golovnev , Alexander S. Kulikov , Ivan Mihajlin , Denil Sharipov

We show that there is a language in $\mathsf{S}_2\mathsf{E}/_1$ (symmetric exponential time with one bit of advice) with circuit complexity at least $2^n/n$. In particular, the above also implies the same near-maximum circuit lower bounds…

Computational Complexity · Computer Science 2023-09-25 Lijie Chen , Shuichi Hirahara , Hanlin Ren

Let $\mathcal{P}$ be a set of $h$ pairwise-disjoint polygonal obstacles with a total of $n$ vertices in the plane. We consider the problem of building a data structure that can quickly compute an $L_1$ shortest obstacle-avoiding path…

Computational Geometry · Computer Science 2014-03-17 Danny Z. Chen , Rajasekhar Inkulu , Haitao Wang

Dynamic connectivity is one of the most fundamental problems in dynamic graph algorithms. We present a randomized Las Vegas dynamic connectivity data structure with $O(\log n(\log\log n)^2)$ amortized expected update time and $O(\log…

Data Structures and Algorithms · Computer Science 2024-02-14 Shang-En Huang , Dawei Huang , Tsvi Kopelowitz , Seth Pettie , Mikkel Thorup

We present a self-stabilizing leader election algorithm for arbitrary networks, with space-complexity $O(\max\{\log \Delta, \log \log n\})$ bits per node in $n$-node networks with maximum degree~$\Delta$. This space complexity is…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-27 Lélia Blin , Sébastien Tixeuil

We give a simple algorithm for decremental graph connectivity that handles edge deletions in worst-case time $O(k \log n)$ and connectivity queries in $O(\log k)$, where $k$ is the number of edges deleted so far, and uses worst-case space…

Data Structures and Algorithms · Computer Science 2008-10-31 Andrew Twigg

In the static retrieval problem, a data structure must answer retrieval queries mapping a set of $n$ keys in a universe $[U]$ to $v$-bit values. Information-theoretically, retrieval data structures can use as little as $nv$ bits of space.…

Data Structures and Algorithms · Computer Science 2025-10-22 Yang Hu , William Kuszmaul , Jingxun Liang , Huacheng Yu , Junkai Zhang , Renfei Zhou

The Strong Lottery Ticket Hypothesis (SLTH) states that randomly-initialised neural networks likely contain subnetworks that perform well without any training. Although unstructured pruning has been extensively studied in this context, its…

Machine Learning · Computer Science 2026-03-11 Arthur da Cunha , Francesco d'Amore , Emanuele Natale

We study the knapsack problem with graph theoretic constraints. That is, we assume that there exists a graph structure on the set of items of knapsack and the solution also needs to satisfy certain graph theoretic properties on top of…

Data Structures and Algorithms · Computer Science 2024-01-25 Palash Dey , Sudeshna Kolay , Sipra Singh

Given a graph $G$ and two vertices $s$ and $t$ in it, {\em graph reachability} is the problem of checking whether there exists a path from $s$ to $t$ in $G$. We show that reachability in directed layered planar graphs can be decided in…

Data Structures and Algorithms · Computer Science 2015-01-26 Diptarka Chakraborty , Raghunath Tewari

We consider the following online optimization problem. We are given a graph $G$ and each vertex of the graph is assigned to one of $\ell$ servers, where servers have capacity $k$ and we assume that the graph has $\ell \cdot k$ vertices.…

Data Structures and Algorithms · Computer Science 2020-11-03 Monika Henzinger , Stefan Neumann , Harald Räcke , Stefan Schmid

We show that for every probability p with 0 < p < 1, computation of all-terminal graph reliability with edge failure probability p requires time exponential in Omega(m/ log^2 m) for simple graphs of m edges under the Exponential Time…

Computational Complexity · Computer Science 2015-05-19 Thore Husfeldt , Nina Taslaman