English
Related papers

Related papers: Stack and register complexity of radix conversions

200 papers

We prove that it is NP-hard for a coalition of two manipulators to compute how to manipulate the Borda voting rule. This resolves one of the last open problems in the computational complexity of manipulating common voting rules. Because of…

Artificial Intelligence · Computer Science 2011-05-31 Jessica Davies , George Katsirelos , Nina Narodytska , Toby Walsh

Simplification of fractional powers of positive rational numbers and of sums, products and powers of such numbers is taught in beginning algebra. Such numbers can often be expressed in many ways, as this article discusses in some detail.…

Symbolic Computation · Computer Science 2013-02-12 Albert D. Rich , David R. Stoutemyer

A new model of quantum computation is considered, in which the connections between gates are programmed by the state of a quantum register. This new model of computation is shown to be more powerful than the usual quantum computation, e. g.…

Quantum Physics · Physics 2013-05-27 Timoteo Colnaghi , Giacomo Mauro D'Ariano , Paolo Perinotti , Stefano Facchini

Recently, Ko\c{c} proposed a neat and efficient algorithm for computing \[ x = a^{-1} \pmod {p^k} \] for a prime $p$ based on the exact solution of linear equations using $p$-adic expansions. The algorithm requires only addition and right…

Data Structures and Algorithms · Computer Science 2026-03-13 Guangwu Xu , Yunxiao Tian , Bingxin Yang

Sufficient conditions are given for the computation of accessing arcs and arcs that links boundary components of multiply connected domains. The existence of a not-computably-accessible but computable point on a computably compact arc is…

Logic · Mathematics 2012-12-04 Timothy H. McNicholl

An alternative to the matrix inverse procedure is presented. Given a bit register which is arbitrarily large, the matrix inverse to an arbitrarily large matrix can be peformed in ${\cal O}(N^2)$ operations, and to matrix multiplication on a…

General Physics · Physics 2007-05-23 Gordon Chalmers

Even for simple arithmetic tasks like integer addition, it is challenging for Transformers to generalize to longer sequences than those encountered during training. To tackle this problem, we propose position coupling, a simple yet…

Machine Learning · Computer Science 2024-10-31 Hanseul Cho , Jaeyoung Cha , Pranjal Awasthi , Srinadh Bhojanapalli , Anupam Gupta , Chulhee Yun

Several insertion operations are studied applied to languages accepted by one-way and two-way deterministic reversal-bounded multicounter machines. These operations are defined by the ideals obtained from relations such as the prefix,…

Formal Languages and Automata Theory · Computer Science 2019-03-11 Joey Eremondi , Oscar H. Ibarra , Ian McQuillan

Higher-order pushdown systems and ground tree rewriting systems can be seen as extensions of suffix word rewriting systems. Both classes generate infinite graphs with interesting logical properties. Indeed, the model-checking problem for…

Formal Languages and Automata Theory · Computer Science 2015-02-17 Vincent Penelle

We present an algorithm to perform a simultaneous modular reduction of several residues. This algorithm is applied fast modular polynomial multiplication. The idea is to convert the $X$-adic representation of modular polynomials, with $X$…

Symbolic Computation · Computer Science 2008-06-23 Jean-Guillaume Dumas

This paper shows that it is possible to improve the computational cost, the memory requirements and the accuracy of Quick Fourier Transform (QFT) algorithm for power-of-two FFT (Fast Fourier Transform) just introducing a slight modification…

Data Structures and Algorithms · Computer Science 2013-01-07 Lorenzo Pasquini

We use lookup tables to design faster algorithms for important algebraic problems over finite fields. These faster algorithms, which only use arithmetic operations and lookup table operations, may help to explain the difficulty of…

Data Structures and Algorithms · Computer Science 2022-11-10 Josh Alman

Simplex gradients are an essential feature of many derivative free optimization algorithms, and can be employed, for example, as part of the process of defining a direction of search, or as part of a termination criterion. The calculation…

Optimization and Control · Mathematics 2018-07-26 Ian Coope , Rachael Tappenden

We define radix representations for vectors in Z^n analogously with radix representations in Z, and give a sufficient condition for a matrix A:Z^n -> Z^n to yield a radix representation with a given canonical digit set. We relate our…

Number Theory · Mathematics 2010-02-23 Eva Curry

The growth of big data in domains such as Earth Sciences, Social Networks, Physical Sciences, etc. has lead to an immense need for efficient and scalable linear algebra operations, e.g. Matrix inversion. Existing methods for efficient and…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-01-16 Chandan Misra , Sourangshu Bhattacharya , Soumya K. Ghosh

Can a computer which runs for time $\omega^2$ compute more than one which runs for time $\omega$? No. Not, at least, for the infinite computer we describe. Our computer gets more powerful when the set of its steps gets larger. We prove that…

Logic · Mathematics 2007-05-23 Ryan Bissell-Siders

We design an algorithm which finds an $\epsilon$-approximate stationary point (with $\|\nabla F(x)\|\le \epsilon$) using $O(\epsilon^{-3})$ stochastic gradient and Hessian-vector products, matching guarantees that were previously available…

Machine Learning · Computer Science 2020-06-25 Yossi Arjevani , Yair Carmon , John C. Duchi , Dylan J. Foster , Ayush Sekhari , Karthik Sridharan

Generating 2-by-2 unitary matrices in floating-precision arithmetic is a delicate task. One way to reduce the accumulation error is to use less floating-point operations to compute each of the entries in the 2-by-2 unitary matrix. This…

Numerical Analysis · Mathematics 2022-11-09 Weslley da Silva Pereira , Ali Lotfi , Julien Langou

In studying the complexity of iterative processes it is usually assumed that the arithmetic operations of addition, multiplication, and division can be performed in certain constant times. This assumption is invalid if the precision…

Computational Complexity · Computer Science 2021-03-22 Richard P. Brent

We investigate the problem of factorization of large numbers on a quantum computer which we imagine to be realized within a linear ion trap. We derive upper bounds on the size of the numbers that can be factorized on such a quantum…

Quantum Physics · Physics 2009-10-30 M. B. Plenio , P. L. Knight