2019-12-04

最近在看具体数学和群论，看完了河内塔，约瑟夫环等一些经典问题的推导，以前做这些公式推导题都是直接记公式，现在感觉推导不算难，就是过程繁琐。起初从奇偶性，是否为质数，前后项关系等来看；联系，并列举前几项结果进行观察，再找第n项前后之间的关系，常用数学归纳法证明，得到公式后可利用前几项结果检验。

群论一些基本知识：

给定一个集合和集合上的二元运算,如果满足以下条件：

（1）封闭性。对于任意的成立。

（2）结合律。对于任意成立。

（3）存在单位元。G中存在一个元素e，使得对于G中任意元素a，都有，元素e为单位元素。

（4）存在逆元。对于G中任意元素a，恒有一个，使得a*b=b*a=e，则元素b为元素a的逆元，记作

则称集合G是运算*下的一个群，记为（G，*）若G是一个有限集，则称（G，*）为有限群，其中有限群元素个数成为有限群的阶。记作|G|；若G是无限集，则称（G，*）是无限群。

如果群G中任意两个元素a，b满足交换律，则该群为Abel群。（一般是不满足交换律的）

拉格朗日定理

轨道-稳定化子定理

 

Burnside‘s引理

这个引理是用来求M中本质不同的元素个数，如果则称x与y是本质相同的。所以就是求M中轨道数。

Burnside’s引理首先找到了轨道数与轨道长度之间的关系，然后通过轨道-稳定化子定理将其与G联系起来，然后改变枚举量。它是用来解决那种置换较少或较便于计算，元素情况比较复杂的问题。

接下来具体数学，群论，推公式，都会接着看。