Universal Memcomputing Machines
arXiv:1405.0931 · doi:10.1109/TNNLS.2015.2391182
Abstract
We introduce the notion of universal memcomputing machines (UMMs): a class of brain-inspired general-purpose computing machines based on systems with memory, whereby processing and storing of information occur on the same physical location. We analytically prove that the memory properties of UMMs endow them with universal computing power - they are Turing-complete -, intrinsic parallelism, functional polymorphism, and information overhead, namely their collective states can support exponential data compression directly in memory. We also demonstrate that a UMM has the same computational power as a non-deterministic Turing machine, namely it can solve NP--complete problems in polynomial time. However, by virtue of its information overhead, a UMM needs only an amount of memory cells (memprocessors) that grows polynomially with the problem size. As an example we provide the polynomial-time solution of the subset-sum problem and a simple hardware implementation of the same. Even though these results do not prove the statement NP=P within the Turing paradigm, the practical realization of these UMMs would represent a paradigm shift from present von Neumann architectures bringing us closer to brain-like neural computation.
References in corpus (4)
Cited by in corpus (45)
- Mixed-Precision In-Memory Computing
- Temporal correlation detection using computational phase-change memory
- The promise of spintronics for unconventional computing
- Memcomputing: Leveraging memory and physics to compute efficiently
- Quantum Memristors
- Roadmap for Unconventional Computing with Nanotechnology
- Polynomial-time solution of prime factorization and NP-hard problems with digital memcomputing machines
- Quantum Memristors with Superconducting Circuits
- Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states
- A Scalable Photonic Computer Solving the Subset Sum Problem
- Quantum Memristors in Quantum Photonics
- Topological field theory and computing with instantons
- Absence of chaos in Digital Memcomputing Machines with solutions
- The complex dynamics of memristive circuits: analytical results and universal slow relaxation
- Logical gates embedding in Artificial Spin Ice
- Solitonic Josephson-based meminductive systems
- Instantons in self-organizing logic gates
- Perceptrons from Memristors
- Digital Memcomputing: from Logic to Dynamics to Topology
- Directed percolation and numerical stability of simulations of digital memcomputing machines
- On the Universality of Memcomputing Machines
- Thermodynamic-RAM Technology Stack
- Chaos or Order?
- Taming a non-convex landscape with dynamical long-range order: memcomputing Ising benchmarks
- Phase Transitions and Duality in Adiabatic Memristive Networks
- Locality of interactions for planar memristive circuits
- Asymptotic behavior of memristive circuits
- MemComputing Integer Linear Programming
- Ergodicity, lack thereof, and the performance of reservoir computing with memristive networks
- Polariton-based quantum memristors
- Memcomputing Numerical Inversion with Self-Organizing Logic Gates
- Modelling charge transport in gold nanogranular films
- The mise en scene of memristive networks: effective memory, dynamics and learning
- A Memcomputing Pascaline
- A mean-field model of memristive circuit interaction
- Oxygen vacancy dynamics in Pt/TiOx/TaOy/Pt memristors: exchange with the environment and internal electromigration
- Hardware implementation of digital memcomputing on small-size FPGAs
- Generating Hard Ising Instances With Planted Solutions Using Post-Quantum Cryptographic Protocols
- Memcomputing and Swarm Intelligence
- Projective Embedding of Dynamical Systems: uniform mean field equations
- Aircraft Loading Optimization: MemComputing the 5th Airbus Problem
- Memcomputing for Accelerated Optimization
- MemComputing vs. Quantum Computing: some analogies and major differences
- Brain-like features of MemComputing machines
- Wave Computing based on Dynamical Networks: Applications in Optimization Problems