轨道计数 基础 学习笔（xia）记（bai）

由于上课头疼不认真听讲，xh学长讲的群论一点没懂，只能善用搜索引擎...

为加深自己印象而写，请非战斗人员和战斗人员一起撤离，以免接下来的文字弄傻

 

置换：A，B集合成员相同，一一对应，感觉像一种映射，表示为a。

置换群：集合全部的置换构成的集合加上置换间的运算法则构成对称群，表示为Sn。置换群是Sn的一个子群，表示为G，满足结合律，封闭性，单位元，逆元。

不动点：设k是集合A中的一个元素，在一个置换下，k置换为它自己，则称k为置换ai的不动点。一个置换ai中不动点的个数记为c(ai)

k不动置换类：设k是集合A中的一个元素，G中使k保持不动的全体置换叫做G中使k保持不动的置换类，简称k不动置换类，表示为Zk。

等价类：设k是集合A 中的一个元素，在G作用下，k所能变化成所有元素的集合是一个等价类，记做Ek。等价类里的元素等价。

轨道-稳定集定理：任意k，|Ek|*|Zk|=|G|

　　证明：貌似要用到什么陪集，生成子集，拉格朗日定理...所以略过  怎么感觉这根线连着另一个世界啊头疼

　　感性理解一下：群是有封闭性的，所以这个群里两个置换的运算得到的置换仍然在这个群里。假如群里只有一个置换使k->f[k]，那么这个置换与k的不动置换类结合能得到Zk个k->f[k]的置换了。可是不一定原来只有一个置换啊，还是理解不了..那么举个简单的G的例子：{1，2，3，4}置换为1，2，3，4的全排列。E1=4，Z1=6。1->1有六种，就是Z1，就是1开头的排列数。1->2也是六种，就是2开头的排列数。可不可以这样想：以1开头的排列已经齐了（6种），那么一旦我们有一种渠道能使1变成2,那么我们就能让这种渠道与Z1结合，得到2开头的所有排列，它的数量就是Z1。为什么不会更多，因为群有封闭性，不恰当地说，2开头能表出的排列，1一定也能表出。换种片面说法，说这个群具有极大性...不管有几条渠道使1->2，我们都能把它扩展到极大....这个极大值就是Zk。我们调动所有的置换，能且仅能把k扩展到Ek，并且到Ek每个能变成的集合都有Zk种，所以这是一种充分的表示。

burnside引理：等价类个数：L= 1/|G| * ∑i [1,G] c(ai) 

　　证明：易得（这是真的易得）∑k[1,n]  |Zk| == ∑i [1,G] c(ai) （枚举置换和不动点时，改变了枚举顺序）

　　　　    同一个等价类的元素，Zi肯定是相同的，所以 ∑k[1,n]  |Zk|= ∑i [1,L] |Ei|*|Zi|

　　　　　由|Ek|*|Zk|=|G|， ∑i [1,L] |Ei|*|Zi|=L×|G|

　　　　　　　　　　　　　　　　　　　L=1/|G|*∑k[1,n]  |Zk|

　　　　　　　　　　　　　　　　　　L=1/|G| * ∑i [1,G] c(ai)

　　　　　就化出来了..主要是难于理解啊（我知道式子很丑可是不要说了因为我懒改）

polya定理： 等价类个数：L=1/|G|×∑ai  m^(λ(ai))   其中λ(ai)为ai的循环数量，具体应用未知

upd：群论放弃了

upd：我又捡起来了，在skyh的拼命carry下，做下了BZOJ1004

　　　　skyh劝我根据题目理解，而我固执地推了半天式子，结果根本就不会审题，BZOJ我1004真有点神仙渣

转载于:https://www.cnblogs.com/yxsplayxs/p/11233313.html