Burnside引理和polay计数学习笔记

本文参考自：https://blog.csdn.net/lyc1635566ty/article/details/52545355
  首先由一个 2 * 2的矩阵里染色问题引出：
  在一个 2 * 2的矩阵中染色，问有多少种染色方法，旋转后相同的算一种。

  显然穷举的话，有以上种，但是不难发现，（2，3，4，5）是同一种，（6，7）是同一种，（8，9，10，11）是一种，（12，13，14，15），1，16分别是一种。
  当颜色少、格子少的时候，很容易枚举，但是当问题规模大的时候，枚举起来就比较麻烦。
  所以我们要用到Burnside定理和Polay计数。

Burnside定理

  先简单介绍几个概念：

1. 置换群G，即所有的置换。以上面为例，一共有四种置换——旋转0°(g₁)，旋转90°(g₂)，旋转180°(g₃)，旋转270°(G₄)。所以 |G| = 4；
2. Z_k表示以上面为例，对于每个元素，当 k 满足 1 <= k <= 16，G中使得 k 保持不变的置换全体。
   eg. Z₁ = {g₁,g₂,g₃,g₄}
   Z₂ = {g₁}
3. E_k表示以上面为例，对于四种置换下依次得到G下的转换的编号。
   eg.E₁ = {1}，E₂ = {2,3,4,5}
   每一个E_i其实就是一个等价类。
   根据上面的定义很容易得到一个公式：
   |E_k| * |Z_k| = |G|
   PS：|E_k|是第k个元素，在|G|重置换下形成的种数。
   |Z_k|表示 k 在|G|种置换下保持不变的个数。
   |G|表示置换种数
4. D(g_i)表示在第i种置换下，没有发生变换的元素个数，以上面为例：
   D(g₁) = 16，D(g₂) = 2，D(g₃) = 4，D(g₄) = 2。
   在第一种置换（转0°）下，上面的16个元素（图)都不发生变化。
   在第二种置换（转90°）下，上木安只有1和16元素不变
   ……
   显然有个公式
   ${\sum }_{j=1}^{16}|Z_i|$ =${\sum }_{i=1}^4|D_{g_i}|$
   推导一下：
   n = ${\sum }_{i=1}^L|E_i|$ ps.L个等价类
   ${\sum }_{j=1}^n|Z_j|$ = ${\sum }_{i=1}^L{\sum }_{j\in E}|Z_i|$ = ${\sum }_{i=1}^L|E_i|\ast |Z_i|$ = L*|G|
   又因为${\sum }_{j=1}^{16}|Z_i|$ = ${\sum }_{i=1}^4|D_{g_i}|$
   所以推出了我们著名的Burnside定理：
   
   这就是著名的Bunrside定理。
   第一步，求出所有置换。
   第二步，求出所有置换下，不变的元素的个位数。以最开始的例子，L = (16+2+4+2)/4 = 6。
   很容易发现后半部分是比较难求的，所以我们接下俩介绍Polay计数法.

Polay定理

首先介绍概念——循环节。
置换（1，2，3，4，5）——> （3，5，1，4，2）
它的循环节是(13)(25)(4)，所以循环节长度是3，两个循环节是不相交的。
记上面问题按逆时针将四个格子放上1，2，3，4；
然后 G = {g₁,g₂,g₃,g₄}，|G| = 4，g_i的循环节个数记作c，则有下述情况
g₁ 旋转0°：g₁ = (1)(2)(3)(4) c(g₁) = 4
g₂旋转90°：g₂ = (4321) c(g₂) = 1
g₃ 旋转180度：g₃=(13)(24) c(g₃)=2
g₄ 旋转270度：g₄=(1234) c(g₄)=1
我们发现，g_i的同一个置换节中的元素用同一种颜色（现在可以用m种颜色，最初的样例是m=2）则染色得到的方案数m^c[i] 就是在上面g_i 置换下不变的元素个数:


最后得到著名的ploay公式。

至于如何使用这个定理，我们只需要找到每个置换的循环节即可。