【BZOJ】1478: Sgu282 Isomorphism -Polya计数&dfs

传送门:bzoj1478

---

题解

设点数为$n$，$m$种颜色。很容易想到点的置换方式有$n!$种，直接枚举判断同构复杂度太高显然不行。

由$polya$定理，可以通过求每个边转置群$g$循环组个数$ss_g$，总转置集合为$G$，答案即为$\sum _{g\in G} m^{ss_g}$

复杂度还是没有降下来，但$ccosi$学习到了一个巧妙的方法(超神奇！):

考虑利用点置换转化为边置换，且方案只与点转置中每个循环组大小有关，而与具体转置方法无关。

枚举点转置的循环组(有向边形成的环，下文均称其为环)，观察性质可以分别得到环内以及环之间的边的转置的循环组个数。这里的转置均考虑为环上的旋转操作。

设环的大小为$v$，即循环组内点数。则环内的边循环组个数为$\lfloor {\frac v 2}\rfloor$。设另一个环的大小为