简单无向图计数

虽然但是，终于把图论的东西填了那么一点点
速速来记一个

---

首先，我们有一个作用于集合$\Omega$上的群$G$
那么对任意的$a\in \Omega$，
集合 Ω a = { g ( a ) ; g ∈ G } \Omega_a=\{g(a);\quad g\in G\} Ωa​={g(a);g∈G} 称为$\Omega$在$G$作用下的一个轨道

用小黄鸭也能听懂的说法，就是说轨道这个东西吧，在同一个轨道里面的任意两个元素（当然都属于$\Omega$）都可以通过群$G$中的变换互相得到

我们可以定义一种等价关系，就是说
两个元素$a,b$ 如果 存在 $g\in G$ 使得 $g(a)=b$ 那么 $a\sim b$
对称性很显然，因为G是群，群里面的元素都有逆元
那么你马上知道每个等价类都是一个轨道
另外$\Omega$现在可以=轨道的并。轨道们不相交。

---

对于$g\in G$，以及一个$a\in \Omega$，如果$g(a)=a$就说a是g的一个不动点
不动点里面有a的g构成$\Omega$的一个子群，也就是稳定子群
Stab ⁡ G ( a ) = { g ; g ∈ G , g ( a ) = a } \operatorname{Stab}_G(a)=\{g;\quad g\in G,g(a)=a\} StabG​(a)={g;g∈G,g(a)=a}

来一点重要的事情
轨道公式$|{\Omega }_a|=[G:{\mathrm{Stab}}_G(a)]$
只需要证明 { g ( a ) ; g ∈ G } \{g(a);\quad g\in G\} {g(a);g∈G}能够和 { g G a ; g ∈ G } \{gG_a;\quad g\in G\} {gGa​;g∈G}元素一一对应
也就是说$|G|=|{\Omega }_a||{\mathrm{Stab}}_G(a)|$
如果G比较复杂的话可以用这个来确定G的元素个数

Lagrange定理是说，有限群$G$和它的子群$H\le G$ 有 $|G|=|H|[G:H]$
很好记对吧，它的证明特别重要，
证明主要就是$H\le G$的所有左陪集的集合构成$G$的一个划分、
然后又有$|aH|=|H|$，就得到了Lagrange定理，当然也可以用右陪集证
（左陪集的集合到右陪集的集合可以有一个双射）
就是陈述了关于陪集的这样一个简单事实
那我们能够大概对群的结构有点概念

---

然后呢Burnside引理是这样的
有限群$G$作用在有限集$X$上，那么 $X$ 在 $G$ 作用下的轨道数目就是
$$N=\frac{1}{|G|}\sum _{g\in G}\chi (g)$$
其中 $\chi (g)$ 是 $g\in G$ 在 $X$ 上的不动点数目

---

然后我们来考虑这博客的标题
……无标号n点简单（就是无重边和自环）无向图 $(V,E)$ ，现在考虑有多少种本质不同的这样的图。

我们先标号，标号完就可以直接给边搞一个二染色

我们考虑所有有标号简单无向图的集合 $\Omega$ 就有 $|\Omega |=2^{\left(\genfrac{}{}{0ex}{}{n}{2}\right)}$

现在要对没标号的计数！
如果经过任意的对标号的置换，可以互相得到，就说是等价（在一个轨道内）
也就相当于我们是用n次对称群 $S_n$ 作用于 $\Omega$ 上，求轨道数

不是二面体群哦。
n次对称群中，$a_1^{{\lambda }_1}{a}_2^{{\lambda }_2}\cdots a_m^{{\lambda }_m}$型置换有$\frac{|S_n|}{a_1^{{\lambda }_1}{a}_2^{{\lambda }_2}\cdots a_m^{{\lambda }_m}{\lambda }_1!{\lambda }_2!\cdots {\lambda }_m!}$个
这个莎莎型置换的意思就是说它的标准轮换分解式长这个样子，不懂百度去

现在我们来做题
比如说一道题它说不定给你来个$n=6$
我现在就拿$2^1{4}^1$型置换作为例子吧，拿一个$(1234)(56)$代表
首先，(1234)环上的边得同色，5-6爱啥色啥色
（这里的颜色只有两种，就是指的这条边有还是没有！）
轮换之后，1234变成4123，56变成65
1-3连的啥边，2-4也就得是啥边；

现在考虑俩循环节之间的边。
1-5和3-5得分别跟2-6和4-6一样
2-6跟4-6又得分别跟3-5和1-5一样
1-6跟3-6得分别跟2-5和4-5一样
2-5和4-5又得分别跟3-6和1-6一样

综上所述
1-5和3-5和2-6和4-6同色
1-6和3-6和2-5和4-5同色
5-6爱啥色啥色
1-2-3-4-1这个环一个色
所以这个置换的不动点有2^4=16个
慢慢这么算下去
那这就很坐牢了，做做例题还行
轮换嘛，二面体群大家都很熟悉，总得有点规律吧

oi时间到

---

这感觉环不够大，再大点，来个$(123456)$
这个时候环里面吧
135之间的连边应该跟246之间的连边情况一样
并且1-3-5-1和2-4-6-1两个环上的边也分别同色
14之间的连边应该跟25之间的连边和36之间的连边情况一样
为了优雅，12、23、34、45、56、61之间的连边情况一样我们也算进来
是不是距离整除6的点之间的边颜色一样？呵呵

我们考虑$(12345)$ 这个轮换
12345变成51234，嗯嗯实际上马上就知道距离相等的点的连边情况应该一样
比如1-3，2-4，3-5，4-1，5-2 都应该是同样的连边情况

那么那么对于一个长度为n的轮换里面距离为$1,2,\cdots ,\lfloor \frac{n}{2}\rfloor$的点
距离相同的点之间的边颜色都应该相同。
也就是说对于标准轮换分解，每一个长度为$k$的轮换内都有$\lfloor \frac{k}{2}\rfloor$坨同色边
嗯嗯，这么多个等价类

暂时就知道不动点一共有$2^{(\sum \lfloor \frac{k}{2}\rfloor )+?}$个
求和是对标准轮换分解里面的每个轮换求和！

---

然后我们再考虑问号，也就是两个轮换之间的连边，长度分别记为$a,b$
那一共有$ab$条边，
这是一个什么问题呢！我们能不能用一点更数学的语言！

先来定义一下边的等价。
现在问题已经缩小到俩轮换之间的边了，
不妨把一个标号成集合 { 0 , 1 , ⋯   , a − 1 } = A \{0,1,\cdots,a-1\}=A {0,1,⋯,a−1}=A，
另一个 { 0 , 1 , 2 , ⋯   , b − 1 } = B \{0,1,2,\cdots,b-1\}=B {0,1,2,⋯,b−1}=B
然后边表示为点对$(\overline{x},\overline{y})$，尽管跟gcd符号有点冲突不过不要紧的啦
上划线是为了方便，完整写出来应该是(x mod a，y mod b)

现在，我们来研究群$G^{\prime }$就是循环群$<g_1>$，作用在$A\times B$上
里面的$g_1$就是把点对的两边分别按照对应的轮换搞一下
所以明显$g_1^{lcm(a,b)}=e$（单位元）也就是说$|G^{\prime }|=o(g_1)=lcm(a,b)$
如果一条边在k次轮换后变成另一条边，这两条边明显应该是颜色相同的

就有了等价关系：
如果$\exists g\in G^{\prime }$（或者说有k使得$g=g_1^k$）使得$g(a)=b$则记$a\sim b$
现在就是要求有多少个轨道
Ω ( x ‾ , y ‾ ) = { ( x + k m o d    a , y + k m o d    b ) ; k ∈ N } \Omega_{(\overline{x},\overline{y})}=\{(x+k\mod a,\quad y+k\mod b);\quad k\in\N\} Ω(x,y​)​={(x+kmoda,y+kmodb);k∈N}

大家对同余的性质一定都很熟悉吧！就算不熟悉也可以发现这些轨道都很纯良，它们的代表元的稳定子群里面都只有单位元，于是大小相等，均为$|G^{\prime }|$ ……而且互不相交的轨道组成$\Omega$的一个划分。
所以一共有$\frac{|\Omega |}{|G^{\prime }|}=gcd(a,b)$个轨道！

也就是说又有这么多坨同色边！
所以不动点一共有$2^{(\sum \lfloor \frac{k}{2}\rfloor )+\sum \sum gcd(a,b)}$个
gcd前面的求和号当然是枚举标准轮换分解里面任意的两个轮换组成的集合
嗯，我都说了是集合了，顺序当然无所谓，别给算重复了

好的然后再优化一下细节我们就可以通过伟大的[HNOI2009]图的同构计数
哈哈，没想到吧！