Burnside引理和Polya定理
因为今天看到了BZOJ1004用到了Burnside引理,此前也听过大牛说过,现在就学习一下。
有一个置换群的概念:就是一些置换的集合(置换群就是一个将置换作为元素的群)
关于置换可以看1004上的实例
Burnside引理
定义:设(G={a1,a2,…ag})是目标集[1,n]上的置换群。每个置换都写成不相交循环的乘积。
(c_1(a_k))是在置换(a_k)的作用下不动点的个数。
即是长度为1的循环的个数(其实就是被置换置过后位置不变的元素个数)。
通过上述置换的变换操作后可以相等的元素属于同一个等价类。
若G将[1,n]划分成L个等价类,则:(等价类个数为:等价类个数为:L=frac{1}{|G|}sum_{i=1}^gc_1(a_i))
证明见(http://blog.csdn.net/gengmingrui/article/details/50564027)
Pólya定理
题目还没涉及到,先不总结