graph isomorphic（using adjacency matrix）

图同构（isomorphic）的定义：（不理解直接跳过即可）

if and only if there exists a bijection alpha from vertex set of G to the vertex set of H,such that alpha of u,alpha of v is an edge of H if and only if uv is an edge of G.

下面是举例说明这个式子：

alpha由图中的例子可以清楚的看出，就是一种映射关系，即将图G的12345node映射到图H的54123node。
这种对应关系可以由（153）（24）表示，
即1->5,5->3,3->1如此循环，2->4,4->2如此循环

• note:
  telling you: the bijection alpha preserves adjacency and non-adjacency
  （其实，alpha就蕴含了node之间的关系）
  all the information in a graph is contained in its adjacency matrix
  （而关于图的所有信息其实都在邻接矩阵中了，于是核心思想就是，可以通过邻接矩阵判断两个图是否同构。）

而最开始定义中的公式即：

12为图G的一条边，那么根据对应法则，alpha(1)->5,alpha(2)->4，即54对应上了图H的一条边。
同理，因为14不是图G的一条边，因此根据对应法则产生的边52，页不属于图H。

用（邻接）矩阵来定义和描述这种关系：

即：若图G同构于图H，当且仅当存在一个置换矩阵P，使得P*adjacent-matrix(H)*P转置=adjacent-matrix(G)

G和H的邻接矩阵如图，而用permutation matrix可以完美的表示alpha（如图）

验证：