English
Related papers

Related papers: An O(M(n) log n) algorithm for the Jacobi symbol

200 papers

In a $n$-dimensional Lie algebra, random numerical values are assigned by computer to $n(n-1)$ especially selected structure constants. An algorithm is then created, which calculates without ambiguity the remaining constants, obeying the…

Computational Physics · Physics 2011-08-23 F. M. Paiva , A. F. F. Teixeira

A method for computing the n'th decimal digit of pi in O(n^3 log(n)^3) time and with very little memory is presented here. The computation is based on the recently discovered Bailey-Borwein-Plouffe algorithm and the use of a new algorithm…

Number Theory · Mathematics 2009-12-03 Simon Plouffe

We consider methods for finding high-precision approximations to simple zeros of smooth functions. As an application, we give fast methods for evaluating the elementary functions log(x), exp(x), sin(x) etc. to high precision. For example,…

Numerical Analysis · Computer Science 2010-06-01 Richard P. Brent

Cognitive diagnosis models (CDMs) are useful statistical tools to provide rich information relevant for intervention and learning. As a popular approach to estimate and make inference of CDMs, the Markov chain Monte Carlo (MCMC) algorithm…

Methodology · Statistics 2021-02-16 Juntao Wang , Ningzhong Shi , Xue Zhang , Gongjun Xu

For the \textsc{Minkowski Sum Selection} problem with linear objective functions, we obtain the following results: (1) optimal $O(n\log n)$ time algorithms for $\lambda=1$; (2) $O(n\log^2 n)$ time deterministic algorithms and expected…

Data Structures and Algorithms · Computer Science 2008-09-09 Cheng-Wei Luo , Hsiao-Fei Liu , Peng-An Chen , Kun-Mao Chao

Let {\alpha} be the maximal value such that the product of an n x n^{\alpha} matrix by an n^{\alpha} x n matrix can be computed with n^{2+o(1)} arithmetic operations. In this paper we show that \alpha>0.30298, which improves the previous…

Data Structures and Algorithms · Computer Science 2021-10-05 François Le Gall

Computing the simulation preorder of a given Kripke structure (i.e., a directed graph with $n$ labeled vertices) has crucial applications in model checking of temporal logic. It amounts to solving a specific two-players reachability game,…

Computational Complexity · Computer Science 2016-08-31 Massimo Cairo , Romeo Rizzi

We show that the two problems of computing the permanent of an $n\times n$ matrix of $\operatorname{poly}(n)$-bit integers and counting the number of Hamiltonian cycles in a directed $n$-vertex multigraph with…

Data Structures and Algorithms · Computer Science 2013-08-27 Andreas Björklund

Given a set $\Pi$ of permutation patterns of length at most $k$, we present an algorithm for building $S_{\le n}(\Pi)$, the set of permutations of length at most $n$ avoiding the patterns in $\Pi$, in time $O(|S_{\le n - 1}(\Pi)| \cdot k +…

Discrete Mathematics · Computer Science 2017-03-20 William Kuszmaul

We consider the computation of Bernoulli, Tangent (zag), and Secant (zig or Euler) numbers. In particular, we give asymptotically fast algorithms for computing the first n such numbers in O(n^2.(log n)^(2+o(1))) bit-operations. We also give…

Combinatorics · Mathematics 2021-07-05 Richard P. Brent , David Harvey

In binary jumbled pattern matching we wish to preprocess a binary string $S$ in order to answer queries $(i,j)$ which ask for a substring of $S$ that is of size $i$ and has exactly $j$ 1-bits. The problem naturally generalizes to…

Data Structures and Algorithms · Computer Science 2014-07-01 Danny Hermelin , Gad M. Landau , Yuri Rabinovich , Oren Weimann

We present an improved form of the algorithm for constructing Jacobi rotations. This is simultaneously a more accurate code for finding the eigenvalues and eigenvectors of a real symmetric 2x2 matrix.

Numerical Analysis · Computer Science 2018-06-22 Carlos F. Borges

We discuss classical and quantum algorithms for solvability testing and finding integer solutions x,y of equations of the form af^x + bg^y = c over finite fields GF(q). A quantum algorithm with time complexity q^(3/8) (log q)^O(1) is…

Quantum Physics · Physics 2008-04-08 Wim van Dam , Igor E. Shparlinski

Solving linear systems of equations is a common problem that arises both on its own and as a subroutine in more complex problems: given a matrix A and a vector b, find a vector x such that Ax=b. We consider the case where one doesn't need…

Quantum Physics · Physics 2009-10-08 Aram W. Harrow , Avinatan Hassidim , Seth Lloyd

The Binary Jumbled String Matching problem is defined as: Given a string $s$ over $\{a,b\}$ of length $n$ and a query $(x,y)$, with $x,y$ non-negative integers, decide whether $s$ has a substring $t$ with exactly $x$ $a$'s and $y$ $b$'s.…

Data Structures and Algorithms · Computer Science 2013-06-03 Golnaz Badkobeh , Gabriele Fici , Steve Kroon , Zsuzsanna Lipták

The classical algorithm for solving B\"uchi games requires time $O(n\cdot m)$ for game graphs with $n$ states and $m$ edges. For game graphs with constant outdegree, the best known algorithm has running time $O(n^2/\log n)$. We present two…

Computer Science and Game Theory · Computer Science 2008-12-18 Krishnendu Chatterjee , Thomas A. Henzinger , Nir Piterman

The graph Fourier transform (GFT) is in general dense and requires O(n^2) time to compute and O(n^2) memory space to store. In this paper, we pursue our previous work on the approximate fast graph Fourier transform (FGFT). The FGFT is…

Numerical Analysis · Computer Science 2017-11-07 Luc LeMagoarou , Nicolas Tremblay , Rémi Gribonval

We study the problem of multiway number partition optimization, which has a myriad of applications in the decision, learning and optimization literature. Even though the original multiway partitioning problem is NP-hard and requires…

Data Structures and Algorithms · Computer Science 2022-03-14 Kaan Gokcesu , Hakan Gokcesu

The integer complexity $f(n)$ of a positive integer $n$ is defined as the minimum number of 1's needed to represent $n$, using additions, multiplications and parentheses. We present two simple and faster algorithms for computing the integer…

Data Structures and Algorithms · Computer Science 2023-09-14 Qizheng He

Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence, acclaimed to run in $\mathcal{O}(m \log n)$ time. Unfortunately, the algorithm does not always meet the acclaimed…

Logic in Computer Science · Computer Science 2016-09-23 David N. Jansen , Jeroen J. A. Keiren
‹ Prev 1 3 4 5 6 7 10 Next ›