置换群学习笔记

群论是数学分支之一，在OI中的运用主要在于置换群和Burnside引理，polya定理。

http://blog.csdn.net/liangzhaoyang1/article/details/72639208

http://blog.csdn.net/gengmingrui/article/details/50564027

http://www.cnblogs.com/candy99/category/955780.html

https://files.cnblogs.com/files/HocRiser/Burnside.pdf

首先介绍群的概念

群是一个集合和一个定义在集合上的运算$*$组成的有序二元组，这个集合中的元素包含很是普遍（元素自己就能够是一种运算等等）。群须要知足四个公理：封闭性（对于*运算封闭），结合性（$a*b=b*a$)，存在幺元（$e*a=a$），任意元素存在逆元（$a*a^{-1}=e$）。

而后是置换群$G$：一个置换规定一种变换法则，将集合中的一些元素映射成另外一些。

OI中通常能够认为“元素”是一个数组$\{a_i\}$，对这个数组的变换（如交换某两个元素，翻转等等）就是置换，置换群就是一个置换的集合加上一个“叠加”运算（就是两个置换一次操做）。

有了这些概念，就能够引入Burnside的概念了。

不动点$c(a_i)$：若某元素在置换$a_i$下不改变，则成它为置换$a_i$的不动点。

元素轨道$E_k$（等价类）：一个元素通过置换能获得的全部元素集合（这里元素能够看作一个点，置换能够看做走一条边，轨道就是能走到的全部点的集合）。

稳定化子$Z_k$ ：使操做后这个元素不变的置换集合（即这个元素是此集合内全部置换的不动点）。

拉格朗日定理：一个有限群的子群的元素个数必能整除这个群的元素个数。

轨道－稳定化子定理：$|E_k|*|Z_k|=G$

由上式便可推出Burnside引理：一个置换群的等价类的个数等于各置换不动点个数的平均值。

证实见上面第四个网址，下同。

可是要求每一个置换的不动点个数过于复杂，这时候就须要用到polya定理，就是将不动点的个数具体化为颜色的循环个数次方。

 

概念理解以后就能够作练习了，下面是例题。

注意题目是否给出了恒等变换，若是没有则须要本身添加。

切记：循环是全部问题的突破口，DP与数学通式是大部分题目的标算。

不涉及定理的题目：POJ3270,POJ2369,POJ1721,POJ3128,BZOJ1025

polya定理：BZOJ1004,POJ2409,POJ2154