Abstract: In the noisy intermediate scale quantum (NISQ) era, the restricted connectivity of qubits in quantum chip makes direct execution of dual quantum gates in quantum circuits impossible. Therefore, it is of great significance to map logical quantum circuits onto quantum chips and make double quantum gates directly executable. This paper proposes a quantum circuit mapping method based on dynamic division of circuits and recombination of gate sequences, and conducts an equivalence verification of swapping rules based on ZX-calculus. The method divides the circuit into three layers dynamically, sets a moving window behind the reference gate during the mapping process, and adopts a left-greedy movement method to reorganize the gate sequence through the exchange rules, thereby reducing the number of additional gates in the mapping process. Experimental results show that, compared with existing mapping methods, the method proposed in this work requires fewer additional gates, with an average optimization rate of 24% and a maximum optimization rate of 46%.

Key words: quantum computing, quantum mapping, exchange rule, equivalence verification, cost optimization