17 papers · ranked by Valyu relevance
John S. Nicolis
Finally, it gives a complete proof that a certain decision problem in NP has an algorithmic exponential lower bound thus establishing firmly that P≠NP. The proof presents a new way of approaching the subject: neither by entering into the unmanageable difficulties of proving this type of lower bound for the known…
Paul Vitányi
A Turing machine refers to a hypothetical machine proposed by Alan M. Turing (1912–1954) in 1936 [11] whose computations are intended to give an operational and formal definition of the intuitive notion of computability in the discrete domain. It is a digital device and sufficiently simple to be amenable to theoretical…
Davide Cirillo, Alfonso Valencia
Computational problems can be classified according to their algorithmic complexity, which is defined based on how the computational resources needed to solve the problem scale with the problem size. In particular, computationally intractable problems are often solved through heuristics or approximations so to overcome…
Feng Pan, Heng-Liang Zhang, Jie Qi
Computational complexity is a particularly important objective. The idea of Landauer principle was extended through mapping three classic problems (sorting、 ordered searching and max of N unordered numbers) into Maxwell demon thought experiment in this paper. The problems' complexity is defined on the entropy basis and…
James Whitfield, Peter J. Love, Alán Aspuru‐Guzik
In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations. Theoretical computer science suggests that these restrictions are not mere shortcomings of the algorithm designers and programmers but could stem from the inherent…
Gil Kalai
In this lecture I will talk about three mathematical puzzles involving mathematics and computation that have preoccupied me over the years. The first puzzle is to understand the amazing success of the simplex algorithm for linear programming. The second puzzle is about errors made when votes are counted during…
Hajo Broersma, Susan Stepney, Göran Wendin
For many decades, Moore's Law (Moore; 1965) gave us exponentially-increasing classical (digital) computing (CCOMP) power, with a doubling time of around 18 months. This cannot continue indefinitely, due to ultimate physical limits (Lloyd; 2000). Well before then, more practical limits will slow this increase. One such…
Nick Zhang
If Turing's groundbreaking paper [21] in 1936 laid the foundation of the theory of computation (ToC), it is no exaggeration to say that Cook's paper in 1971, "The complexity of theorem proving procedures" [4] has pioneered the study of computational complexity. So computational complexity, as an independent research…
Chuyu Xiong
Computational complexity is a core theory of computer science, which dictates the degree of difficulty of computation. There are many problems with high complexity that we have to deal, which is especially true for AI. This raises a big question: Is there a better way to deal with these highly complex problems other…
Héctor Zenil
At the intersection of what I call uncomputable art and computational epistemology, a form of experimental philosophy, we find a most exciting and promising areas of science related to causation with an alternative, possibly best possible, solution to the challenge of the inverse problem. That is, the problem of…
Anurag Dutta, K. Lakshmanan, John Harshith, Aditya Ramamoorthy
—Time Complexity is an important metric to compare algorithms based on their cardinality. The commonly used, trivial notations to qualify the same are the Big-Oh, Big-Omega, Big-Theta, Small-Oh, and Small-Omega Notations. All of them, consider time a part of the real entity, i.e., Time coincides with the horizontal…
Gerald Friedland, Alfredo Metere
In this manuscript, we derive the principle of conservation of computational complexity. We measure computational complexity as the number of binary computations (decisions) required to solve a problem. Every problem then defines a unique solution space measurable in bits. For an exact result, decisions in the solution…
Noson S. Yanofsky
Theoretical computer science discusses foundational issues about computations. It asks and answers questions such as "What is a computation?", "What is computable?", "What is efficiently computable?","What is information?", "What is random?", "What is an algorithm?", etc. We will present many of the major themes and…
Asad Malik
There is a cognitive limit in Human Mind. This cognitive limit has played a decisive role in almost all fields including computer sciences. The cognitive limit replicated in computer sciences is responsible for inherent Computational Complexity. The complexity starts decreasing if certain conditions are met, even…
Seth Lloyd
Computers can do so much that it's easy to forget that they were invented for what they could not do. In his 1937 paper, "On Computable Numbers, with an Application to the Entscheidungsproblem," Alan Turing defined the notion of a universal digital computer (a Turing machine), which became the conceptual basis for the…
Sergei Levashkin, V. V. Alexandrov, Adolfo Guzmán Arenas
In the computer, there are no coordinates, no distances, and no dimensions; most of traditional mathematical approaches do not work. The computer processes finite binary sequences i.e. the sequences of 0 and 1. A natural question arises: Should we continue today, as we have done for many years, to approach Computer…
Héctor Zenil
Chaitin's work, in its depth and breadth, encompasses many areas of scientific and philosophical interest. It helped establish the accepted mathematical concept of randomness, which in turn is the basis of tools that I have developed to justify and quantify what I think is clear evidence of the algorithmic nature of…