arrow
Return

Spintronics-compatible Approach to Solving Maximum-Satisfiability Problems with Probabilistic Computing, Invertible Logic, and Parallel Tempering

delete2022-02-18
delete22
delete
OA
AI
A
Andrea Grimaldi
L
Luis Sánchez-Tejerina
N
Navid Anjum Aadit
S
Stefano Chiappini
M
Mario Carpentieri
K
Kerem Y. Çamsarı *
G
Giovanni Finocchio
DOI:10.1103/PhysRevApplied.17.024052delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
The search for hardware-compatible strategies for solving nondeterministic polynomial time (NP)-hard combinatorial optimization problems (COPs) is an important challenge of today's computing research because of their wide range of applications in real-world optimization problems. Here, we introduce an unconventional scalable approach to face maximum-satisfiability (MAX-SAT) problems that combines probabilistic computing with p-bits, parallel tempering, and the concept of invertible logic gates. We theoretically show the spintronic implementation of this approach based on a coupled set of LandauLifshitz-Gilbert equations, showing a potential path for energy efficient and very fast (p-bits exhibiting nanosecond timescale switching) architecture for the solution of COPs. The algorithm is benchmarked with hard MAX-SAT instances from the 2016 MAX-SAT competition (e.g., HG-4SAT-V150-C13501.cnf, which can be described with 2851 p-bits), including weighted MAX-SAT and maximum-cut problems.
Keywords:
OPTIMIZATION

Journal

Physical Review Applied cover
Physical Review Applied
IF:
4.4
Papers:
7.1K
Citations:
2.8W

Organization

U
University of California Santa Barbara
Scholars:
1.2W
Papers: 9.6K
Citations: 3.6W
University of California System cover
University of California System
Scholars:
37.3W
Papers: 33.7W
Citations: 6.6K
I
istituto nazionale geofisica e vulcanologia (ingv)
Scholars:
3.3K
Papers: 2.6K
Citations: 0
U
University of Messina
Scholars:
1.5W
Papers: 1.1W
Citations: 1.1W
researcher View more organizations