Mapping induced subgraph isomorphism problems to ising models and its evaluations by an ising machine

Natsuhito Yoshimura, Masashi Tawada, Shu Tanaka, Junya Arai, Satoshi Yagi, Hiroyuki Uchiyama, Nozomu Togawa

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

SUMMARY Ising machines have attracted attention as they are expected to solve combinatorial optimization problems at high speed with Ising models corresponding to those problems. An induced subgraph isomorphism problem is one of the decision problems, which determines whether a specific graph structure is included in a whole graph or not. The problem can be represented by equality constraints in the words of combinatorial optimization problem. By using the penalty functions corresponding to the equality constraints, we can utilize an Ising machine to the induced subgraph isomorphism problem. The induced subgraph isomorphism problem can be seen in many practical problems, for example, finding out a particular malicious circuit in a device or particular network structure of chemical bonds in a compound. However, due to the limitation of the number of spin variables in the current Ising machines, reducing the number of spin variables is a major concern. Here, we propose an efficient Ising model mapping method to solve the induced subgraph isomorphism problem by Ising machines. Our proposed method theoretically solves the induced subgraph isomorphism problem. Furthermore, the number of spin variables in the Ising model generated by our proposed method is theoretically smaller than that of the conventional method. Experimental results demonstrate that our proposed method can successfully solve the induced subgraph isomorphism problem by using the Ising-model based simulated annealing and a real Ising machine.

Original languageEnglish
Pages (from-to)481-489
Number of pages9
JournalIEICE Transactions on Information and Systems
VolumeE104.D
Issue number4
DOIs
Publication statusPublished - 2021 Apr

Keywords

  • Annealing machine
  • Induced subgraph
  • Ising machines
  • Ising model
  • Isomorphism problem
  • Quadratic unconstraint binary optimization

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Mapping induced subgraph isomorphism problems to ising models and its evaluations by an ising machine'. Together they form a unique fingerprint.

Cite this