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