Polya计数法浅析&caioj1475【Polya计数法】项链上的珠子

Polya计数法
最近学习了一个很高深的算法QAQ，它就是polya计数法那么我们就来学习一下这个算法吧~~~请先看下面这道例题：
【例题】
对2*2的方阵用黑白两种颜色涂色，问能得到多少种不同的图像？经过旋转使之吻合的两种方案，算是同一种方案。
【问题分析】
由于该问题规模很小，我们可以先把所有的涂色方案列举出来。

一个2*2的方阵的旋转方法一共有4种：旋转0度、旋转90度、旋转180度和旋转270度。(注：本文中默认旋转即为顺时针旋转) 我们经过尝试，发现其中互异的一共只有6种：C3、C4、C5、C6是可以通过旋转相互变化而得，算作同一种；C7、C8、C9、C10是同一种；C11、C12是同一种；C13、C14、C15、C16也是同一种； C1和C2是各自独立的两种。于是，我们得到了下列6种不同的方案。

但是，一旦这个问题由2*2的方阵变成20*20甚至200*200的方阵，我们就不能再一一枚举了，利用Polya计数法成了一个很好的解题方法。在接触Polya计数法之前，首先简单介绍Polya计数法中要用到的一些概念。
群：给定一个集合G={a,b,c,…}和集合G上的二元运算，并满足:
（1） 封闭性
若a,b∈G,则存在唯一确定的c∈G,使得a*b=c;
（2） 结合律成立
任意a,b,c∈G,有(a*b)c=a(b*c);
（3） 单位元存在
存在e∈G,对任意a∈G，满足a*e=e*a=a，称e为单位元
（4） 逆元存在
任意a∈G,存在唯一确定的b∈G, a*b=b*a=e（单位元），则称a与b互为逆元素，简称逆元，记作a^(-1)=b.
则称集合G在运算＊之下是一个群，简称G是群。一般a＊b简写为ab。
置换：n个元素1,2,…,n之间的一个置换 表示1被1到n中的某个数a1取代，2被1到n中的某个数a2取代，直到n被1到n中的某个数an取代，且a1,a2,…,an互不相同。本例中有4个置换：

转0 度 a1=
转90 度 a2=