目录一.基本法则1.加法法则2.乘法法则二.排列1.不可重排列2.可重排列数3.圆排列4.项链排列5.多重集的排列三.组合1.无重组合2.可重组合3.不相邻组合4.多重集的组合5.常用公式四.母函数1.定义2.普通型母函数2.1 整数拆分2.2 Ferrers图2.3 母函数与递推3.指数型母函数3.1 定义3.2 应用3.3 错排问题五.线性常系数递推关系1.定义2.特征多项式3.根据特征多项式求解递推关系通解3.1 无重根3.2 有重根六.常见序列及性质1.斐波那契数列2.卡特兰数3.斯特林数3.1 第一类斯特林数3.2 第二类斯特林数七.置换群1.群1.1 定义2 置换2.1 定义2.2 循环置换3.Burnside引理4.Polya定理5.母函数型Polya定理
一.基本法则
1.加法法则
设事件A)有m)种产生方式，事件B)有n)种产生方式，事件A)与事件B)相互独立，那么“事件A)或B)”共有m+n)种产生方式。
加法法则注重于分类问题的解决。
2.乘法法则
设事件A)有m)种产生方式，事件B)有n)种产生方式，事件A)与事件B)相互独立，那么“事件A)与B)”共有m*n)种产生方式。
乘法法则注重于分步问题的解决。
二.排列
1.不可重排列
从n)个不同的元素中取出r)个元素，按次序排列的方案数，称作从n)个中取r)个的无重排列，用An,r))表示。
[A_n^r = frac{n!}{n-r)!}
]
2.可重排列数
从n)个元素中取r)个元素，每个元素可以重复取，方案数为n^r)，即每个位置有n)个选择，共r)个位置。
3.圆排列
从n)个元素中取出r)个元素形成一个环，最终环的个数。
方案数为frac{An,r)}{r})，即先考虑所有的排列情况并将其连接成环，一个环从中间断开会形成r)个序列，那么所有的情况除以r)则得到最终方案数。
4.项链排列
类似于圆排列，但是项链可以翻转，所以方案数为：
[frac{An,r)}{2r}
]
5.多重集的排列
设元素a_1,a_2,cdots,a_k)互不相同，每个元素有n_i)个，那么所有元素的全排列为：
[frac{n!}{n_1!n_2!cdots n_k!}
]
可记为nchoose n_1n_2cdots n_k)。
可以理解为：先将所有的元素打上标号，那么就全为不同的元素，此时方案数为n!)，之后对于每一类元素消除其冗余度n_i!)即可。
带限制的排列问题可以用指数型母函数解决。
三.组合
1.无重组合
从n)个元素中取出r)个元素，不考虑元素之间的顺序时，总的方案数。记为Cn,r))或者nchoose r)。
有公式：
[Cn,r)=frac{n!}{r!n-r)!}
]
2.可重组合
从n)个元素中取出r)个数，每个元素可以重复取的组合方案数。
可以将问题等价于：把r)个元素划分成n)类，每类元素个数没有要求。
那么方案数即为：
[Cr+n-1,n-1)
]
相当于求解x_1+x_2+cdots+x_r=n)的非负整数解的方案数，采用隔板法即可求解。
3.不相邻组合
从A={1,2,cdots,n})中取r)个不相邻的组合方案数，其组合数为
[Cn-r+1,r)
]
可采用标号法来求解，假设选取任意一个解S={1,3,cdots,n})，因为是组合，我们将其按照升序排列，对应位置的下标为{0,1,cdots,r-1})。我们将元素与对应下标相减（去掉限制条件），那么有S’={1,2,cdots,n-r+1})。易知问题转变成了从n-r+1)个数中选取r)个数的组合数。这两者的方案数是一一对应的。
相同的方法可以用来求解可重组合数，只是我们要累加元素的下标（可以去掉重复），同样可以得到上述结果。
4.多重集的组合
可用普通母函数解决。
5.常用公式
组合数为二项式定理展开式中对应项的系数：
[x+y)^n=sum_{i=0}^n Cn,i)x^iy^{n-i}
]
相当于x+y)cdot x+y)cdot cdots cdot x+y))中，每一项只会选取一个，那么若x)选取了i)个，对应y)选取了n-i)个，方案数为Cn,i)=Cn,n-i))。
根据这个，令x=y=1)则有：
2^n=sum_{i=0}^n Cn,i))
令x=1,y=-1)有：
0=sum_{i=0}^n -1)^iCn,i))
还有些其它的式子：
Cn,m)=Cn-1,m-1)+Cn-1,m))
考虑第m)个元素选还是不选，分类过后加起来即可。
Cn,m)=Cn,n-m))
Cn,m)cdot Cm,r)=Cn,r)cdot Cn-r,m-r))
组合数还有一些其它的恒等式，就不一一列举了懒)。
另外，二项式定理还可以扩展为多项式定理：
[x_1+x_2+cdots+x_t)^n=sum_{n_1+cdots+n_t=n}{nchoose n_1n_2cdots n_t}x_1^{n_1}x_2^{n_2}cdots x_t^{n_t}
]
原理是
[Cn,n_1)cdot Cn-n_1,n_2)cdot cdots cdot Cn-n_1-n_2-cdots-n_{t-1}, n_t)={nchoose n_1n_2cdots n_t}
]
可见多项式的系数刚好对应多重集的排列个数。
四.母函数
1.定义
直观点来说，母函数就是一列用来展示一串数字的挂衣架。一般母函数也被称作“生成函数”。
举个例子，序列{a_n})的母函数即为：
[Gx)=sum_{i=0}^{infty}a_ix^i
]
母函数一般分为两类：普通型母函数和指数型母函数。其中，普通型母函数主要用来解决多重集的组合问题，而指数型母函数一般用来解决多重集的排列问题。同时，母函数还可以解决递归数列的通项问题。
2.普通型母函数
2.1 整数拆分
用1)~m)之间的整数凑出整数n)的方案数。
如果是有序拆分，相当于n)个无区别小球放入m)个有区别盒子，不允许空盒的方案数，答案为Cn-1,r-1))。
这里是无序拆分。
对于1)~m)之间的每个整数单独考虑，问题相当于将n)个没有区别的小球划分入m)个没有区别的盒子中且允许有空盒的存在。
每一个的生成函数序列为：
[G_ix)=1+x^i+x^{2i}+cdots
]
对于i=1)来说：G_1x))表示1)这个数取0,1,2cdots)个的方案数都为1)，其余同理。
又因为G_ix)=frac{1}{1-x^i})，所以最终的答案为Gx)=prod G_ix))这个多项式中x_n)前面的系数。
2.2 Ferrers图
直接说结论吧，通过Ferrers)图观察可以得到：
整数n)划分成最大数为m)的方案数等于整数n)拆分为不超过m)个数的方案数。
整数n)拆分成互不相同的若干奇数的和的拆分数与拆分成自共轭的Ferrers)图像的拆分数相等。
2.3 母函数与递推
母函数是求解递推式中数列通项的一大利器。
比如汉诺塔问题中，递推式为：
[hn)=2hn-1)+1,h1)=1
]
那么我们构造出序列{h_n})的母函数为：
[Gx)=sum_{i=1}^{infty}h_ix^i
]
然后我们利用递推关系来求解：
[egin{aligned}
&x^2:h2)=2h1)+1\
&x^3:h3)=2h2)+1\
&cdots
end{aligned}
]
对应相乘，左边就变为：
[Gx)-h_1x=Gx)-x
]
右边变为：
[egin{aligned}
&2xGx)+x^2+x^3+cdots \
=&2xGx)+x^21+x+x^2+cdots)\
=&2xGx)+frac{x^2}{1-x}
end{aligned}
]
然后解得：
[egin{aligned}
Gx)=&frac{x}{1-x)cdot 1-2x)}\
=&frac{1}{1-2x}-frac{1}{1-x}
end{aligned}
]
因为1-x=sum_{i=0}^{infty}x_i)，所以就能得到hn)=2^n-1)。
一般求解递推式的通项都是用的这种方法，后面还有更加简便的方法~
3.指数型母函数
3.1 定义
刚才的普通型母函数中，其实可以发现求解的问题一般是“组合类”的问题，只关心元素的选取而没有关心元素的顺序。
倘若在整数拆分中，选取了n_i)个a_i)，现在要关心顺序，那么答案即为多重集的排列数：nchoose n_1n_2cdots n_t)。
那放在母函数里面，我们可以将式子变为：
[Gx)=1+frac{x}{1!}+frac{x^2}{2!}+cdots
]
这样选取不同的元素以及不同的个数就自动算好了分母部分。
那么对于{a_n})序列，称G_ex)=sum_{n=0}^{infty}a_nfrac{x^n}{n!})为{a_n})的指数生成函数。
3.2 应用
用1,2,3,4)构成一个五位数，要求1)出现不超过2)次，不能不出现；2)出现不超过1)次；4)出现的次数为偶数。
易知这是一个排列的问题，那么对每种限制构造对应的指数型母函数：
G_{e1}x)=frac{x}{1!}+frac{x^2}{2!})
G_{e2}x)=1+frac{x}{1!})
G_{e3}x)=1+frac{x}{1!}+cdots+frac{x^5}{5!})
G_{e4}x)=1+frac{x^2}{2!}+frac{x^4}{4!})
那么将这几个相乘，最终frac{x^5}{5!})前面的系数即为答案。
3.3 错排问题
给出n)个元素从1)到n)，并且存在n)个位置。现在问使得所有的元素都不在其原来位置上的方案数。
先考虑递推：设D_n)为n)个数的错排答案，那么考虑第n)个数：
第n)个数在第k)位，并且k)在第n)位的情况，此时的贡献为n-1)D_{n-2})
第n)个数在第k)位，但是k)不在第n)位的情况，此时将n)看作一个新的第k)位，此时前面n-1)个元素的错排一一与之前元素的错排相对应，贡献为n-1)D_{n-1})。
这两种情况不重不漏的计算出了所有的情况，那么递推式为D_n=n-1)cdot D_{n-1}+D_{n-2}))。
考虑利用指数型母函数求其通项：
将递推式变换得到：
[egin{aligned}
D_n-nD_{n-1}=&-[D_{n-1}-n-1)D_{n-2}]\
=&-1)^{n-1}D_1-D_0)
end{aligned}
]
因为D_0=0,D_1=1)，有D_n-nD_{n-1}=-1)^n)。
然后设出相关生成函数：
[G_ex)=D_0+D_1frac{x}{1}+cdots
]
按照之前的办法，通过递推式来求解通项：
[egin{aligned}
&frac{x}{1}:D_1=D_0-1\
&frac{x^2}{2!}:D_2=2D_1+1\
&cdots
end{aligned}
]
对应相乘就有：
[G_ex)=xG_ex)+e^{-x}
]
解得
[G_ex)=frac{e^{-x}}{1-x}=frac{1-x+frac{x^2}{2!}-cdots)}{1-x}
]
那么就相当于两个函数相乘，最终有
[D_n=n!cdot frac{1}{0!}-frac{1}{1!}+frac{1}{2!}-cdots pm frac{1}{n!})
]
同样，用类似的方法，通过指数型母函数也能得到递推方程的通项公式。
在算法竞赛中，多项式相乘可以通过FFT)优化达到Onlogn))的复杂度。
五.线性常系数递推关系
主要说一下线性齐次常系数递推关系，非齐次的话一般就是在其次的基础上加一个特殊解就行了。
1.定义
如果序列{a_n})满足
[a_n+c_1a_{n-1}+c_2a_{n-2}+cdots+c_ka_{n-k}=0
]
并且a_0=d_0,a_1=d_1,cdots a_{k-1}=d_{k-1},c_i,d_i)都为常数。
那么上式就为{a_n})的k)阶线性常系数齐次递推关系。
特点：
线性累加和
右端项为0)
系数是常数
2.特征多项式
假设现在有a_n+c_1a_{n-1}+c_2a_{n-2}+cdots+c_ka_{n-k}=0)，那么现在想要求出其通项，还是利用之前提到的方法（我就不细写了），设Gx))为序列{a_n})的母函数，那么就有：
[Gx)=frac{Px)}{1+C_1x+cdots+C_kx^k}
]
这里Px))为另一个多项式，先暂且不管。
我们来分析分母，根据之前的经验，我们希望将其化为prod 1-a_ix))的形式，那么这样就很方便求通项了。
先提取一个x_k)出来，并且令m=x^{-1})，那么有Cm)=m^k+C_1m^{k-1}+cdots+C_k))。
之后进行因式分解为：
[Cm)=m-a_1)^{k_1}m-a_2)^{k_2}cdots m-a_i)^{k_i},k_1+k_2+cdots+k_i=k.
]
之后我们将x_k)对应乘进去，就得到分母的表达式：
[1-a_1x)^{k_1}1-a_2x)^{k_1}cdots 1-a_ix)^{k_i}
]
这样转换为之前的形式，求解就较为方便了。
观察Cm))，发现它与递推式很像。那么在此给出特征多项式的定义：
对于一个线性常系数齐次递推式（以之前的方程为例），其特征多项式为：
[x^k+a_1x^{k-1}+cdots+a_k
]
相应地，对于k)阶常系数线性递推方程，其特征方程为：
[x^k+a_1x^{k-1}+cdots+a_k=0
]
特征方程的根为特征根。
3.根据特征多项式求解递推关系通解
3.1 无重根
拿之前汉诺塔为例：
我们已知递推关系为hn)=2cdot hn-1)-1)，变换一下为hn)-2cdot hn-1)=-1)。
因为右端不为0)，我们减一下，有：
[hn)-3cdot hn-1)+2cdot hn-2)=0
]
得到其递推方程：
[x^2-3x+2=0
]
因式分解为：
[x-1)cdot x-2)=0
]
那么回顾之前的式子，我们没有管分子，所以用待定系数法表示出通项：
[hn)=1^nA+2^nB
]
显然h0)=0,h1)=1)，代入求解即可得hn)=2^n-1)。
总结一下步骤：
通过k)阶线性齐次递推关系得到特征方程
得到特征解（可能有重根）
根据特征根用待定系数法表示出通项
利用初值求解系数
得到答案
可见，通过母函数，能够快速求解一类递推关系的问题，通过特征多项式，将母函数和通解相联系。
3.2 有重根
现在已知递推关系：a_n-4a_{n-1}+4a_{n-2}=0,a_0=1,a_1=4)，求解通项。
按照之前方法来推，最终得到：
[Gx)=frac{ax+b}{1-2x)^2}
]
拆开为：
[Gx)=frac{A}{1-2x}+frac{B}{1-2x)^2}
]
那么
[Gx)=A1+2x+2^2x^2+cdots)+B1+2x+cdots)1+2x+2^2x^2+cdots)
]
可以得到a_n=2^ncdot A+n+1)cdot 2^ncdot B)
那么之后求解系数即可。
所以对于有重根的情况，假设现在有e)重根q)，可以直接得到其对应的解为
[A_0+A_1n+cdots+A_{e-1}n^{e-1})q^n
]
这里我列举了一个例子方便理解，要证明的话较为复杂，稍微严谨点的证明如下太菜了不敢乱说话)
设q)为特征方程的e)重根，那么最终的Gx)=sum_{j=1}^{e}frac{A_j}{1-qx)^j})。
根据这个写出第n)项的表达式：
[a_n=sum_{j=1}^{e}A_jq^nCn+j-1,j-1)
]
这里Cn+j-1,j-1))是关于n)的j-1)次多项式，那么最终的式子是关于n)的e-1)次多项式。
同样用待定系数法表示出来有：
[a_n=q^nA_0+A_1n+cdots+A_{e-1}x^{e-1})
]
得证。
六.常见序列及性质
1.斐波那契数列
递推式为：
[F_n=F_{n-1}+F_{n-2},F_1=F_2=1
]
根据递推式可以推出一些恒等式：
F_1^2+F_2^2+cdots+F_n^2=F_nF_{n+1})
将F_i)用F_{i+1}-F_{i-1})表示，那么F_i^2=F_iF_{i+1}-F_iF_{i-1})，所有累加起来即可得到等式右边。
F_1+F_2+cdots+F_n=F_{n+2}-1)
用F_{i+2}-F_{i+1})表示F_i)即可。
F_1+F_3+cdots+F_{2n-1}=F_{2n})
F_{2i+1}=F_{2i+2}-F_{2i})，然后累加起来即可。
F_{2n}=F_{n-1}F_{n}+F_{n}F_{n+1})
证明的话可以将斐波那契线性递推写成矩阵的形式就一目了然了。
F_{n-1}F_{n+1}-F_n^2=-1)^n)
数学归纳法可证。
除开恒等式外，还有一些其它的性质：
每3个连续的数中有且只有一个被2整除
每4个连续的数中有且只有一个被3整除，
每5个连续的数中有且只有一个被5整除，
每6个连续的数中有且只有一个被8整除，
每7个连续的数中有且只有一个被13整除，
个位数每60步一循环，后两位数每300步一循环，后三位数，每1500步一循环，后4位数每15000步一循环，后5位数每150000步一循环
斐波那契的通项，用母函数随便求啦。
2.卡特兰数
卡特兰数有一些经典的模型：进出栈问题、二叉树构成、划分三角形等等。
一般的特征就是：在问题中始终存在一个geq)关系，比如进出栈问题，保证入栈数不小于出栈数；括号问题，左括号数不小于右括号数等等。
卡特兰数的递推式
[c_n=sum_{i=0}^{n-1}c_ic_{n-i-1}
]
求解通项，比较简便的话可以用格路模型来解，为：
[c_{n}={2nchoose n}-{2nchoose n-1}
]
下面给出母函数的求解法：
首先设出对应生成函数:
[Gx)=c_0+c_1x+c_2x^2+cdots
]
根据递推式，将其平方得：
[G^2x)=sum_{i=0}^{infty}sum_{j=0}^{i}c_jc_{i-j}x^i=sum_{i=0}^{infty}c_{i+1}x^i
]
有：
[xG^2x)=Gx)-1
]
最终求解得到：
[Gx)=frac{1-sqrt{1-4x}}{2x}
]
然后对sqrt{1-4x}=1-4x)^{frac{1}{2}})用牛顿二项式展开得：
[egin{aligned}
&1+sum_{i=1}^{infty}frac{frac{1}{2}cdot -frac{1}{2})cdot cdots cdot frac{1}{2}-i + 1)}{i!}-4x)^i\
=&1+sum_{i=1}^{infty}-1)^{i-1}frac{1cdot 3cdot cdots cdot 2i-3)}{2^ii!}-4x)^i\
=&1+sum_{i=1}^{infty}-1)^{i-1}frac{2i-2)!}{2cdot 4cdotcdotscdot 2i-2)cdot 2^ii!}-4x)^i\
=&1+sum_{i=1}^{infty}-1)^{i-1}frac{2i-2)!}{i-1)!cdot 2^{2i-1}i!}-4x)^i\
end{aligned}
]
分子为：
[egin{aligned}
&-sum_{i=1}^{infty}-1)^{i-1}frac{2i-2)!}{i-1)!cdot 2^{2i-1}i!}-4x)^i\
=&sum_{i=1}^{infty}frac{2cdot 2i-2)!}{i-1)!cdot i!}x^i\
=&sum_{i=1}^{infty}{2i-2choose i-1}frac{2}{i}x^i\
=&sum_{i=0}^{infty}{2ichoose i}frac{2}{i+1}x^{i+1}\
end{aligned}
]
最后再除以一个2x)，式子就变为：
[sum_{i=0}^{infty}frac{1}{i+1}{2ichoose i}x^i
]
所以得到卡特兰数得通项为：
[c_n=frac{1}{n+1}{2nchoose n}
]
3.斯特林数
3.1 第一类斯特林数
第一类斯特林数表示的是将n)个数分为k)个圆环的方案数，两个圆环不同当且仅当一个圆环通过旋转不能得到另一圆环。
其中，第一类斯特林数也分为两类：无符号斯特林数和有符号斯特林数，无符号斯特林数记为left[^n_kight])，有符号斯特林数一般记为sn,k))我貌似也不是很清楚记法…)。
第一类斯特林数有如下递推公式：
[egin{aligned}
egin{bmatrix}
n+1 \ k
end{bmatrix}
=ncdotegin{bmatrix}
n \ k
end{bmatrix}
+egin{bmatrix}
n \ k-1
end{bmatrix}
end{aligned}
]
分别表示当前第n+1)个数和之前的划分在一起还是单独成一个圈，和其它元素在一起的话那么有n)种可能。
对于有符号的第一类斯特林数，递推公式为：
[sn+1,k)=ncdot sn,k)+sn,k-1)
]
无符号第一类斯特林数对应递增阶乘展开式的各项系数：
[x_{n)}=prod_{i=0}^{n-1}x-i)=sum_{i=0}^{n}egin{bmatrix}
n \ i
end{bmatrix}x^i
]
有符号第一类斯特林数对应递减阶乘展开式的各项系数：
[x^{n)}=prod_{i=0}^{n-1}x+i)=sum_{i=0}^{n}sn,i)x^i
]
性质
显然：egin{bmatrix}
0 \ 0
end{bmatrix}=egin{bmatrix}
n \ n
end{bmatrix}=1,egin{bmatrix}n \ 0end{bmatrix}=egin{bmatrix}0 \ nend{bmatrix}=0,n>0)
还有一些其它的恒等式：
displaystyle egin{bmatrix}
n \ 1
end{bmatrix}=n-1)!
)
这就类似于一个环的排列。
displaystyle egin{bmatrix}
n \ n-1
end{bmatrix}=Cn,2)
)
displaystyle egin{bmatrix}n \ n-2
end{bmatrix}=2Cn,3)+3Cn,4)
)
第一个简单，第二个等式相当于分类考虑，把两种情况加起来即可。
3.2 第二类斯特林数
第二类斯特林数用放球模型来表示，就是将n)个球，划分成k)个非空集合的方案数。
转移的方案还是分两种情况，一种是一个球单独成一个集合，另一种是加入其它的集合，那么就有递推式：
[egin{Bmatrix}
n \ k
end{Bmatrix}=egin{Bmatrix}
n – 1\ k – 1
end{Bmatrix} + egin{Bmatrix}
n – 1 \ k
end{Bmatrix}cdot k
]
其中egin{Bmatrix}
n \ k
end{Bmatrix})也可以写为Sn,k))。
性质
同第一类斯特林数，第二类斯特林数也有一些简单的性质：
S0,0)=Sn,n)=1)
Sn,0)=S0,n)=0,n>0)
Sn,n-1)=Cn,2))
Sn,n-2)=Cn,3)+3Cn,4))
分两种情况然后加起来即可。
Sn,2)=2^{n-1}-1)
直接归纳证即可。还有一种比较简单的方法，就是先钦定一个球在一个盒子中，然后剩下n-1)个球每个球就有两种可能，最后再减去不合法的一种情况即可。
另外，第二类斯特林数还有通项公式，可以用容斥的思想去想，即枚举至少有几个空集合，然后小球可以在其它集合中随便放。公式如下：
[Sn,k)=frac{1}{k!}sum_{i=0}^{k}-1)^iCk,i)k-i)^n
]
因为最终得到的答案考虑了集合之间的顺序，所以我们除以k!)即可。
这个通项可以化为：
[Sn,k)=sum_{i=0}^k frac{-1)^i}{i!}cdot frac{k-i)^n}{k-i)!}
]
可以注意到这是一个卷积的形式，那么我们可以用NTT)在Oklogk))的时间内快速求出Sn,1),Sn,2),cdots,Sn,k))的通项。
第二类斯特林数还有一个比较有用的公式：
[m^n=sum_{i=0}^m Cm,i)cdot i!cdot Sn,i)
]
m^n)意即将n)个小球放入m)个集合中，允许空盒。
我们可以枚举最终是几个集合，然后从将其从m)中选出来并标号，最后将n)个小球放入这i)个盒子，所有情况加起即为m^n)。
最后再附加一个公式，可以用来处理一些有关n!)的信息：
[n!approx sqrt{2pi n}cdot frac{n}{e})^n
]
我们可以几乎认为这两者相等。
七.置换群
这部分内容有点不好理解。。所以更多是直观上的阐述。
这部分知识应该是对于一类涉及“本质不同”的计数问题的补充，通常这类问题具有比较好的对称性质。
1.群
1.1 定义
给定集合G)和G)上的二元运算cdot)，若满足下列性质则被称作群：
封闭性：若a,bin G)，则存在cin G)，使得acdot b=c)；
结合律：任意a,b,cin G)，有acdot b)cdot c=acdot bcdot c))；
存在单位元：存在ein G)，任意ain G)，有acdot e = ecdot a=a)；
存在逆元：对任意ain G)，存在bin G)，满足acdot b=e)。
比如G={0,1,2,cdots,n-1})在mod n)的加法下是群。
2 置换
2.1 定义
有限集合到自身的一一对应称为置换。集合S={a_1,a_2,cdots,a_n})上的置换可以表示为：
[f=leftegin{matrix}
1 & 2 & cdots & n \
a_1 & a_2 & cdots & a_n
end{matrix}ight)
]
S)上所有的置换的数量为n!)。
2.2 循环置换
循环置换是一类特殊的置换，可表示为：
[left
egin{matrix}
a_1,a_2,cdots,a_m
end{matrix}
ight)=left
egin{matrix}
a_1,&a_2,&cdots,&a_{m-1},&a_{m} \
a_2,&a_3,&cdots,&a_{m},&a_1
end{matrix}
ight)
]
那么，任意一个置换都可以表示为若干个循环置换的乘积，这里的乘积可以理解为依次作用。
比如：
[left
egin{matrix}
a_1,&a_2,&a_3,&a_4,&a_5 \
a_3,&a_1,&a_2,&a_5,&a_4
end{matrix}
ight)=left
egin{matrix}
a_1,a_3,a_2
end{matrix}
ight)
leftegin{matrix}
a_4,a_5
end{matrix}
ight)
]
若我们将相应的映射关系看作一条有向边，那么对于一个置换来说，最终形成的图一定是由若干个环构成。
3.Burnside引理
直接给出引理内容吧：
设G={a_1,a_2,cdots,a_g})是目标集[1,n])上的置换群，每个置换群可以写成若干个不相交循环置换的乘积。c_1a_k))为置换a_k)作用下不动点的个数，即长度为1)的循环置换。通过上述置换变换后可以相等的元素属于同一个等价类。若G)将[1,n])划分为l)个等价类，则有：
[l=frac{1}{|G|}cdot sum_{i=1}^gc_1a_i)
]
证明的话还需要引入一些其它的概念，比较复杂就不说了，详细证明可以参考oi-wiki。
通过Burnside)引理，我们只需要找到所有置换作用下长度为1)的循环置换，即可求出本质不同的方案数。
但是Burnside)引理有其一定的局限性，因为我们要枚举出所有的置换结果，当问题数据规模较大时会很麻烦。
所以接下来有个更优秀的东西：
4.Polya定理
前置条件与Burnside)引理相同，内容修改为：
[l=frac{1}{|G|}cdot sum_{i=1}^gm^{ca_i)}
]
这里ca_i))表示的是置换a_i)的循环的个数。
感性理解一下，之前我们是以具体染色图像为元素，通过其在置换作用下的不动点来求出答案。而在Polya)定理当中，我们更关注的是图像的结构，若某个置换可以表示为x)个循环的乘积，那么每个循环中的元素如果染色相同的话那么这就相当于一个不动点，所以对于一个置换总的不动点个数即为m^x)。
总结一下，就相当于对问题进一步抽象，然后利用对称性更加方便快捷地来计算。
应用的话需要找准对于图像的每一个置换的循环的个数，我就不一一列举了~
5.母函数型Polya定理
刚才的Polya)定理中，我们能求出m)染色的方案，但是如果想要求出较为细致的问题，比如只用某两类颜色染色的方案，这时就需要母函数型Polya)定理。
其实也没啥差别，我们将Polya)定理的内容改为：
[PG)=frac{1}{|G|}sum_{i=1}^gprod_{k=1}^nS_k^{c_ka_i)},S_k=b_1^k+b_2^k+cdots+b_m^k)
]
即可。
举个例子，比如对一个置换，其可以表示为c1)^2c2)^3)，即两个长度为1)的循环和3)个长度为2)的循环，按照Polya)定理，则有总方案数为frac{m^5}{1})（因为这里只有一个置换）。
在母函数型Polya)定理中，则表示为：
[b_1+b_2+cdots+b_m)^2b_1^2+b_2^2+cdots+b_m^2)^3
]
是不是和母函数长得很像？这里只不过是用母函数的思想来表示出那个乘积：因为任意长度为k)的循环其所有元素必须染为一样的颜色，所以有个k)次方；然后通过多项式乘积的形式就可以列举出所有的组合。
具体的一些应用可以看一下马昱春老师讲的组合数学，上面提到了一些比较经典的应用。