Physical portrayal of computational complexity
Summary: Computational complexity is examined using the principle of increasing entropy. To consider computation as a physical process from an initial instance to the final acceptance is motivated because information requires physical representations and because many natural processes complete in nondeterministic polynomial time (NP). The irreversible process with three or more degrees of freedom is found intractable when, in terms of physics, flows of energy are inseparable from their driving forces. In computational terms, when solving a problem in the class NP, decisions among alternatives will affect subsequently available sets of decisions. Thus the state space of a nondeterministic finite automaton is evolving due to the computation itself, hence it cannot be efficiently contracted using a deterministic finite automaton. Conversely when solving problems in the class P, the set of states does not depend on computational history, hence it can be efficiently contracted to the accepting state by a deterministic sequence of dissipative transformations. Thus it is concluded that the state set of class P is inherently smaller than the state set of class NP. Since the computational time needed to contract a given set is proportional to dissipation, the computational complexity class P is a proper (strict) subset of NP.
- A Mathematical Theory of Communication
- A note on two problems in connexion with graphs
- A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
- Clifford algebra to geometric calculus. A unified language for mathematics and physics
- Complexity of protein folding
- From Kuramoto to Crawford: Exploring the onset of synchronization in population of coupled oscillators
- scientific article; zbMATH DE number 3118808 (Why is no real title available?)
- scientific article; zbMATH DE number 3143969 (Why is no real title available?)
- scientific article; zbMATH DE number 3843300 (Why is no real title available?)
- scientific article; zbMATH DE number 3854508 (Why is no real title available?)
- scientific article; zbMATH DE number 5595151 (Why is no real title available?)
- scientific article; zbMATH DE number 4076272 (Why is no real title available?)
- scientific article; zbMATH DE number 44350 (Why is no real title available?)
- scientific article; zbMATH DE number 3489106 (Why is no real title available?)
- scientific article; zbMATH DE number 3638844 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 719741 (Why is no real title available?)
- scientific article; zbMATH DE number 1161490 (Why is no real title available?)
- scientific article; zbMATH DE number 1493045 (Why is no real title available?)
- scientific article; zbMATH DE number 3205804 (Why is no real title available?)
- scientific article; zbMATH DE number 3282537 (Why is no real title available?)
- In the light of time
- Information Theory and Statistical Mechanics
- Information theory explanation of the fluctuation theorem, maximum entropy production and self-organized criticality in non-equilibrium stationary states
- Introduction to algorithms
- Invariant variation problems
- Irreversibility and Heat Generation in the Computing Process
- Minimal energy requirements in communication
- Natural distribution
- Natural games
- Natural proofs
- Natural selection for least action
- Notes on Landauer's principle, reversible computation, and Maxwell's demon
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On the Structure of Polynomial Time Reducibility
- Physical foundations of evolutionary theory
- Physics and Computation: The Status of Landauer’s Principle
- Probability, ergodicity, irreversibility and dynamical systems
- Spacetime and geometry. An introduction to general relativity
- The complexity of theorem-proving procedures
- The physical character of information
- The physical nature of information
- The traveling salesman problem. A computational study.
- What does it mean to say that a physical system implements a computation?
- Natural games
- Physical consequences of P NP and the density matrix renormalization group annealing conjecture
- scientific article; zbMATH DE number 3958735 (Why is no real title available?)
- scientific article; zbMATH DE number 1406123 (Why is no real title available?)
- Physical computational complexity and first-order logic
- Elementary gates for cartoon computation
- Energy complexity of computation
This page was built for publication: Physical portrayal of computational complexity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408483)