If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。
If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。
应用推荐