独角兽与数列（置换群循环）- HDU 4985

群论是法国数学家伽罗瓦（Galois）的发明。伽罗瓦是一个极具传奇性的人物，年仅21岁就英年早逝于一场近乎自杀的决斗中。他用该理论，具体来说是伽罗瓦群，解决了五次方程问题。在此之前柯西（Augustin-Louis Cauchy)，阿贝尔（Niels Henrik Abel）等人也对群论作出了贡献。

 

群是 集合G+运算符·，它结合任何两个元素a和b而形成另一个元素，记为a·b。符号"·"是对具体给出的运算，比如整数加法的一般占位符。要具备成为群的资格，这个集合和运算( G , · )必须满足叫做群公理的四个要求：

 

1. 封闭性： 对于所有G中a, b，运算a·b的结果也在G中。

 

2. 结合性： 对于所有G中的a, b和c，等式 (a·b)·c = a· (b·c)成立。

 

3. 单位元： 存在G中的一个元素e，使得对于所有G中的元素a，等式e·a = a·e = a成立。

 

4. 逆元： 对于每个G中的a，存在G中的一个元素b使得a·b = b·a = e，这里的e是单位元。

 

 

置换：

一个有限集X的置换σ是从该有限集映至自身的双射，如果我们把G的元素从1到|X|编号，那么置换σ可以看做一个1到|X|的一个排列，其中第i个位置上的数设为ai，表示编号为i的元素变为编号为ai的元素。

记为