English
Related papers

Related papers: Fast Computing the Algebraic Degree of Boolean Fun…

200 papers

We show a new algorithm and its implementation for multiplying bit-polynomials of large degrees. The algorithm is based on evaluating polynomials at a specific set comprising a natural set for evaluation with additive FFT and a high order…

Symbolic Computation · Computer Science 2018-04-02 Ming-Shing Chen , Chen-Mou Cheng , Po-Chun Kuo , Wen-Ding Li , Bo-Yin Yang

Scientific programmers often turn to vendor-tuned Basic Linear Algebra Subprograms (BLAS) to obtain portable high performance. However, many numerical algorithms require several BLAS calls in sequence, and those successive calls result in…

Mathematical Software · Computer Science 2012-05-09 Geoffrey Belter , Elizabeth Jessup , Thomas Nelson , Boyana Norris , Jeremy G. Siek

We discuss quantum algorithms, based on the Bernstein-Vazirani algorithm, for finding which variables a Boolean function depends on. There are 2^n possible linear Boolean functions of n variables; given a linear Boolean function, the…

Quantum Physics · Physics 2010-06-09 Dominik F. Floess , Erika Andersson , Mark Hillery

We describe an algorithm to solve the problem of Boolean CNF-Satisfiability when the input formula is chosen randomly. We build upon the algorithms of Sch{\"{o}}ning 1999 and Dantsin et al.~in 2002. The Sch{\"{o}}ning algorithm works by…

Computational Complexity · Computer Science 2019-03-27 Andrea Lincoln , Adam Yedidia

We address the question of computing one selected term of an algebraic power series. In characteristic zero, the best algorithm currently known for computing the $N$th coefficient of an algebraic series uses differential equations and has…

Symbolic Computation · Computer Science 2016-05-19 Alin Bostan , Gilles Christol , Philippe Dumas

Let $f$ be a fixed (holomorphic or Maass) modular cusp form. Let $\cq$ be a Dirichlet character mod $q$. We describe a fast algorithm that computes the value $L(1/2,f\times\chi_q)$ up to any specified precision. In the case when $q$ is…

Number Theory · Mathematics 2012-02-29 Pankaj Vishe

We propose a family of quantum algorithms for estimating Gowers uniformity norms $ U^k $ over finite abelian groups and demonstrate their applications to testing polynomial structure and counting arithmetic progressions. Building on recent…

Quantum Physics · Physics 2025-08-05 En-Jui Kuo

Artificial and biological neural networks (ANNs and BNNs) can encode inputs in the form of combinations of individual neurons' activities. These combinatorial neural codes present a computational challenge for direct and efficient analysis…

Neural and Evolutionary Computing · Computer Science 2022-10-20 Thomas F Burns , Irwansyah

The hidden shift problem is a natural place to look for new separations between classical and quantum models of computation. One advantage of this problem is its flexibility, since it can be defined for a whole range of functions and a…

Quantum Physics · Physics 2013-12-05 Dmitry Gavinsky , Martin Roetteler , Jérémie Roland

We consider the problem of computing the Boolean convolution (with wraparound) of $n$~vectors of dimension $m$, or, equivalently, the problem of computing the sumset $A_1+A_2+\ldots+A_n$ for $A_1,\ldots,A_n \subseteq \mathbb{Z}_m$. Boolean…

Data Structures and Algorithms · Computer Science 2021-05-11 Karl Bringmann , Vasileios Nakos

Quantum computation, in particular Grover's algorithm, has aroused a great deal of interest since it allows for a quadratic speedup to be obtained in search procedures. Classical search procedures for an $N$ element database require at most…

Data Structures and Algorithms · Computer Science 2015-02-09 Luís Tarrataca , Andreas Wichert

We study the computational complexity of two Boolean nonlinearity measures: the nonlinearity and the multiplicative complexity. We show that if one-way functions exist, no algorithm can compute the multiplicative complexity in time…

Computational Complexity · Computer Science 2014-03-04 Magnus Gausdal Find

Algorithms with fast convergence, small number of data access, and low per-iteration complexity are particularly favorable in the big data era, due to the demand for obtaining \emph{highly accurate solutions} to problems with \emph{a large…

Machine Learning · Statistics 2016-11-16 Zebang Shen , Hui Qian , Chao Zhang , Tengfei Zhou

We obtain two new algorithms for partial fraction decompositions; the first is over algebraically closed fields, and the second is over general fields. These algorithms takes $O(M^2)$ time, where $M$ is the degree of the denominator of the…

Combinatorics · Mathematics 2007-05-23 Guoce Xin

Given a Boolean formula $\phi(x)$ in conjunctive normal form (CNF), the density of states counts the number of variable assignments that violate exactly $e$ clauses, for all values of $e$. Thus, the density of states is a histogram of the…

Discrete Mathematics · Computer Science 2019-10-30 Tuhin Sahai , Anurag Mishra , Jose Miguel Pasini , Susmit Jha

We propose a new model of quantum computation which aims to speed up quantum algorithms assisted by the weak value amplification and ancillay quantum register with the pre- and postelection. Within this model, we show that a quantum…

Quantum Physics · Physics 2019-11-05 Arun Kumar Pati

Based on the assumption that there exists a neural network that efficiently represents a set of Boolean functions between all binary inputs and outputs, we propose a process for developing and deploying neural networks whose weight…

Machine Learning · Computer Science 2020-02-25 Minje Kim , Paris Smaragdis

Due to the speed limitation of the conventional bit-chosen strategy in the existing weighted bit flipping algorithms, a high-speed LDPC decoder cannot be realized. To solve this problem, we propose a fast weighted bit flipping (FWBF)…

Information Theory · Computer Science 2012-06-18 Kexiang Ma , Yongzhao Li , Caizhi Zhu , Hailin Zhang , Feng Qi

We study the bit complexity of two related fundamental computational problems in linear algebra and control theory. Our results are: (1) An $\tilde{O}(n^{\omega+3}a+n^4a^2+n^\omega\log(1/\epsilon))$ time algorithm for finding an…

Data Structures and Algorithms · Computer Science 2022-11-29 Papri Dey , Ravi Kannan , Nick Ryder , Nikhil Srivastava

To study the question under which circumstances small solutions can be found faster than by exhaustive search (and by how much), we study the fine-grained complexity of Boolean constraint satisfaction with size constraint exactly $k$. More…

Computational Complexity · Computer Science 2020-05-26 Marvin Künnemann , Dániel Marx
‹ Prev 1 3 4 5 6 7 10 Next ›