差污染时，更常用该约化形式并予以近似求解。另有与两个问题相关的更进一步的问题：子图同构已被证明是NP完全问题。2015年，芝加哥大学教授、匈牙利裔计算机科学家宣布证明了图同构问题可以在准多项式(Quasi-polynomial)时间内求解。哈洛德·贺欧夫各特指出了文中的一处错误，随后Babai宣布修正了该错误并更新了论文。对于以下的特殊情形，图同构问题是可以多项式时间甚至快速求解的：
惠特尼图同构定理.惠特尼图同构定理是由Hassler Whitney提出的。该定理内容是