English
Related papers

Related papers: Effective Guessing Has Unlikely Consequences

200 papers

We analyze algorithms for computing the $n$th prime $p_n$ and establish asymptotic bounds for several approaches. Using existing results on the complexity of evaluating the prime-counting function $\pi(x)$, we show that the binary search…

Number Theory · Mathematics 2025-10-21 Ansh Aggarwal

Qualitative timeline-based planning models domains as sets of independent, but interacting, components whose behaviors over time, the timelines, are governed by sets of qualitative temporal constraints (ordering relations), called…

Formal Languages and Automata Theory · Computer Science 2024-10-31 Renato Acampora , Dario Della Monica , Luca Geatti , Nicola Gigante , Angelo Montanari , Pietro Sala

Learned indexes leverage machine learning models to accelerate query answering in databases, showing impressive practical performance. However, theoretical understanding of these methods remains incomplete. Existing research suggests that…

Databases · Computer Science 2024-10-23 Luis Croquevielle , Guang Yang , Liang Liang , Ali Hadian , Thomas Heinis

We present a simple randomized polynomial time algorithm to approximate the mixed discriminant of $n$ positive semidefinite $n \times n$ matrices within a factor $2^{O(n)}$. Consequently, the algorithm allows us to approximate in randomized…

Rings and Algebras · Mathematics 2008-02-03 Alexander Barvinok

In this paper we consider the time and the crossing sequence complexities of one-tape off-line Turing machines. We show that the running time of each nondeterministic machine accepting a nonregular language must grow at least as n\log n, in…

Formal Languages and Automata Theory · Computer Science 2009-05-11 Giovanni Pighizzini

The number of n-gram features grows exponentially in n, making it computationally demanding to compute the most frequent n-grams even for n as small as 3. Motivated by our production machine learning system built on n-gram features, we ask:…

Data Structures and Algorithms · Computer Science 2025-11-20 Ryan R. Curtin , Fred Lu , Edward Raff , Priyanka Ranade

We revisit the classical problem of universal prediction of stochastic sequences with a finite time horizon $T$ known to the learner. The question we investigate is whether it is possible to derive vanishing regret bounds that hold with…

Machine Learning · Computer Science 2026-02-19 Matthias Frey , Jonathan H. Manton , Jingge Zhu

By using of analytical multi-logic expresses in conjunction with non-deterministic Turing machine the proposition was proved that algorithm of deterministic Turing counter machine of polynomial time complexity can be decreased to the…

Computational Complexity · Computer Science 2016-10-20 Algirdas Antano Maknickas

The fastest known algorithm for factoring a degree $n$ univariate polynomial over a finite field $\mathbb{F}_q$ runs in time $O(n^{3/2 + o(1)}\text{polylog } q)$, and there is a reason to believe that the $3/2$ exponent represents a…

Data Structures and Algorithms · Computer Science 2025-11-17 Chris Umans , Siki Wang

Given a multiset $S$ of $n$ positive integers and a target integer $t$, the Subset Sum problem asks to determine whether there exists a subset of $S$ that sums up to $t$. The current best deterministic algorithm, by Koiliaris and Xu…

Data Structures and Algorithms · Computer Science 2020-01-03 Ce Jin , Hongxun Wu

A combination of implicit and explicit timestepping is analyzed for a system of ODEs motivated by ones arising from spatial discretizations of evolutionary partial differential equations. Loosely speaking, the method we consider is implicit…

Numerical Analysis · Mathematics 2025-10-20 Mihai Anitescu , William J. Layton , Faranak Pahlevani

This paper establishes for the first time the predictive performance of speed priors and their computational complexity. A speed prior is essentially a probability distribution that puts low probability on strings that are not efficiently…

Machine Learning · Computer Science 2016-04-25 Daniel Filan , Marcus Hutter , Jan Leike

The setting is a stationary, ergodic time series. The challenge is to construct a sequence of functions, each based on only finite segments of the past, which together provide a strongly consistent estimator for the conditional probability…

Probability · Mathematics 2008-06-19 G. Morvai , S. Yakowitz , L. Gyorfi

We prove the first polynomial separation between randomized and deterministic time-space tradeoffs of multi-output functions. In particular, we present a total function that on the input of $n$ elements in $[n]$, outputs $O(n)$ elements,…

Computational Complexity · Computer Science 2023-06-29 Huacheng Yu , Wei Zhan

N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer…

Optimization and Control · Mathematics 2014-05-08 Raymond Hemmecke , Shmuel Onn , Lyubov Romanchuk

Multiple algorithms are known for efficiently calculating the prefix probability of a string under a probabilistic context-free grammar (PCFG). Good algorithms for the problem have a runtime cubic in the length of the input string. However,…

Formal Languages and Automata Theory · Computer Science 2025-05-09 Franz Nowak , Ryan Cotterell

Let $a,b\in \mathbb{N}$ be fixed and coprime such that $a>b$, and let $N$ be any number of the form $a^n\pm b^n$, $n\in\mathbb{N}$. We will generalize a result of Bostan, Gaudry and Schost and prove that we may compute the prime…

Number Theory · Mathematics 2017-09-20 Markus Hittmeir

This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time…

Computational Complexity · Computer Science 2013-09-24 Armin Hemmerling

We present a Monte Carlo algorithm for Hamiltonicity detection in an $n$-vertex undirected graph running in $O^*(1.657^{n})$ time. To the best of our knowledge, this is the first superpolynomial improvement on the worst case runtime for the…

Data Structures and Algorithms · Computer Science 2010-08-04 Andreas Björklund

Programs increasingly rely on randomization in applications such as cryptography and machine learning. Analyzing randomized programs has been a fruitful research direction, but there is a gap when programs also exploit nondeterminism (for…

Logic in Computer Science · Computer Science 2024-11-21 Noam Zilberstein , Dexter Kozen , Alexandra Silva , Joseph Tassarotti