Efficient Optimization with Higher-Order Ising Machines
Authors:
Preprint
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 \textit{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 33 references indexed in Scilit:
- Solving combinatorial optimisation problems using oscillator based Ising machinesNatural Computing, 2021
- Integer factorization using stochastic magnetic tunnel junctionsNature, 2019
- A continuous-time MaxSAT solver with high analog performanceNature Communications, 2018
- 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
- Pseudo-Boolean optimizationDiscrete Applied Mathematics, 2002
- Bounded Model Checking Using Satisfiability SolvingFormal Methods in System Design, 2001
- Logical Cryptanalysis as a SAT ProblemJournal of Automated Reasoning, 2000
- On the stability of Lagrange programming neural networks for satisfiability problems of prepositional calculusNeurocomputing, 1996
- “Neural” computation of decisions in optimization problemsBiological Cybernetics, 1985