图同构的充要条件