【BZOJ1488】[HNOI2009]图的同构计数

题目链接

题意

求 n 个点的同构意义下不同的图的数量。$(n\le 60)$

Sol

$Polya$ 定理的练手题。
我们这里先把边的存在与否变成对边进行黑白染色,白色代表不存在,这样就变成了一个对完全图中的边进行染色的问题,于是可以使用 对$Burnside$引理 进行优化后的 $Polya$ 定理。

显然总的置换群大小是 $n!$ 对应了每一种对边进行重新编号的方案,关键就在于要求出不动点的个数。
使用 $Polya$ 定理,那么只需要求出所有关于边的置换中每一个置换被分成的循环总个数(也就是等价类总个数)。
显然每一个对于点的置换都唯一对应一个对于边的置换。但是即使是这样,置换数目依然是不可枚举的。所以我们肯定要另求他法。
由于最后的计算只和被分解成的循环个数有关,于是我们可以爆搜出所有的整数拆分方案代表最后循环的格式。
考虑可能处于一个等价类的边集要么这些边的端点都位于一个点的循环内部,要么这些边的端点仅连接了两个不同的循环。
首先考虑一个循环内部边集的等价类个数,假设有 n 个点,那么只用考虑这 n 个点的完全图中的边。我们把这些点排成一排,这样每一条边就有了一个跨度,循环一次相当于把这些点全部往前挪动一位并且把最前面的点扔到最后面去,这样显然跨度相同的边会在一个等价类里,然后由于这是一个环 那么跨度为 $d$ 的和跨度为 $n-d+1$ 的也是等价的 , 跨度总共有$(n-1)$种于是总共有 $\lfloor \frac{n}{2}\rfloor$ 种等价类。
然后考虑两个循环之间的等价类个数 , 假设大小为别为 $a,b$ , 我们把两个循环就看作是一个环 , 每次置换相当于是把两个环同时转动一圈 , 这样子总共会便历到的边就有 l c m ( a