7.4 Polya定理

第七章 组合数学

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

7.4 $P\acute{o}lya$定理

1. $P\acute{o}lya$定理

   设$\bar{G}$是$n$个对象上的置换群，用$m$种颜色给这$n$个对象染色，则不同染色方案数为

   $$l=\frac{1}{|\bar{G}|}\left[m^{c({\bar{a}}_1)}+m^{c({\bar{a}}_2)}+\cdots +m^{c({\bar{a}}_g)}\right]$$

   其中 G ˉ = { a ˉ 1 , a ˉ 2 , ⋯ a ˉ g } \bar G=\{\bar a_1,\bar a_2,\cdots \bar a_g\} Gˉ={aˉ1​,aˉ2​,⋯aˉg​}，$c({\bar{a}}_k)$为置换${\bar{a}}_k$的循环节数

2. $P\acute{o}lya$定理的母函数形式

   设$c({\bar{a}}_k)$为置换${\bar{a}}_k$的循环节数，$c_i({\bar{a}}_k)$为置换${\bar{a}}_k$中的$i$阶循环因子的节数，用$m$种颜色$b_1,b_2,\cdots ,b_m$对$1,2,\cdots ,n$中的元素染色，则将

   $$m^{c({\bar{a}}_i)}=(b_1+\cdots +b_m{)}^{c_a({\bar{a}}_i)}\times \cdots \times (b_1^n+\cdots b_m^n{)}^{c_n({\bar{a}}_i)},i=1,\cdots ,g$$

   代入

   $$l=\frac{1}{|\bar{G}|}\left[m^{c({\bar{a}}_1)}+m^{c({\bar{a}}_2)}+\cdots +m^{c({\bar{a}}_g)}\right]$$

   得到以$b_1,\cdots ,b_m$为变元的$n$次对称多项式$P(b_1,\cdots ,b_m)$即为染色方案数的母函数