等价类计数问题,都可以用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)的平均数。
等价类计数问题,都可以用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)的平均数。