圖同構有限簡單圖同構是頂點雙射，對所有頂點對完整保持鄰接與非鄰接。atlas-graph-isomorphism · canonical_mko圖同構前置節點有限簡單無向圖雙射與唯一原像二元關係與集合投影