判定2图是否同构的算法

免责声明:我是图论的新手,我不确定这是否属于SO,Math SE等等。

给定两个邻接矩阵A和B,如何确定A和B是否同构。

例如,A和B不是同构的,C和D是同构的。

A = [ 0 1 0 0 1 1     B = [ 0 1 1 0 0 0
      1 0 1 0 0 1           1 0 1 1 0 0
      0 1 0 1 0 0           1 1 0 1 1 0
      0 0 1 0 1 0           0 1 1 0 0 1
      1 0 0 1 0 1           0 0 1 0 0 1
      1 1 0 0 1 0 ]         0 0 0 1 1 0 ]

C = [ 0 1 0 1 0 1     D = [ 0 1 0 1 1 0
      1 0 1 0 0 1           1 0 1 0 1 0
      0 1 0 1 1 0           0 1 0 1 0 1
      1 0 1 0 1 0           1 0 1 0 0 1
      0 0 1 1 0 1           1 1 0 0 0 1
      1 1 0 0 1 0 ]         0 0 1 1 1 0 ]   

(sorry for this ugly notation, I'm not quite sure how to draw matrices on SO)

以下是我如何开始我的算法(请原谅我缺乏数学严谨性)请帮助我完成/纠正!

1. 如果尺寸(边数,在本例中为1s)为A!=B的大小=>图不是同构的
2. 对于A的每个顶点,计算其度数并在B中查找具有相同度数的匹配顶点 和 之前没有匹配。如果没有匹配,则表示图不是同构的。
3. 既然我们不能很快证明A和B不是同构的,下一步怎么办? 在A与B匹配之前,尝试A中每一行的排列是否正确?真的不确定这个。。。