离散数学怎么判断图的同构

　　在抽象代数（abstract algebra）中，同构（isomorphism）指的是一个保持结构的双射（bijection）。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。

　　同构是在数学对象之间定义的一类映射，它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射，那么这两个结构叫做“是同构的”。一般来说，如果忽略同构对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。