English
Related papers

Related papers: Remarks on AKS Primality Testing Algorithm and A F…

200 papers

We prove that any algorithm for learning parities requires either a memory of quadratic size or an exponential number of samples. This proves a recent conjecture of Steinhardt, Valiant and Wager and shows that for some learning problems a…

Machine Learning · Computer Science 2016-02-17 Ran Raz

It is well known that the kind of P systems involved in the definition of the P conjecture is able to solve problems in the complexity class $\mathbf{P}$ by leveraging the uniformity condition. Here we show that these systems are indeed…

Computational Complexity · Computer Science 2020-08-05 Alberto Leporati , Luca Manzoni , Giancarlo Mauri , Antonio E. Porreca , Claudio Zandron

We present an algorithm to decide the primality of Proth numbers, N=2^e t+1, without assuming any unproven hypothesis. The expected running time and the worst case running time of the algorithm are O ((t log t + log N)log N) and O ((t log t…

Number Theory · Mathematics 2011-07-05 Tsz-Wo Sze

Reliable probabilistic primality tests are fundamental in public-key cryptography. In adversarial scenarios, a composite with a high probability of passing a specific primality test could be chosen. In such cases, we need worst-case error…

Cryptography and Security · Computer Science 2023-06-19 Semira Einsele , Kenneth Paterson

The performance of large neural networks can be judged not only by their storage capacity but also by the time required for learning. A polynomial learning algorithm with learning time $\sim N^2$ in a network with $N$ units might be…

Disordered Systems and Neural Networks · Physics 2017-02-08 Heinz Horner , Anthea Bethge

Magnetic tapes are often considered as an outdated storage technology, yet they are still used to store huge amounts of data. Their main interests are a large capacity and a low price per gigabyte, which come at the cost of a much larger…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-05 Valentin Honoré , Bertrand Simon , Frédéric Suter

This paper explores the computational complexity involved in determining the capacity of the band-limited additive colored Gaussian noise (ACGN) channel and its capacity-achieving power spectral density (p.s.d.). The study reveals that when…

Information Theory · Computer Science 2023-10-11 Holger Boche , Andrea Grigorescu , Rafael F. Schaefer , H. Vincent Poor

People solve different problems and know that some of them are simple, some are complex and some insoluble. The main goal of this work is to develop a mathematical theory of algorithmic complexity for problems. This theory is aimed at…

Computational Complexity · Computer Science 2008-07-08 Mark Burgin

This paper presents a complete algorithmic study of the decision Boolean Satisfiability Problem under the classical computation and quantum computation theories. The paper depicts deterministic and probabilistic algorithms, propositions of…

Computational Complexity · Computer Science 2016-02-22 Carlos Barrón-Romero

Many modern asymmetric encryption methods rely on prime numbers, as they have distinctive properties. For instance, the security of RSA cryptosystem relies on the computational difficulty of factoring a large composite number in its prime…

Cryptography and Security · Computer Science 2026-05-19 Anas A. Abudaqa , Nujud Alyami , Mostefa Kara , Farid Binbeshr , Muhammad Imam , Amjad Abuhassan

Quantum computation by adiabatic evolution, as described in quant-ph/0001106, will solve satisfiability problems if the running time is long enough. In certain special cases (that are classically easy) we know that the quantum algorithm…

Quantum Physics · Physics 2007-05-23 Edward Farhi , Jeffrey Goldstone , Sam Gutmann

We establish the average-case hardness of the algorithmic problem of exact computation of the partition function associated with the Sherrington-Kirkpatrick model of spin glasses with Gaussian couplings and random external field. In…

Probability · Mathematics 2023-09-19 David Gamarnik , Eren Kizildag

Theoretical complexity is a vital subfield of computer science that enables us to mathematically investigate computation and answer many interesting queries about the nature of computational problems. It provides theoretical tools to assess…

Computational Complexity · Computer Science 2021-12-23 Mohamed Ghanem , Dauod Siniora

Previously the author has demonstrated that a representative polynomial search partition is required to solve a NP-complete problem in deterministic polynomial time. It has also been demonstrated that finding such a partition can only be…

Computational Complexity · Computer Science 2008-09-07 Jerrald Meek

We investigate the correspondence between the time and space recognition complexity of languages. For this purpose, we will code the long-continued computations of deterministic two-tape Turing machines by the relatively short-length…

Computational Complexity · Computer Science 2024-12-24 Ivan V. Latkin

Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating…

Programming Languages · Computer Science 2007-05-23 Pei-Chi Wu

This article finds the answer to the question: for any problem from which a non-deterministic algorithm can be derived which verifies whether an answer is correct or not in polynomial time (complexity class NP), is it possible to create an…

Computational Complexity · Computer Science 2024-01-30 Daniel Cardona Delgado

Algorithm research focuses primarily on how many operations processors need to do (time complexity). But for many problems, both the runtime and energy used are dominated by memory accesses. In this paper, we present the first broad survey…

Data Structures and Algorithms · Computer Science 2025-12-01 Hayden Rome , Jayson Lynch , Jeffery Li , Chirag Falor , Neil Thompson

These notes contain, among others, a proof that the average running time of an easy solution to the satisfiability problem for propositional calculus is, under some reasonable assumptions, linear (with constant 2) in the size of the input.…

Computational Complexity · Computer Science 2015-04-07 Marek A. Suchenek

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