Superconductor Amoeba-Inspired Problem Solvers for Combinatorial Optimization

Naoki Takeuchi, Masashi Aono, Nobuyuki Yoshikawa

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic family; the energy dissipation of an AQFP gate can be arbitrarily reduced through adiabatic switching. In addition to high energy efficiency, AQFP logic has the advantage that it can easily introduce stochastic processes by exploiting naturally occurring thermal fluctuations. We propose using AQFP logic to implement an amoeba-inspired problem solver (APS), which is a stochastic local search method to explore solutions to combinatorial optimization problems such as the Boolean satisfiability problem (SAT). We designed a superconductor amoeba-inspired problem solver (SAPS) using AQFP logic, which finds solutions to a simple logical constraint satisfaction problem in the manner of APS, and fabricate it using a Nb integrated circuit fabrication process. Experimental results show that the probability distribution of the stochastic processes in AQFP logic can be controlled by the magnitude of bias current and that SAPS finds solutions using a small number of iterations when a moderate bias current is applied. The present results indicate the possibility of using AQFP logic to build hardware dedicated to the implementation of stochastic local search algorithms to solve combinatorial optimization problems such as SAT.

Original languageEnglish
Article number044069
JournalPhysical Review Applied
Volume11
Issue number4
DOIs
Publication statusPublished - 2019 Apr 22

Fingerprint

amoeba
logic
optimization
stochastic processes
iteration
integrated circuits
hardware
energy dissipation
fabrication
energy

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Cite this

Superconductor Amoeba-Inspired Problem Solvers for Combinatorial Optimization. / Takeuchi, Naoki; Aono, Masashi; Yoshikawa, Nobuyuki.

In: Physical Review Applied, Vol. 11, No. 4, 044069, 22.04.2019.

Research output: Contribution to journalArticle

@article{5cfd0f1d1fd74b059e1a7a5d4cdad421,
title = "Superconductor Amoeba-Inspired Problem Solvers for Combinatorial Optimization",
abstract = "Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic family; the energy dissipation of an AQFP gate can be arbitrarily reduced through adiabatic switching. In addition to high energy efficiency, AQFP logic has the advantage that it can easily introduce stochastic processes by exploiting naturally occurring thermal fluctuations. We propose using AQFP logic to implement an amoeba-inspired problem solver (APS), which is a stochastic local search method to explore solutions to combinatorial optimization problems such as the Boolean satisfiability problem (SAT). We designed a superconductor amoeba-inspired problem solver (SAPS) using AQFP logic, which finds solutions to a simple logical constraint satisfaction problem in the manner of APS, and fabricate it using a Nb integrated circuit fabrication process. Experimental results show that the probability distribution of the stochastic processes in AQFP logic can be controlled by the magnitude of bias current and that SAPS finds solutions using a small number of iterations when a moderate bias current is applied. The present results indicate the possibility of using AQFP logic to build hardware dedicated to the implementation of stochastic local search algorithms to solve combinatorial optimization problems such as SAT.",
author = "Naoki Takeuchi and Masashi Aono and Nobuyuki Yoshikawa",
year = "2019",
month = "4",
day = "22",
doi = "10.1103/PhysRevApplied.11.044069",
language = "English",
volume = "11",
journal = "Physical Review Applied",
issn = "2331-7019",
publisher = "American Physical Society",
number = "4",

}

TY - JOUR

T1 - Superconductor Amoeba-Inspired Problem Solvers for Combinatorial Optimization

AU - Takeuchi, Naoki

AU - Aono, Masashi

AU - Yoshikawa, Nobuyuki

PY - 2019/4/22

Y1 - 2019/4/22

N2 - Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic family; the energy dissipation of an AQFP gate can be arbitrarily reduced through adiabatic switching. In addition to high energy efficiency, AQFP logic has the advantage that it can easily introduce stochastic processes by exploiting naturally occurring thermal fluctuations. We propose using AQFP logic to implement an amoeba-inspired problem solver (APS), which is a stochastic local search method to explore solutions to combinatorial optimization problems such as the Boolean satisfiability problem (SAT). We designed a superconductor amoeba-inspired problem solver (SAPS) using AQFP logic, which finds solutions to a simple logical constraint satisfaction problem in the manner of APS, and fabricate it using a Nb integrated circuit fabrication process. Experimental results show that the probability distribution of the stochastic processes in AQFP logic can be controlled by the magnitude of bias current and that SAPS finds solutions using a small number of iterations when a moderate bias current is applied. The present results indicate the possibility of using AQFP logic to build hardware dedicated to the implementation of stochastic local search algorithms to solve combinatorial optimization problems such as SAT.

AB - Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic family; the energy dissipation of an AQFP gate can be arbitrarily reduced through adiabatic switching. In addition to high energy efficiency, AQFP logic has the advantage that it can easily introduce stochastic processes by exploiting naturally occurring thermal fluctuations. We propose using AQFP logic to implement an amoeba-inspired problem solver (APS), which is a stochastic local search method to explore solutions to combinatorial optimization problems such as the Boolean satisfiability problem (SAT). We designed a superconductor amoeba-inspired problem solver (SAPS) using AQFP logic, which finds solutions to a simple logical constraint satisfaction problem in the manner of APS, and fabricate it using a Nb integrated circuit fabrication process. Experimental results show that the probability distribution of the stochastic processes in AQFP logic can be controlled by the magnitude of bias current and that SAPS finds solutions using a small number of iterations when a moderate bias current is applied. The present results indicate the possibility of using AQFP logic to build hardware dedicated to the implementation of stochastic local search algorithms to solve combinatorial optimization problems such as SAT.

UR - http://www.scopus.com/inward/record.url?scp=85064882382&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85064882382&partnerID=8YFLogxK

U2 - 10.1103/PhysRevApplied.11.044069

DO - 10.1103/PhysRevApplied.11.044069

M3 - Article

AN - SCOPUS:85064882382

VL - 11

JO - Physical Review Applied

JF - Physical Review Applied

SN - 2331-7019

IS - 4

M1 - 044069

ER -