設 
為 簡單圖 的 頂點集，
為其 邊集。那麼從 簡單圖 
到 簡單圖 
的圖同構是一個 雙射 
，使得 
當且僅當 
(West 2000, p. 7)。
如果存在從 
到 
的圖同構，則稱 
與 
同構，記作 
。
目前還沒有已知的 P 演算法用於圖同構測試，儘管該問題也未被證明是 NP-完全 的。因此，特殊的複雜度類 圖同構完全 有時被用來指代圖同構測試問題。
圖同構
另請參閱
圖自同構, 圖同構完全, 同構, 同構圖, 同構使用 探索
參考文獻
Du, D.-Z. 和 Ko, K.-I. Theory of Computational Complexity. New York; Wiley, p. 117, 2000.Garey, M. R. 和 Johnson, D. S. Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: W. H. Freeman, pp. 155-156, 1983.McKay, B. "Practical Graph Isomorphism." Congr. Numer. 30, 45-87, 1981.Skiena, S. "Graph Isomorphism." §5.2 in Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Reading, MA: Addison-Wesley, pp. 181-187, 1990.West, D. B. Introduction to Graph Theory, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 2000.在 中被引用
圖同構請引用為
Weisstein, Eric W. “圖同構。” 來自 Web 資源。 https://mathworld.tw/GraphIsomorphism.html