Burnside引理和polay计数学习笔记

首先提出一个问题，在一个2*2的矩阵里染色，旋转后相同算作一种，问有多少种染色方法。

显然穷举有那么多种，然后发现，（3，4，5，6）是同一种，（7，8，9，10）是一种，（11，12）是一种，（13，14，15，16），1是一种，2是一种。

发现，颜色少的时候，格子少的时候还是很容易枚举的，但是当问题规模大的时候，计算起来就会比较麻烦。

所以我们要来介绍一下Burnside定理和polay计数。

首先是Burnside定理，介绍之前，首先介绍几个概念。

一。置换群$G$，即所有的置换。以上面的为例子，置换一共有4种—旋转0度，旋转90度，旋转180度，旋转270度。所以$|G|=4$

二。第二个概念，$Z_{k}$ 对于每个元素K，这里的K满足$1<=k<=16$,$G$中使得K保持不变的置换全体。

eg.$Z_1=\{g_1,g_2,g_3,g_4\}$

$Z_{11}=\{g_1,g_3\}$

三。第三个概念，$E_k$ 对于每个元素k，在四种置换下依次得到G下的转换的编号。

eg.$E_1=\{1\}$,$E_2=\{3,4,5,6\}$

没一个$E_i$其实就是一个等价类。

根绝上述定义，很容易得到一个公式：

|Ek|∗|Zk|=