English
Related papers

Related papers: Efficient Computation by Three Counter Machines

200 papers

Quantum computers provide an opportunity to efficiently sample from probability distributions that include non-trivial interference effects between amplitudes. Using a simple process wherein all possible state histories can be specified by…

Quantum Physics · Physics 2019-08-22 Davide Provasoli , Benjamin Nachman , Wibe A. de Jong , Christian W Bauer

We start by an introduction to the basic concepts of computability theory and the introduction of the concept of Turing machine and computation universality. Then se turn to the exploration of trade-offs between different measures of…

Computational Complexity · Computer Science 2011-04-19 Joost J. Joosten , Fernando Soler-Toscano , Hector Zenil

It is shown that performing simultaneously two transformations on functions of space and time (for instance a Fourier transform on the space variable and a Laplace transform on the time variable) can be easier than performing them one after…

Mathematical Physics · Physics 2014-05-02 Vincent Rossetto

We present new algorithms for computing the low $n$ bits or the high $n$ bits of the product of two $n$-bit integers. We show that these problems may be solved in asymptotically 75% of the time required to compute the full $2n$-bit product,…

Symbolic Computation · Computer Science 2023-08-03 David Harvey

In this paper, we give an algorithm for detecting non-trivial 3-APs in multiplicative subgroups of $\mathbb{F}_p^\times$ that is substantially more efficient than the naive approach. It follows that certain Var der Waerden-like numbers can…

Number Theory · Mathematics 2019-02-27 Jeremy F Alm

We show that combining two different hypothetical enhancements to quantum computation---namely, quantum advice and non-collapsing measurements---would let a quantum computer solve any decision problem whatsoever in polynomial time, even…

Quantum Physics · Physics 2018-05-23 Scott Aaronson

Finding the product of two polynomials is an essential and basic problem in computer algebra. While most previous results have focused on the worst-case complexity, we instead employ the technique of adaptive analysis to give an improvement…

Symbolic Computation · Computer Science 2010-07-20 Daniel S. Roche

The earlier paper "Introduction to clarithmetic I" constructed an axiomatic system of arithmetic based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proved its soundness and extensional completeness with respect…

Logic in Computer Science · Computer Science 2016-06-24 Giorgi Japaridze

This paper presents a linear computational technique based on cubic trigonometric cubic B-splines for time fractional burgers' equation. The nonlinear advection term is approximated by a new linearization technique which is very efficient…

Numerical Analysis · Mathematics 2017-09-06 Muhammad Yaseen , Muhammad Abbas

Many algorithms have been developed for enumerating various combinatorial objects in time exponentially less than the number of objects. Two common classes of algorithms are dynamic programming and the transfer matrix method. This paper…

Combinatorics · Mathematics 2017-05-16 Andrew R. Conway

In this paper, we present a probabilistic algorithm to multiply two sparse polynomials almost as efficiently as two dense univariate polynomials with a result of approximately the same size. The algorithm depends on unproven heuristics that…

Symbolic Computation · Computer Science 2025-08-25 Joris van der Hoeven

In this work a rationalized algorithm for calculating the quotient of two complex numbers is presented which reduces the number of underlying real multiplications. The performing of a complex number division using the naive method takes 4…

Data Structures and Algorithms · Computer Science 2016-08-31 Aleksandr Cariow

We consider the robust permutation flowshop problem under the budgeted uncertainty model, where at most a given number of job processing times may deviate on each machine. We show that solutions for this problem can be determined by solving…

Data Structures and Algorithms · Computer Science 2026-05-26 Noam Goldberg , Danny Hermelin , Dvir Shabtay

We study the properties of ultrametric matrices aiming to design methods for fast ultrametric matrix-vector multiplication. We show how to encode such a matrix as a tree structure in quadratic time and demonstrate how to use the resulting…

Numerical Analysis · Mathematics 2022-01-04 Tobias Hofmann , Andy Oertel

We introduce a parallel machine scheduling problem in which the processing times of jobs are not given in advance but are determined by a system of linear constraints. The objective is to minimize the makespan, i.e., the maximum job…

Data Structures and Algorithms · Computer Science 2015-10-30 Kameng Nip , Zhenbo Wang , Zizhuo Wang

We show that if a closed, oriented 3-manifold M is promised to be homeomorphic to a lens space L(n,k) with n and k unknown, then we can compute both n and k in polynomial time in the size of the triangulation of M. The tricky part is the…

Geometric Topology · Mathematics 2018-03-16 Greg Kuperberg

Probabilistic argumentation allows reasoning about argumentation problems in a way that is well-founded by probability theory. However, in practice, this approach can be severely limited by the fact that probabilities are defined by adding…

Artificial Intelligence · Computer Science 2019-03-07 Nico Potyka

Obeying constraints imposed by classical physics, we give optimal fine-grained algorithms for matrix multiplication and problems involving graphs and mazes, where all calculations are done in 3-dimensional space. We assume that whatever the…

Data Structures and Algorithms · Computer Science 2024-12-20 Quentin F. Stout

We provide a polynomial time cutting plane algorithm based on split cuts to solve integer programs in the plane. We also prove that the split closure of a polyhedron in the plane has polynomial size.

Optimization and Control · Mathematics 2020-11-12 Amitabh Basu , Michele Conforti , Marco Di Summa , Hongyi Jiang

We propose a simple technique that, if combined with algorithms for computing functions of triangular matrices, can make them more efficient. Basically, such a technique consists in a specific scaling similarity transformation that reduces…

Numerical Analysis · Mathematics 2021-11-18 João R. Cardoso , Amir Sadeghi