Subgraph isomorphism-combined quantum circuit program general transformation method

The invention provides a Subgraph isomorphism-combined quantum circuit program general transformation method. A quantum circuit is expressed as a DAG of quantum bit information on which a vertex is a single quantum gate or a double quantum gate and an edge is an arc tail node; a subgraph isomorphic QVF algorithm is proposed on the DAG to solve the line mode matching problem, and a subgraph replacement algorithm is designed based on line matching information. A mode description format of a quantum circuit equivalence relation is further introduced, and two specific mode categories and description formats of a general mode and a merging mode are defined, so that the rewriting method can process rewriting problems such as circuit optimization and circuit conversion. Experiments on a quantum test program set provided by IBM and ScaffCC show that the continuous single quantum gate optimization realized by the method provided by the invention can provide 10% of optimization rate for the scale of the quantum program