Isomorphic Graphs

Graph Isomorphism

定义：给定图 G 和 图 H 如果存在顶点到顶点的双射 f: V(G) - V(H), 当且仅当 (f(v1),f(v2)) 属于 E(H)时，才有 (v1, v2)属于E(G)。

在这个定义中图被看做是无标号、无方向、无权重的，只要具有相同的结构 我们就认为图G和图H是同形的(isomorphic)。如果f是自身到自身的双射，我们就说图是自同形的automorphic.

 

Subgraph Isomorphism Problem 子图同形问题

The subgraph isomorphism problem asks if, given two graphs G and H,does G contain a subgraph isomorphic to H;In other words, given a larger graph G and a smaller (or equal sized) graph H, can you find a subgraph in G that is the same shape as H。

给定图一个较大G和另一个图H 问是否存在一个G的一个子图和图H同形。这个问题是常说的 NP-complete ，这个问题的求解需要消耗很大的计算资源，算法的求解对于大图来说要消耗很长的时间。