A quantum circuit mapping method based on an SMT solver and related devices

Abstract

The application discloses a kind of quantum circuit mapping method and related device based on SMT solver, method includes: constructing the mapping constraint condition of quantum circuit mapping to quantum processor as the constraint condition of SMT solver;According to quantum circuit, multiple mapping output variables are defined as the variable of SMT solver;Mapping output variable includes mapping event variable, SWAP variable and timing variable;Mapping event variable represents t time instant logical bit to physical bit;SWAP variable represents the number of SWAP gate required to realize two-bit quantum logic gate at t time instant;The information of target quantum circuit to be mapped and the information of quantum processing are input to SMT solver, and the value of mapping output variable is obtained to complete the mapping of target quantum circuit.This application obtains the mapping relationship of quantum circuit execution mapping operation by introducing SMT solving mechanism, aims at improving the mapping effect of quantum bit and the reliability and accuracy in mapping process, to achieve the purpose of optimizing the performance and efficiency of quantum computing.

Images