An event-based architecture for solving constraint satisfaction problems
arXiv:1505.01139 · doi:10.1038/ncomms9941
Abstract
Constraint satisfaction problems (CSPs) are typically solved using conventional von Neumann computing architectures. However, these architectures do not reflect the distributed nature of many of these problems and are thus ill-suited to solving them. In this paper we present a hybrid analog/digital hardware architecture specifically designed to solve such problems. We cast CSPs as networks of stereotyped multi-stable oscillatory elements that communicate using digital pulses, or events. The oscillatory elements are implemented using analog non-stochastic circuits. The non-repeating phase relations among the oscillatory elements drive the exploration of the solution space. We show that this hardware architecture can yield state-of-the-art performance on a number of CSPs under reasonable assumptions on the implementation. We present measurements from a prototype electronic chip to demonstrate that a physical implementation of the proposed architecture is robust to practical non-idealities and to validate the theory proposed.
First two authors contributed equally to this work
References in corpus (6)
- Memory and information processing in neuromorphic systems
- Neuromorphic electronic circuits for building autonomous cognitive systems
- Survey propagation: an algorithm for satisfiability
- A Landscape Analysis of Constraint Satisfaction Problems
- Optimization hardness as transient chaos in an analog approach to constraint satisfaction
- Clusters of solutions and replica symmetry breaking in random k-satisfiability
Cited by in corpus (7)
- Intelligent Computing: The Latest Advances, Challenges and Future
- Vertex coloring of graphs via phase dynamics of coupled oscillatory networks
- Highly Reproducible and CMOS-compatible VO2-based Oscillators for Brain-inspired Computing
- Efficient Analog Circuits for Boolean Satisfiability
- A high-performance analog Max-SAT solver and its application to Ramsey numbers
- Direct comparison of stochastic driven nonlinear dynamical systems for combinatorial optimization
- Neural Sampling by Irregular Gating Inhibition of Spiking Neurons and Attractor Networks