English
Related papers

Related papers: Trading Determinism for Time in Space Bounded Comp…

200 papers

Here, we give an algorithm for deciding if the nonnegative rank of a matrix $M$ of dimension $m \times n$ is at most $r$ which runs in time $(nm)^{O(r^2)}$. This is the first exact algorithm that runs in time singly-exponential in $r$. This…

Data Structures and Algorithms · Computer Science 2012-05-02 Ankur Moitra

In recent years much effort has been concentrated towards achieving polynomial time lower bounds on algorithms for solving various well-known problems. A useful technique for showing such lower bounds is to prove them conditionally based on…

Data Structures and Algorithms · Computer Science 2017-07-26 Isaac Goldstein , Tsvi Kopelowitz , Moshe Lewenstein , Ely Porat

In a recent paper, Kuperberg described the first subexponential time algorithm for solving the dihedral hidden subgroup problem. The space requirement of his algorithm is super-polynomial. We describe a modified algorithm whose running time…

Quantum Physics · Physics 2007-05-23 Oded Regev

Given a signed permutation on $n$ elements, we need to sort it with the fewest reversals. This is a fundamental algorithmic problem motivated by applications in comparative genomics, as it allows to accurately model rearrangements in small…

Data Structures and Algorithms · Computer Science 2023-08-31 Bartłomiej Dudek , Paweł Gawrychowski , Tatiana Starikovskaya

We investigate the space complexity of solving linear systems of equations. While all known deterministic or randomized algorithms solving a square system of $n$ linear equations in $n$ variables require $\Omega(\log^2 n)$ space, Ta-Shma…

Computational Complexity · Computer Science 2016-08-05 François Le Gall

Population protocols are a popular model of distributed computing, in which randomly-interacting agents with little computational power cooperate to jointly perform computational tasks. Inspired by developments in molecular computation, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-18 Dan Alistarh , James Aspnes , David Eisenstat , Rati Gelashvili , Ronald L. Rivest

We investigate dynamic algorithms for the interval scheduling problem. Our algorithm runs in amortised time $O(\log n)$ for query operation and $O(d\log^2 n)$ for insertion and removal operations, where $n$ and $d$ are the maximal numbers…

Data Structures and Algorithms · Computer Science 2014-12-30 Alex Gavryushkin , Bakhadyr Khoussainov , Mikhail Kokho , Jiamou Liu

A rectangular layout $\mathcal{L}$ is a rectangle partitioned into disjoint smaller rectangles so that no four smaller rectangles meet at the same point. Rectangular layouts were originally used as floorplans in VLSI design to represent…

Computational Geometry · Computer Science 2016-09-19 Jiun-Jie Wang

Nonconvex optimization problems with an L1-constraint are ubiquitous, and are found in many application domains including: optimal control of hybrid systems, machine learning and statistics, and operations research. This paper shows that…

Optimization and Control · Mathematics 2017-09-27 Yonatan Mintz , Anil Aswani

In the present work, we present a new discrete logarithm algorithm, in the same vein as in recent works by Joux, using an asymptotically more efficient descent approach. The main result gives a quasi-polynomial heuristic complexity for the…

Cryptography and Security · Computer Science 2013-11-27 Razvan Barbulescu , Pierrick Gaudry , Antoine Joux , Emmanuel Thomé

This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by…

Computational Complexity · Computer Science 2019-01-29 Orit E. Raz , Avi Wigderson

We study a basic algorithmic problem in algebraic geometry, which we call NNL, of constructing a normalizing map as per Noether's Normalization Lemma. For general explicit varieties, as formally defined in this paper, we give a randomized…

Computational Complexity · Computer Science 2016-05-27 Ketan D. Mulmuley

We revisit the problem of integer factorization with number-theoretic oracles, including a well-known problem: can we factor an integer $N$ unconditionally, in deterministic polynomial time, given the value of the Euler totient $$\Phi$(N)$?…

Number Theory · Mathematics 2021-08-16 Fran{\c c}ois Morain , Gu{é}na{ë}l Renault , Benjamin Smith

We give an $\mathcal{O}(n \log n)$-time, $\mathcal{O}(n)$-space algorithm for factoring a string into the minimum number of palindromic substrings. That is, given a string $S [1..n]$, in $\mathcal{O}(n \log n)$ time our algorithm returns…

Data Structures and Algorithms · Computer Science 2020-12-15 Gabriele Fici , Travis Gagie , Juha Kärkkäinen , Dominik Kempa

Non deterministic applications arise in many domains, including, stochastic optimization, multi-objectives optimization, stochastic planning, contingent stochastic planning, reinforcement learning, reinforcement learning in partially…

Artificial Intelligence · Computer Science 2013-04-29 Emad Saad

A randomized algorithm for a search problem is *pseudodeterministic* if it produces a fixed canonical solution to the search problem with high probability. In their seminal work on the topic, Gat and Goldwasser posed as their main open…

Computational Complexity · Computer Science 2025-12-05 Lijie Chen , Zhenjian Lu , Igor C. Oliveira , Hanlin Ren , Rahul Santhanam

This work develops a class of probabilistic algorithms for the numerical solution of nonlinear, time-dependent partial differential equations (PDEs). Current state-of-the-art PDE solvers treat the space- and time-dimensions separately,…

Numerical Analysis · Mathematics 2022-03-10 Nicholas Krämer , Jonathan Schmidt , Philipp Hennig

We study the traveling salesman problem in the hyperbolic plane of Gaussian curvature $-1$. Let $\alpha$ denote the minimum distance between any two input points. Using a new separator theorem and a new rerouting argument, we give an…

Computational Geometry · Computer Science 2020-02-14 Sándor Kisfaludi-Bak

In this paper we examined an algorithm for the All-k-Nearest-Neighbor problem proposed in 1980s, which was claimed to have an $O(n\log{n})$ upper bound on the running time. We find the algorithm actually exceeds the so claimed upper bound,…

Computational Geometry · Computer Science 2019-08-06 Hengzhao Ma , Jianzhong Li

The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the input-output behavior of an experiment? How many of the…

Optimization and Control · Mathematics 2025-10-20 Alexandre Sedoglavic