B u r n s i d e 引 理 Burnside引理 Burnside引理
-
公式
L = 1 ∣ G ∣ ∑ i = 1 ∣ G ∣ D G i \begin{aligned}L=\frac{1}{|G|}\sum_{i=1}^{|G|}D_{G_i}\end{aligned} L=∣G∣1i=1∑∣G∣DGi -
一些定义
E i E_i Ei 表示与 i i i同类的方案
Z i Z_i Zi 表示使 i i i不变的置换
G G G 表示所有的置换方法
D i D_i Di 表示 i i i这种置换能使多少方案不变
n n n 表示方案总数
L L L 表示本质不同的方案数 -
引理的引理
∣ E i ∣ ∗ ∣ Z i ∣ = ∣ G ∣ |E_i|*|Z_i|=|G| ∣Ei∣∗∣Zi∣=∣G∣ / / \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ // //这个我不会证明
n = ∑ i = 1 L ∣ E i ∣ \begin{aligned}n=\sum_{i=1}^{L}{|E_i|}\end{aligned} n=i=1∑L∣Ei∣ / / \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ // //这个就是按照定义,注意的是 E i E_i Ei表示的是本质不同的第 i i i种方案
∑ i = 1 n ∣ Z i ∣ = ∑ i = 1 ∣ G ∣ D G i \begin{aligned}\sum_{i=1}^n|Z_i|=\sum_{i=1}^{|G|}D_{G_i}\end{aligned} i=1∑n∣Zi∣=i=1∑∣G∣DGi / / \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ // //这个也是按照定义,就是换了个计算方法,计算的是同样的东西 -
Burnside引理
∑ j = 1 n ∣ Z j ∣ = ∑ i = 1 L ∑ j ∈ E i ∣ Z j ∣ = ∑ i = 1 L ∣ E i ∣ ⋅ ∣ Z i ∣ = L ⋅ ∣ G ∣ \begin{aligned}\sum_{j=1}^n|Z_j|=\sum_{i=1}^L\sum_{j \in E_i}|Z_j|=\sum_{i=1}^L|E_i|·|Z_i|=L·|G| \end{aligned} j=1∑n∣Zj∣=i=1∑Lj∈Ei∑∣Zj∣=i=1∑L∣Ei∣⋅∣Zi∣=L⋅∣G∣
∴ L ⋅ ∣ G ∣ = ∑ j = 1 ∣ G ∣ D G i \begin{aligned}\therefore L·|G|=\sum_{j=1}^{|G|}D_{G_i} \end{aligned} ∴L⋅∣G∣=j=1∑∣G∣DGi
∴ L = 1 ∣ G ∣ ∑ i = 1 ∣ G ∣ D G i \begin{aligned}\therefore L=\frac{1}{|G|}\sum_{i=1}^{|G|}D_{G_i} \end{aligned} ∴L=∣G∣1i=1∑∣G∣DGi
P o l y a 定 理 Polya定理 Polya定理
- 公式
L = 1 ∣ G ∣ ∑ i = 1 ∣ G ∣ m C G i \begin{aligned}L=\frac{1}{|G|}\sum_{i=1}^{|G|}m^{C_{G_i}}\end{aligned} L=∣G∣1i=1∑∣G∣mCGi
其中 m m m为颜色个数, C i C_i Ci为第 i i i种置换有多少个循环
一 个 置 换 的 循 环 个 数 一个置换的循环个数 一个置换的循环个数
一个项链有
n
n
n个珠子,用
k
k
k种颜色涂染会形成多少种不同的项链
两条可通过旋转得到的项链为相同项链
有
n
n
n种置换方式
(
(
(每次旋转
0
,
1
,
2...
n
0,1,2...n
0,1,2...n个珠子
)
)
)
对于一次旋转
i
i
i个珠子的方式,有
g
c
d
(
i
,
n
)
gcd(i,n)
gcd(i,n)个循环
证明
每个循环有的珠子的个数应是一样的
假设从
x
x
x号珠子开始置换,循环结束时一定回到
x
x
x号珠子 如
x
−
>
(
x
+
i
−
1
)
%
n
+
1
−
>
(
x
+
2
i
−
1
)
%
n
+
1
−
>
x
x->(x+i-1)\%n+1->(x+2i-1)\%n+1->x
x−>(x+i−1)%n+1−>(x+2i−1)%n+1−>x
假设循环有
p
p
p个珠子,那么循环
p
p
p次就回到原来的珠子,此时转过
i
i
i和
n
n
n的最小公倍数个珠子
p
⋅
i
=
i
⋅
n
/
g
c
d
(
i
,
n
)
k
∈
Z
p·i=i·n/gcd(i,n) \ \ \ k\in Z
p⋅i=i⋅n/gcd(i,n) k∈Z
∴
p
=
n
/
g
c
d
(
i
,
n
)
\therefore p=n/gcd(i,n)
∴p=n/gcd(i,n)
每个循环有
p
p
p个珠子那么就有
n
/
p
=
g
c
d
(
i
,
n
)
n/p=gcd(i,n)
n/p=gcd(i,n)个循环