计算复杂度.判定图同构(Graph Isomorphism)的计算复杂度是未知的，因此现在仅能被粗略地归类为NP；图匹配(Graph Matching)问题本身的复杂度同样是未知的，但在机器学习领域非常流行的一种约化版本将其视为NP困难的问题的特殊情形其中formula_30表示矩阵的Frobenius模。该QAP约化相当于问：要求找到从formula_1到formula_2的一一映射，使得在此映射下两个图最相似。显然图匹配问题是该QAP问题的一种特殊情形，因为当两个图并不同构时，