子图同构图同构定义：对于图\(G=(V,E)\)和\(G'=(V',E')\)，如果存在双射函数\(f:V\toV'\)，使得\((v_i,v_j)\inE\)当且仅当\((f(v_i),f(v_j))\inE'\)，则称\(G\)与\(G'\)同构，记作\(G\congG'\)。子图同构问题：给定点数为\(n\)的图\(G=(V,E)\)

图同态homomorphism意义：提供了一种简化研究对象结构但是保留了原图邻接关系的一种方法.定义：给定图\(G,H\)，若存在映射\(f:V(G)\rightarrowV(H)\)使得\(uv\inE

点权和颜色的操作不对称，尝试转化为同类操作。对于颜色的操作可以看作：交换两点颜色，然后反色那么可以将颜色和点权绑在一起交换，最终颜色是否反色取决于路径长度的奇偶性。

题面传送门我们考虑这个奇怪的交换方式有没有什么性质。如果我们将每个点与其点权捆绑，可以发现这个操作方法就是每次交换使点权取反。于是可以对每个子图分类讨论：如果