After the circuit is abstracted as a directed graph, circuits matching problem is solved by subgraph isomorphism algorithm.

• 将电路抽象成有向图的数学模型后，采用了子图同构算法实现电路匹配。