Burnside定理 && Polya定理

学数论的上午注定是自闭的。

原作: By Lucky_Glass

Burnside定理

主要是自己理解，简单的地方不多赘述。

置换

$(f\cdot g)(x)=f(g(x))$

恒等置换

单位元：$\iota$
逆函数：$f\cdot f^{-1}=\iota$

置换群

令定义在$1-n$上的所有置换组成的集合为$S_n$ ，对于它的一个非空子集$G$ ，如果它满足:

1. 对合成运算的封闭性： 对于任意$f,g\in G$，满足$f\cdot g\in G$
2. 存在单位元： $\iota \in G$
3. 对逆元的封闭性： 若$f\in G$，则$f^{-1}\in G$

则称其为置换群。对于任意置换群，满足消去律，即若$f,g,h\in G$，且$f\cdot g=f\cdot h$，则$g=h$

着色

将$n$边形的着色情况表示为$c=(c1,c2,...,cn)$，其中$ci$表示$i$点的颜色

现在来定义置换对着色的作用：对于$G$中的一个置换$f$和一个着色方案$c$，置换$f$对$c$的影响作用结果为$f\cdot c$，而其满足$(f\cdot c)(x)=c(f^{-1}(x))$，$x$表示$x$位置的颜色。

举个例子，
$$f=\left(\begin{array}{ccc}1& 2& 3\\ 2& 3& 1\end{array}\right),c=(2,1,3)$$

$c(3)=2$，这是置换后的结果

$$f^{-1}=\left(\begin{array}{ccc}1& 2& 3\\ 3& 1& 2\end{array}\right),c=(2,1,3)$$
$c(3)=2$，发现就是将$f^{-1}(x)$上对应$x$号当前位置在$c$中的颜色，这里可以自行理解

前置定理

等价着色

在置换群$G$中，若$c_1=c_2$，则存在$f\in G\cdot c_1=c_2$

一些定义

然后我们给出一些定义。

1. 若$G$为置换群，则 G ( c ) = { f ∣ f ∈ G   & &   f ⋅ c = c } G(c)=\{f|f\in G\ \&\&\ f\cdot c=c\} G(c)={f∣f∈G && f⋅c=c},即$G(c)$为使$c$不变的置换集
2. 定义$C$为所有可行着色方案组成的集合
3. $C(f)$为$f$置换后不变的着色方案$c$
4. $E(c)$为关于$G$和着色方案$c$等价的方案集合
5. $N(G,C)$表示在$G$的作用下$C$中不等价的方案数

推导

引理1

如果$f$使$c$不变，那么$f^{-1}$也使$c$不变
$$\iota \cdot c=c$$
$$(f\cdot f^{-1})\cdot c=c$$
$$f^{-1}\cdot (f\cdot c)=c$$
$$f^{-1}\cdot c=c$$

• 单位元：$\iota \in G(c)$
• 对合成运算的封闭：这很显然了
• 对逆函数的封闭性：这也很显然了

定理1

$f,g\in G$满足$f\cdot c=g\cdot c$，当且仅当$f^{-1}\cdot g\in G(c)$

$$(f^{-1}\cdot g)\cdot c=f^{-1}\cdot (g\cdot c)$$
$$=f^{-1}\cdot (f\cdot c)=c$$

$f\cdot c=f\cdot [(f^{-1}\cdot g)\cdot c]=g\cdot c$
综上，$f\cdot c=g\cdot c\iff f^{-1}\cdot g\in G(c)$

定理2（轨道-稳定集定理）

为了便于阅读，再把定义挂一遍

1. 若$G$为置换群，则 G ( c ) = { f ∣ f ∈ G   & &   f ⋅ c = c } G(c)=\{f|f\in G\ \&\&\ f\cdot c=c\} G(c)={f∣f∈G && f⋅c=c},即$G(c)$为使$c$不变的置换集
2. 定义$C$为所有可行着色方案组成的集合
3. $C(f)$为$f$置换后不变的着色方案$c$
4. $E(c)$为关于$G$和着色方案$c$等价的方案集合
5. $N(G,C)$表示在$G$的作用下$C$中不等价的方案数

$|E(c)|=\frac{|G|}{|G(c)|}$

证明：
若$f\cdot c=g\cdot c$,可得到$f^{-1}\cdot c\in G(c)$
因为满足消去律，所以这样的$g$有$|G(c)|$个
对于每个$f$，都有$|G(c)|$置换关于$c$和它等价，所以$|E(c)|=\frac{|G|}{|G(c)|}$

定理3(Burnside)

$G$为置换群,$C$满足对于任意$f$，$c$，$f\cdot c\in C$，那么在置换群$G$的作用下，$C$中不等价的着色方案数为:
$$N(G,C)=\frac{1}{|G|}\sum _{f\in G}|C(f)|$$

证明： 考虑对$f\cdot c=c$的二元组$(f,c)$进行计数。

如果枚举$f$，则为${\sum }_{f\in G}|C(f)|$
如果枚举$c$， 则为${\sum }_{c\in C}|G(c)|$
加上定理2的转换形式，可以得到：
$$\sum _{f\in G}|C(f)|=\sum _{c\in C}|G(c)|=\sum _{c\in C}\frac{|G|}{|E(c)|}$$
所以可得到
$$\frac{1}{|G|}\sum _{f\in G}|C(f)|=\sum _{c\in C}\frac{1}{|E(c)|}$$

考虑右边式子的意义：对于等价的每个着色$f$，贡献为$\frac{1}{|E(c)|}$，那么等价的着色集合的贡献为$1$，那么该式子就为不等价的着色方案数。

个人感觉Burnside推导过程难度并不大，不太懂的地方可以举例理解一下。

Polya定理

讲完Burnside, 趁热打铁讲一讲 Polya, Polya其实就是将Bornside的公式转换为另一种形式，更方便题目求解。

循环

引入一个新的概念：循环。
我们发现，一个置换可以将$n$个数划分为几个循环。我们将划分出的循环的个数定义为循环节

讲解

这里给出一个例子吧(因为有图方便盗了

给一个2*2的方阵的每个格子涂上红色或者绿色，如果两种涂色方案在旋转之后相同，视为同一种，共有多少种不同的涂色方案？

我们把经过旋转后相同的涂色方案视为一个等价类，共有6个等价类

显然置换集合包括4种置换：不转，转$90°$，转$180°$和转$270°$
我们给格子标上号，左上角格子标为$1$，顺时针依次是$2,3,4$，就能写出$4$种置换对应的排列
我们定不转为置换$f0$，顺时针转$90°$为置换$f1$，顺时针转$180°$为置换$f2$，顺时针转$270°$为置换$f3$

$fi$为$C(fi)$，可得到:
$f_0=[1]-[16]$
$f_1=[1][2]$
$f_2=[1][2][11][12]$
$f_3=[1][2]$

所以$N=(f_0+f_1+f_2+f_3)/4=(16+2+4+2)/4=6$

然而，怎样求$C(f)$呢？
我们考虑f分解出的循环，例如：上一个问题中，$f_0$分解出的循环为$(1)(2)(3)(4)$，$f_1$分解出的循环为$(1,2,3,4)$。因为$f$可以看成是每个分解出的循环自行进行置换，所以对于$f$分解出的每个循环，应该在置换后相同。不同循环互相独立。例如：上一个问题中，$f_0$分解出$4$个循环，所以$4$个循环每
个循环只能有一个颜色，不同循环互相独立，所以共有$2^4=16$个不动点；$f_1$分解出$1$个循环，所以这个循环只能有一个颜色，所以共有$2^1=2$个不动点。

如果置换$f$分解为$m(f)$个循环的乘积形式，那么每个循环内相当于涂上同样的颜色。假设涂$k$种颜色，则有$C(f)=k^{m(f)}$。将这个式子代入Burnside引理，得到Polya定理：等价类的个数等于所有置换$f$的$k^{m(f)}$的平均数

式子表达为：
$$N(G,C)=\frac{1}{|G|}\sum _{f\in G}{k}^{m(f)}$$

Polya与母函数

用一道题来引入：
一家项链公司生产手镯。$n$颗珠子形成一个环，用$m$种颜色给$n$颗珠子染色，就得到了各种各样的手镯。但是，经过旋转和翻转使之吻合的算同一种方案。
例如，当用$2$种颜色对$5$颗珠子进行染色的方案数为$8$，如下图所示。