在参考formula_25输出的结果的基础上再花费至多formula_28时间就可找出至少一个做成图同构的一一对应)。
计算复杂度.判定图同构(Graph Isomorphism)的计算复杂度是未知的，因此现在仅能被粗略地归类为NP；图匹配(Graph Matching)问题本身的复杂度同样是未知的，但在机器学习领域非常流行的一种约化版本将其视为NP困难的问题的特殊情形其中formula_30表示矩阵的Frobenius模。该QAP约化相当于问：要求找到从formula_1到fo