无向图 G_1,G_2G 1 ​ ,G 2 ​ 同构当且仅当存在一个 1\sim n1∼n 的排列 qq，满足 \forall (u,v)\in G_1,(q_u,q_v)\in G_2,\forall (u,v)\notin G_1,(q_u,q_v)\notin G_2∀(u,v)∈G 1 ​ ,(q u ​ ,q v ​ )∈G 2 ​ ,∀(u,v)∈ / G 1 ​ ,(q u ​ ,q v ​ )∈ / G 2 ​ 。

题目如是说。但这不是相互矛盾的么？跪求大佬解释一下QAQ