Method and system for quantum computing

A computer system, comprising:

• a processor;
• and
• a storage device coupled to the processor and storing instructions which when executed by the processor cause the processor to perform a method, the method comprising:
• constructing a graph corresponding to a quantum circuit comprising a plurality of quantum gates, wherein each vertex within the graph corresponds to a distinct variable used for computing amplitude of the quantum circuit, and wherein the graph comprises at least one edge corresponding to one or more single-qubit gates and at least one edge corresponding to one or more two-qubit quantum gates;
• performing a search on the graph to identify a vertex within the graph that is coupled to at least two edges, with each coupled edge corresponding to at least one two-qubit quantum gate;
• simplifying the graph by removing the identified vertex, thereby removing the at least two edges coupled to the identified vertex;
• and
• simulating behavior of the quantum circuit, which comprises evaluating the simplified graph.

A non-transitory computer-readable storage medium storing instructions that when executed by a computer cause the computer to perform a method, the method comprising:

• constructing a graph corresponding to a quantum circuit comprising a plurality of quantum gates, wherein each vertex within the graph corresponds to a distinct variable used for computing amplitude of the quantum circuit, and wherein the graph comprises at least one edge corresponding to one or more single-qubit gates and at least one edge corresponding to one or more two-qubit quantum gates;
• performing a search on the graph to identify a vertex within the graph that is coupled to at least two edges, with each coupled edge corresponding to at least one two-qubit quantum gate;
• simplifying the graph by removing the identified vertex, thereby removing the at least two edges coupled to the identified vertex;
• and
• simulating behavior of the quantum circuit, which comprises evaluating the simplified graph.