第七章 组合数学
全文均为手敲,如果发现有误,请于评论区交流讨论留言,作者会及时修改
7.4 P o ˊ l y a P\acute olya Poˊlya定理
-
P o ˊ l y a P\acute olya Poˊlya定理
设 G ˉ \bar G Gˉ是 n n n个对象上的置换群,用 m m m种颜色给这 n n n个对象染色,则不同染色方案数为
l = 1 ∣ G ˉ ∣ [ m c ( a ˉ 1 ) + m c ( a ˉ 2 ) + ⋯ + m c ( a ˉ g ) ] l=\frac 1{|\bar G|}\left[m^{c(\bar a_1)}+m^{c(\bar a_2)}+\cdots+m^{c(\bar a_g)}\right] l=∣Gˉ∣1[mc(aˉ1)+mc(aˉ2)+⋯+mc(aˉg)]
其中 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 ( a ˉ k ) c(\bar a_k) c(aˉk)为置换 a ˉ k \bar a_k aˉk的循环节数
-
P o ˊ l y a P\acute olya Poˊlya定理的母函数形式
设 c ( a ˉ k ) c(\bar a_k) c(aˉk)为置换 a ˉ k \bar a_k aˉk的循环节数, c i ( a ˉ k ) c_i(\bar a_k) ci(aˉk)为置换 a ˉ k \bar a_k aˉk中的 i i i阶循环因子的节数,用 m m m种颜色 b 1 , b 2 , ⋯ , b m b_1,b_2,\cdots,b_m b1,b2,⋯,bm对 1 , 2 , ⋯ , n 1,2,\cdots,n 1,2,⋯,n中的元素染色,则将
m c ( a ˉ i ) = ( b 1 + ⋯ + b m ) c a ( a ˉ i ) × ⋯ × ( b 1 n + ⋯ b m n ) c n ( a ˉ i ) , i = 1 , ⋯ , g 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 mc(aˉi)=(b1+⋯+bm)ca(aˉi)×⋯×(b1n+⋯bmn)cn(aˉi),i=1,⋯,g
代入
l = 1 ∣ G ˉ ∣ [ m c ( a ˉ 1 ) + m c ( a ˉ 2 ) + ⋯ + m c ( a ˉ g ) ] l=\frac 1{|\bar G|}\left[m^{c(\bar a_1)}+m^{c(\bar a_2)}+\cdots+m^{c(\bar a_g)}\right] l=∣Gˉ∣1[mc(aˉ1)+mc(aˉ2)+⋯+mc(aˉg)]
得到以 b 1 , ⋯ , b m b_1,\cdots,b_m b1,⋯,bm为变元的 n n n次对称多项式 P ( b 1 , ⋯ , b m ) P(b_1,\cdots,b_m) P(b1,⋯,bm)即为染色方案数的母函数