### 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 language | English |
---|---|

Article number | 044069 |

Journal | Physical Review Applied |

Volume | 11 |

Issue number | 4 |

DOIs | |

Publication status | Published - 2019 Apr 22 |

### Fingerprint

### ASJC Scopus subject areas

- Physics and Astronomy(all)

### Cite this

*Physical Review Applied*,

*11*(4), [044069]. https://doi.org/10.1103/PhysRevApplied.11.044069

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

Research output: Contribution to journal › Article

*Physical Review Applied*, vol. 11, no. 4, 044069. https://doi.org/10.1103/PhysRevApplied.11.044069

}

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 -