图匹配问题的历史和状态
了解更多关于此问题的部分困难在于，图匹配问题与其更著名的表亲（匹配问题）不同，但在使用搜索引擎时很难与之区分开。 给定两个图G=(V,E)G=(V,E)G=(V,E)和G′=(V′,E′)G′=(V′,E′)G'=(V',E')，使得|V|=|V′||V|=|V′||V| = |V'|，任务是找到一个双射峰π:V→V′π:V→V′\pi : V \rightarrow V'，使得该双射峰在GGG和边缘之间建立尽可能多的对应关系G′G′G'。 换句话说，如果MMM和M′M′M'是邻接矩阵，那么我们想最大化 ∑v,w∈VMv,w⋅M′π(v),π(w)∑v,w∈VMv,w⋅Mπ(v),π(w)′\sum_{v,w \in V} M_{v,w} \cdot M'_{\pi(v),\pi(w)} 这个问题显然包含图同构作为特例，并且可以在（非多项式！）归约条件下简化为二分匹配。 确实存在哪种算法，对其复杂性了解多少？