子图同构是一个np完全问题,而图同构问题，至今未被证明是否属于p或np问题。