设两个图 ,如果存在双射函数 使得对任意的 (或者有向边)当且仅当 ,并且两个边的 重数 相同,则称 同构,记为

对于 邻接矩阵

交换 ij 行,同时交换 ij 列,重复若干次都是重构

判断邻接矩阵同构