Burnside引理和Polya定理

等价类计数问题，都可以用Burnside引理解决

Burnside引理：对于一个置换f，若一个着色方案s经过置换后不变，称s为f的不动点。将f的不动点数目记为C(f)，则可以证明等价类数目为所有C(f)的平均值。

Polya定理：一般的，如果置换f分解称m(f)个循环的乘积，那么每个循环内所有元素的颜色必须相同，假设涂k种颜色，则有C(f)=k^m(f)。代入Burnside引理的表达式之后得到Polya定理：等价类的个数等于所有置换f的k^m(f)的平均数。