Efficient optimization with higher-order Ising machines
Top Cited Papers
Open Access
- 27 September 2023
- journal article
- research article
- Published by Springer Nature in Nature Communications
- Vol. 14 (1) , 1-10
Abstract
A prominent approach to solving combinatorial optimization problems on parallel hardware is Ising machines, i.e., hardware implementations of networks of interacting binary spin variables. Most Ising machines leverage second-order interactions although important classes of optimization problems, such as satisfiability problems, map more seamlessly to Ising networks with higher-order interactions. Here, we demonstrate that higher-order Ising machines can solve satisfiability problems more resource-efficiently in terms of the number of spin variables and their connections when compared to traditional second-order Ising machines. Further, our results show on a benchmark dataset of Boolean k-satisfiability problems that higher-order Ising machines implemented with coupled oscillators rapidly find solutions that are better than second-order Ising machines, thus, improving the current state-of-the-art for Ising machines.Keywords
All Related Versions
This publication has 53 references indexed in Scilit:
- Resource efficient gadgets for compiling adiabatic quantum optimization problemsAnnalen der Physik, 2013
- Optimization hardness as transient chaos in an analog approach to constraint satisfactionNature Physics, 2011
- Nonperturbative-body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spinsPhysical Review A, 2008
- Capacity of Oscillatory Associative-Memory Networks with Error-Free RetrievalPhysical Review Letters, 2004
- Pseudo-Boolean optimizationDiscrete Applied Mathematics, 2002
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum ComputerSIAM Review, 1999
- On the stability of Lagrange programming neural networks for satisfiability problems of prepositional calculusNeurocomputing, 1996
- Symmetric Neural Networks and Propositional Logic SatisfiabilityNeural Computation, 1991
- Optimization by Simulated AnnealingScience, 1983
- Translinear circuits: a proposed classificationElectronics Letters, 1975