参考文章：
等价类计数问题
Burnside引理&Pólya定理
Burnside引理与Polya定理
置换群和Burnside引理，Polya定理
概念引入：
离散数学应该学过置换群的相关概念，置换本质就是映射，可以理解成一个正方形绕其中心逆时针旋转90度，就可以看作是正方形四个顶点的置换。
置换会形成一个环。且如果一个状态经过置换后跟原来相同，可以认为该状态为f的不动点。
有些题目中经常出现”本质不同的方案数“，一般是指等价类的数目，题目定义一个等价关系，满足等价关系的元素属于同一等价类。等价关系通常是一个置换集合F，如果一个置换能把其中一个方案映射到另一个方案中，就认为两者是等价的。
题目引入：
问题描述
一个由2*2方格组成的正方形，每个格子上可以涂色或不涂色，问共有多少种本质不同的涂色方案。
（若两种方案可通过旋转互相得到，称作本质相同的方案）
解法：
先看一共有多少方案，不考虑本质不同，一共16种
现在我们开始将本质相同的方案合并归类：
方案1：{1}
方案2：{2}
方案3：{3，4，5，6}
方案4：{7，8，9，10}
方案5：{11，12}
方案6：{13，14，15，16}
一共六种不同的方案
这里结合我们上面说的，旋转可以看作是置换，所有置换组成置换群。
如果x通过置换(旋转)得到y，说明x和y等价。
与x互相等价的一组元素组成一个集合，称为x的等价类。
不动元为旋转一定角度，图形不发生改变
在这个问题中，我们要求的就是有多少个等价类？
我们引入一个引理：burnside引理
burnside引理：
∣
X
/
G
∣
=
∣
G
∣
−
1
⋅
∑
g
∈
G
∣
x
g
∣
|X/G|=|G|^{−1}⋅∑_{g∈G}|x^g|
∣X/G∣=∣G∣−1⋅g∈G∑∣xg∣
等价类的个数 = 每个置换中不动元的个数和 ➗置换群的大小
我们统计不动元的个数
不旋转（逆时针360度）：不动元16个
逆时针90度，不动元2个{1,2}
逆时针180度，不动元4个{1,2,11,12}
逆时针270度，不动元2个{1,2}
置换群大小为4
∣
X
/
G
∣
=
16
+
2
+
4
+
2
4
|X/G|=\frac{16+2+4+2}{4}
∣X/G∣=416+2+4+2
Burnside’s引理：
∣
X
/
G
∣
=
∣
G
∣
−
1
⋅
∑
g
∈
G
∣
x
g
∣
|X/G|=|G|^{−1}⋅∑_{g∈G}|x^g|
∣X/G∣=∣G∣−1⋅g∈G∑∣xg∣
等价类的个数 = 每个置换中不动元的个数和 ➗置换群的大小
等价类的个数=不动元个数的平均数
Pólya引理：
标签：方案,置换,不动元,等价,计数问题,引理,置换群 来源： https://blog.csdn.net/qq_35975367/article/details/120816385
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。