1. 引言
Pólya 计数理论是数学中的一个分支,主要研究的是对称性在组合计数问题中的应用。该理论以匈牙利数学家乔治·波利亚(George Pólya)的名字命名,他在20世纪初提出了许多关于对称性和组合计数的重要思想。
该理论主要用于解决组合计数问题,即计算对象的数量,但通常存在对称性质。例如计算不同颜色的珠子串成的项链有多少种不同的排列方式,考虑到项链旋转对称性,这个问题就可以用 Pólya 计数理论来解决。
Pólya 计数理论涉及的基础知识主要包括:
- 对称群:学习群论中的对称群及其性质,对于理解对称性在计数中的作用至关重要。
- 循环指标定理(Cycle Index Theorem):这是 Pólya 计数理论的核心定理,用于计算具有对称性的结构的计数问题。
- 组合学:熟悉组合学的基础概念和技巧,如排列、组合、置换等。
Pólya定理通常更专注于处理置换群的计数问题,强调对称性对对象计数的影响。
Burnside引理则更侧重于计算群作用下不同轨道(等价类)的数量,它提供了一种更通用的方法来计算群作用的结果。
2. 置换群
“群” 的定义:
给定集合 G 和 G 上的二元运算 “⋅” ,如果满足以下 4 个条件,则称代数结构
(
G
,
⋅
)
( G, ⋅)
(G,⋅)为群:
- 封闭性:“⋅” 运算在 G 上是封闭的,即对任意 , a , b ∈ G a,b\in G a,b∈G,都有 a ⋅ b ∈ G a\cdot b\in G a⋅b∈G
- 结合律:“⋅” 运算满足结合律,即对任意 , a , b , c ∈ G a,b,c \in G a,b,c∈G ,都有 a ⋅ ( b ⋅ c ) = ( a ⋅ b ) ⋅ c a\cdot (b\cdot c ) = (a\cdot b)\cdot c a⋅(b⋅c)=(a⋅b)⋅c
- 存在单位元:存在 e ∈ G e\in G e∈G ,对任意 a ∈ G a\in G a∈G ,满足 e ⋅ a = a ⋅ e = a e\cdot a=a\cdot e=a e⋅a=a⋅e=a 称为 G 的单位元
- 存在逆元:对任意 a ∈ G a\in G a∈G ,存在 a − 1 ∈ G a^{-1}\in G a−1∈G ,满足 a − 1 ⋅ a = a ⋅ a − 1 = e a^{-1}\cdot a=a\cdot a^{-1}=e a−1⋅a=a⋅a−1=e 称为 a 的逆元
置换群 (Permutation Group)
是指由一组置换(即一种对象到另一种对象的一一映射)组成的群。这个群包含了所有可能的置换,并且满足群的性质,比如封闭性、结合律、单位元和逆元。
对称群(Symmetric Group)
是一个特定类型的置换群,表示某个集合上所有可能的置换组成的群。具体而言,对称群是由集合上的所有元素的全排列所构成的置换群。如果集合有n个元素,那么其对称群的阶(群的大小)就是 n! ,记作 Sₙ 。
对称群是置换群的一种特殊情况,它描述了一个特定集合上的所有置换的全集。同时,置换群可以表示更一般性的情况,不仅仅局限于描述集合上的置换。
H1少了一个
(
123
312
)
\binom{1 2 3}{312}
(312123) 不满足所有元素可逆
H2不满足所有元素封闭
置换可以表示为不相交的轮换之积,比如
σ
=
(
1
2
3
4
5
6
7
8
3
2
1
6
5
7
8
4
)
=
(
13
)
(
2
)
(
5
)
(
4678
)
\sigma =\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8\\ 3 & 2 & 1 & 6 & 5 & 7 & 8 & 4 \end{pmatrix}=(13)(2)(5)(4678)
σ=(1322314655677884)=(13)(2)(5)(4678)σ 写成 2 个长为 1、1 个长为 2、1 个长为 4 的轮换之积,称它为
1
2
2
1
4
1
1^22^14^1
122141 型的置换
若σ 有
b
i
b_i
bi 个长为
i
(
1
≤
i
≤
n
)
i(1≤ i≤ n)
i(1≤i≤n) 的不相交轮换因子,则称 σ 是
1
b
1
2
b
2
.
.
.
n
b
n
1^{b_1}2^{b_2}...n^{b_n}
1b12b2...nbn 型的置换。对于
b
i
=
0
b_i =0
bi=0 的那些因子(即不存在长为 i 的轮换因子),则不必写出
习题1、 求正四面体关于顶点集合{1,2,3,4}的置换群
3. Burnside 引理
共轭类
定义 3.1:设 D,R 是有限集合,从 D 到 R 的映射全体记为 F = { f ∣ f : D → R } F=\{f|f:D\rightarrow R\} F={f∣f:D→R}
G 是 D 上的一个置换群,对 任 意 f 1 , f 2 ∈ F f_1,f_2\in F f1,f2∈F , 若 存 在 σ ∈ G , 使 得 对 任 意 d ∈ D , 等 式 f 1 ( d ) = f 2 ( σ ( d ) ) f_1(d)=f_2(\sigma (d)) f1(d)=f2(σ(d)) 均成立,则称 f 1 f_1 f1 和 f 2 f_2 f2 是 G 等价的。
G 等价关系是 F 上的等价关系,满足三个条件:自反、对称、传递。
定义 3.2:对任意 s,t ∈ G ,若存在 g ∈ G ,使得 s = g − 1 t g s=g^{-1}tg s=g−1tg ,则称 s 与 t 是G 共轭的
引理 3.1:两个置换 s,t ∈ Sn 关于 Sn 是共轭的,当且仅当它们是同型的
引理 3.2:Sn 中属于 1 b 1 2 b 2 . . . n b n 1^{b_1}2^{b_2}...n^{b_n} 1b12b2...nbn 型的元素个数为 n ! b 1 ! b 2 ! . . . b n ! ⋅ 1 b 1 2 b 2 . . . n b n \cfrac{n!}{b_1!b_2!...b_n!\cdot1^{b_1}2^{b_2}...n^{b_n}} b1!b2!...bn!⋅1b12b2...nbnn!
其中 b 1 + 2 b 2 + . . . + n b n = n b_1+2b_2+...+nb_n=n b1+2b2+...+nbn=n 。
分母中:
- b 1 ! b 2 ! . . . b n ! b_1!b_2!...b_n! b1!b2!...bn! 表示互不相交的轮换乘积可以交换: b k b_k bk 个长为 k 的轮换因子在全排列中是不同的全排列
- 1 b 1 2 b 2 . . . n b n 1^{b_1}2^{b_2}...n^{b_n} 1b12b2...nbn 表示轮换因子的书写方式:长为 k 的轮换可以写成 k 种形式,而长为k的轮换因子有 b k b_k bk个
例如,S3 中有 3 个共轭类,分别是 1 3 1^3 13 型 1 个, 3 1 3^1 31 型 2 个, 1 1 2 1 1^12^1 1121 型 3 个。
k 不动置换类
定义 3.3:设 G 是 {1,2, …,n} 上的置换群,令 Z k = { σ ∣ σ ∈ G , σ ( k ) = k } Z_k=\{\sigma|\sigma\in G,\sigma (k)=k\} Zk={σ∣σ∈G,σ(k)=k} 是 G 中使元素 k 保持不动的置换全体
例如 G = { σ I , ( 1 , 2 ) , ( 3 , 4 ) , ( 1 , 2 ) ( 3 , 4 ) } G=\{\sigma_I,(1,2),(3,4),(1,2)(3,4)\} G={σI,(1,2),(3,4),(1,2)(3,4)},则 Z 1 = Z 2 = { σ I , ( 3 , 4 ) } Z_1=Z_2=\{\sigma_I,(3,4)\} Z1=Z2={σI,(3,4)}; Z 3 = Z 4 = { σ I , ( 1 , 2 ) } Z_3=Z_4=\{\sigma_I,(1,2)\} Z3=Z4={σI,(1,2)}。 即 1 不动置换类和 2 不动置换类为(34),3 不动置换类和 4 不动置换类为(12)。
Burnside 引理
引理 3.3:设 G = { a 1 , a 2 , . . . , a n } G = \{a_1,a_2, ...,a_n\} G={a1,a2,...,an} 是 D={1,2, …, n} 上的置换群,则 G 诱导出来的等价类个数为 l = 1 ∣ G ∣ ∑ i = 1 g c ( a i ) l=\cfrac{1}{|G|}\sum_{i=1}^gc(a_i) l=∣G∣1i=1∑gc(ai)其中, c ( a i ) c(a_i) c(ai) 表示在置换 a i a_i ai 作用下保持不变的元素个数
习题2、 G = { σ I , ( 14 ) ( 23 ) , ( 12 ) ( 34 ) ( 56 ) , ( 13 ) ( 24 ) ( 56 ) } G=\{\sigma_I,(14)(23),(12)(34)(56),(13)(24)(56)\} G={σI,(14)(23),(12)(34)(56),(13)(24)(56)} 是D = {1,2,3,4,5,6} 上的置换群。求G在D上的等价类个数
习题3、一个正方形均分成 4 个格子,用两种颜色对 4 个格子着色,能得到多少种方案?经过旋转吻合的两种方案属于同一种方案
解:因为每格有两种颜色可供选择,故有如图所示的 16 种可能方案
每个图都绕过中心的轴逆时针方向旋转 90°,180°,270°时,得到 16 种图像的一种排列,可以看作是原 16 种图像的一种置换。
- 不动置换: p 1 = ( c 1 ) ( c 2 ) ( c 3 ) ( c 4 ) ( c 5 ) ( c 6 ) ( c 7 ) ( c 8 ) ( c 9 ) ( c 10 ) ( c 11 ) ( c 12 ) ( c 13 ) ( c 14 ) ( c 15 ) ( c 16 ) p_1=(c_1)(c_2)(c_3)(c_4)(c_5)(c_6)(c_7)(c_8)(c_9)(c_{10})(c_{11})(c_{12})(c_{13})(c_{14})(c_{15})(c_{16}) p1=(c1)(c2)(c3)(c4)(c5)(c6)(c7)(c8)(c9)(c10)(c11)(c12)(c13)(c14)(c15)(c16)
- 旋转 90°: p 2 = ( c 1 ) ( c 2 ) ( c 3 c 4 c 5 c 6 ) ( c 7 c 8 c 9 c 10 ) ( c 11 c 12 ) ( c 13 c 14 c 15 c 16 ) p_2=(c_1)(c_2)(c_3 c_4 c_5 c_6)(c_7 c_8 c_9 c_{10})(c_{11} c_{12})(c_{13} c_{14} c_{15} c_{16}) p2=(c1)(c2)(c3c4c5c6)(c7c8c9c10)(c11c12)(c13c14c15c16)
- 旋转 180°: p 3 = ( c 1 ) ( c 2 ) ( c 3 c 5 ) ( c 4 c 6 ) ( c 7 c 9 ) ( c 8 c 10 ) ( c 11 ) ( c 12 ) ( c 13 c 15 ) ( c 14 c 16 ) p_3=(c_1)(c_2)(c_3 c_5)(c_4 c_6)(c_7 c_9)(c_8 c_{10})(c_{11})(c_{12})(c_{13} c_{15})(c_{14} c_{16}) p3=(c1)(c2)(c3c5)(c4c6)(c7c9)(c8c10)(c11)(c12)(c13c15)(c14c16)
- 旋转 270°: p 4 = ( c 1 ) ( c 2 ) ( c 6 c 4 c 5 c 3 ) ( c 10 c 8 c 9 c 7 ) ( c 11 c 12 ) ( c 16 c 14 c 15 c 13 ) p_4=(c_1)(c_2)(c_6 c_4 c_5 c_3)(c_{10} c_8 c_9 c_7)(c_{11} c_{12})(c_{16} c_{14} c_{15} c_{13}) p4=(c1)(c2)(c6c4c5c3)(c10c8c9c7)(c11c12)(c16c14c15c13)
由Burnside 引理,不同等价类的个数为 l = 1 4 ( 16 + 2 + 4 + 2 ) = 6 l=\cfrac{1}{4}(16+2+4+2)=6 l=41(16+2+4+2)=6,其 c ( p 1 ) = 16 , c ( p 2 ) = 2 , c ( p 3 ) = 4 , c ( p 4 ) = 2 c(p_1)=16,c(p_2)=2, c(p_3)=4,c(p_4)=2 c(p1)=16,c(p2)=2,c(p3)=4,c(p4)=2。不同的图像如图所示:
4. Pólya 计数定理
等价类集合中所有等价类权的和通常称为该等价类集合的模式表(pattern inventory)。
模式表用于描述一组对象在某种等价关系下的分类情况,这些对象根据特定的性质或规则被分成不同的等价类。
一个直观的例子是将一组物体按照颜色进行分类。假设有一些球,有红色、蓝色和绿色三种颜色的球。现在要按照颜色来分组,但是每个等价类(颜色)的大小(球的数量)可以不同。例如,可能有3个红球、4个蓝球和2个绿球。
这个情况下,对于这组球,等价类集合是按颜色分类的,分为了3个等价类:红色、蓝色和绿色。而模式表就是每个等价类中物体数量的总和,即各颜色球的数量之和:3(红色) + 4(蓝色) + 2(绿色)= 9。
引理 4.1: 设 G 是 D={1,2,…,n } 上的置换群,R = { r 1 , r 2 , . . . , r m r_1,r_2,...,r_m r1,r2,...,rm }(可理解为m种着色), F = { f ∣ = f : D → R } F=\{ f | =f: D → R\} F={f∣=f:D→R}则 F 上的全部模式表为 P G ( ∑ r ∈ R w ( r ) , ∑ r ∈ R w 2 ( r ) , . . . , ∑ r ∈ R w n ( r ) ) P_G(\sum_{r\in R}w(r),\sum_{r\in R}w^2(r),...,\sum_{r\in R}w^n(r)) PG(∑r∈Rw(r),∑r∈Rw2(r),...,∑r∈Rwn(r))
4.1 对点着色问题
习题4、对图中的顶点进行 m 着色,问有多少种方案?
解:1) 不动置换
σ
I
σ_I
σI ,即
1
9
1^9
19 型置换有 1 个
2) 以
i
i
i 为中心,旋转 90°,180°,270°,则分别有(aceg) (bdfh),(ae)(bf)(cg)(dh),(agec)(hfdb).这类旋转可以确定
1
1
4
2
1^14^2
1142 型 2 个,
1
1
2
4
1^12^4
1124 型 1 个
3) 以 bf,hd 为轴翻转 180°,则有(ac)(dh)(eg),(ag)(bf)(ce).这类旋转可以确定
1
3
2
3
1^32^3
1323 型 2 个
4) 以 ae,cg 为轴翻转 180°,则有(cg)(hb)(df),(ae)(hf)(bd).这类旋转可以确定
1
3
2
3
1^32^3
1323 型 2 个
所以,该置换群的轮换指标为
P
G
(
x
1
,
x
2
,
.
.
.
,
x
9
)
=
1
8
(
x
1
9
+
2
x
1
x
4
2
+
x
1
x
2
4
+
4
x
1
3
x
2
3
)
P_G(x_1,x_2,...,x_9)=\cfrac{1}{8}(x^9_1+2x_1x_4^2+x_1x_2^4+4x_1^3x_2^3)
PG(x1,x2,...,x9)=81(x19+2x1x42+x1x24+4x13x23)
等价类个数即着色方案数为
l
=
P
G
(
m
,
m
,
.
.
.
,
m
)
=
1
8
(
m
9
+
2
m
3
+
m
5
+
4
m
6
)
l=P_G(m,m,...,m)=\cfrac{1}{8}(m^9+2m^3+m^5+4m^6)
l=PG(m,m,...,m)=81(m9+2m3+m5+4m6)
习题5、有一个3×3的正方形棋盘,若用红蓝两色对这9个方格进行着色,要求两个位红色,其余为蓝色,问有多少种方案?
解:令 D={a,b,c,d,e,f,g,ℎ,i} ,
R
=
{
c
1
,
c
2
}
R=\{c_1,c_2\}
R={c1,c2} ,6个棋盘格染2种颜色的方法是 F:D→R,由此确定D上的置换为
- 不动置换 σ I σ_I σI ,即 1 9 1^9 19 型置换有 1 个
- 以 i i i 为中心,旋转 90°,180°,270°,则分别有(aceg) (bdfh),(ae)(bf)(cg)(dh),(agec)(hfdb).这类旋转可以确定 1 1 4 2 1^14^2 1142 型 2 个, 1 1 2 4 1^12^4 1124 型 1 个
- 以 bif,hid 为轴翻转 180°,则有(ac)(dh)(eg),(ag)(bf)(ce).这类旋转可以确定 1 3 2 3 1^32^3 1323 型 2 个
- 以 aie,cig 为轴翻转 180°,则有(cg)(hb)(df),(ae)(hf)(bd).这类旋转可以确定 1 3 2 3 1^32^3 1323 型 2 个
所以,该置换群的轮换指标为
P
G
(
x
1
,
x
2
,
.
.
.
,
x
9
)
=
1
8
(
x
1
9
+
2
x
1
x
4
2
+
x
1
x
2
4
+
4
x
1
3
x
2
3
)
P_G(x_1,x_2,...,x_9)=\cfrac{1}{8}(x^9_1+2x_1x_4^2+x_1x_2^4+4x_1^3x_2^3)
PG(x1,x2,...,x9)=81(x19+2x1x42+x1x24+4x13x23)
F的全部模式表
P
G
(
c
1
+
c
2
,
c
1
2
+
c
2
2
,
.
.
.
,
c
1
9
+
c
2
9
)
=
1
8
[
(
c
1
+
c
2
)
9
+
2
(
c
1
+
c
2
)
(
c
1
4
+
c
2
4
)
2
+
(
c
1
+
c
2
)
(
c
1
2
+
c
2
2
)
4
+
4
(
c
1
+
c
2
)
3
(
c
1
2
+
c
2
2
)
3
]
P_G(c_1+c_2,c_1^2+c_2^2,...,c_1^9+c_2^9)\\=\cfrac{1}{8}[(c_1+c_2)^9+2(c_1+c_2)(c_1^4+c_2^4)^2+(c_1+c_2)(c_1^2+c_2^2)^4+4(c_1+c_2)^3(c_1^2+c_2^2)^3]
PG(c1+c2,c12+c22,...,c19+c29)=81[(c1+c2)9+2(c1+c2)(c14+c24)2+(c1+c2)(c12+c22)4+4(c1+c2)3(c12+c22)3]根据题意,
c
1
2
c
2
7
c_1^2c_2^7
c12c27 系数为
1
8
[
(
9
2
)
+
4
[
(
3
0
)
(
3
1
)
+
(
3
2
)
(
3
0
)
]
+
(
4
1
)
]
=
1
8
(
36
+
24
+
4
)
=
8
\cfrac{1}{8}[\binom{9}{2}+4[\binom{3}{0}\binom{3}{1}+\binom{3}{2}\binom{3}{0}]+\binom{4}{1}]=\cfrac{1}{8}(36+24+4)=8
81[(29)+4[(03)(13)+(23)(03)]+(14)]=81(36+24+4)=8
习题6、对正六角形的6个顶点用5种颜色进行着色。试问有多少种不同的方案,旋转使之重合作为相同处理?
解:令 D={a,b,c,d,e,f} ,
R
=
{
c
1
,
c
2
,
c
3
,
c
4
,
c
5
}
R=\{c_1,c_2,c_3,c_4,c_5\}
R={c1,c2,c3,c4,c5} 6个点染5种颜色的方法是 F:D→R,由此确定D上的置换为
- 不动置换 σ I σ_I σI ,即 1 6 1^6 16 型置换有 1 个
- 以六边形中点为中心,旋转 60° 和 300°,有(abcdef) 这类旋转可以确定 6 1 6^1 61 型 2 个;旋转 120° 和 240°,有(ace)(bdf) 这类旋转可以确定 3 2 3^2 32 型 2 个;旋转 180°,有(ad)(be)(cf) 这类旋转可以确定 2 3 2^3 23 型 1 个
- 以绕对角连线旋转180°,则有(a)(d)(be)(cf),(ad)(b)(e)(cf),(ad)(be)( c)(f).这类旋转可以确定 1 2 2 2 1^22^2 1222 型 3 个
- 以对边中点连线为轴翻转 180°,则有(ab)(cf)(de),(af)(be)(cd),(bc)(ad)(fe).这类旋转可以确定 2 3 2^3 23 型 3 个
所以,该置换群的轮换指标为
P
G
(
x
1
,
x
2
,
.
.
.
,
x
6
)
=
1
12
(
x
1
6
+
2
x
6
+
2
x
3
2
+
3
x
1
2
x
2
2
+
4
x
2
3
)
P_G(x_1,x_2,...,x_6)=\cfrac{1}{12}(x^6_1+2x_6+2x_3^2+3x_1^2x_2^2+4x_2^3)
PG(x1,x2,...,x6)=121(x16+2x6+2x32+3x12x22+4x23)
F的全部模式表
根据题意, c 1 2 c 2 c 3 c 4 c 5 , c 1 c 2 2 c 3 c 4 c 5 , c 1 c 2 c 3 2 c 4 c 5 , c 1 c 2 c 3 c 4 2 c 5 , c 1 c 2 c 3 c 4 c 5 2 c_1^2c_2c_3c_4c_5,c_1c_2^2c_3c_4c_5,c_1c_2c_3^2c_4c_5,c_1c_2c_3c_4^2c_5,c_1c_2c_3c_4c_5^2 c12c2c3c4c5,c1c22c3c4c5,c1c2c32c4c5,c1c2c3c42c5,c1c2c3c4c52 项的系数之和为 1 12 ( 5 ⋅ 6 ! 2 ! 1 ! 1 ! 1 ! 1 ! ) = 150 \cfrac{1}{12}(5\cdot \cfrac{6!}{2!1!1!1!1!})=150 121(5⋅2!1!1!1!1!6!)=150
4.2 对面着色问题
习题7、骰子的 6 个面分别有 1,2,3,4,5,6 个点,问有多少种不同的方案?
解:问题相当于对正六面体的 6 个面用 6 种颜色对之着色,要求各面的颜色都不一样
- 不旋转,可确定 1 6 1^6 16 型置换 1 个
- 以相对两面中心连线为轴的旋转.这种轴共有 3 条,对于每条轴可做 ± 90°,180° 旋转.这类旋转可以确定 1 2 4 1 1^24^1 1241 型置换 6 个, 1 2 2 2 1^22^2 1222 型置换 3 个
- 以相对两边中点连线为轴的旋转.这种轴共有 6 条,对于每条轴可做 180°旋转.这类旋转可以确定 2 3 2^3 23 型置换 6 个
- 以正六面体对角线为轴的旋转.这种轴有 4 条,对于每条轴可做 ± 120°旋转.这类旋转可以确定 3 2 3^2 32 型置换 8 个
所以正六面体可产生 24 种置换,该置换群轮换指标为
P
G
(
x
1
,
x
2
,
.
.
.
,
x
6
)
=
1
24
(
x
6
+
6
x
1
2
x
4
+
3
x
1
2
x
2
2
+
8
x
3
2
+
6
x
2
3
)
P_G(x_1,x_2,...,x_6)=\cfrac{1}{24}(x^6+6x_1^2x_4+3x_1^2x_2^2+8x^2_3+6x_2^3)
PG(x1,x2,...,x6)=241(x6+6x12x4+3x12x22+8x32+6x23)
用 Pólya 计数定理求解
4.3 重复球放盒子
习题8、将两个相同的白球和两个相同的黑球放入两个不同的盒子里,问有多少种不同的方法?列出全部方案.又问每盒中有两个球的方法有多少种?
解:令
D
=
{
w
1
,
w
2
,
b
1
,
b
2
}
,
R
=
{
c
1
,
c
2
}
D=\{w_1,w_2,b_1,b_2\},R=\{c_1,c_2\}
D={w1,w2,b1,b2},R={c1,c2},四个球往两个盒子里放的放法是 F:D→R。
由于
w
1
,
w
2
w_1,w_2
w1,w2是两个相同的白球,
b
1
,
b
2
b_1,b_2
b1,b2是两个相同的黑球,由此确定出D上的置换群为
G
=
{
σ
I
,
(
w
1
w
2
)
,
(
b
1
b
2
)
,
(
w
1
w
2
)
(
b
1
b
2
)
}
G=\{σ_I,(w_1w_2),(b_1b_2),(w_1w_2)(b_1b_2)\}
G={σI,(w1w2),(b1b2),(w1w2)(b1b2)}
其轮换指标为
P
G
(
x
1
,
x
2
,
x
3
,
x
4
)
=
1
4
(
x
1
4
+
2
x
1
2
x
2
+
x
2
2
)
P_G(x_1,x_2,x_3,x_4)=\cfrac{1}{4}(x_1^4+2x_1^2x_2+x_2^2)
PG(x1,x2,x3,x4)=41(x14+2x12x2+x22)
F 上的等价类个数由Pólya 计数 可得
l
=
P
G
(
2
,
2
,
2
,
2
)
=
1
8
(
2
4
+
2
⋅
2
2
⋅
2
+
2
2
)
=
9
l=P_G(2,2,2,2)=\cfrac{1}{8}(2^4+2\cdot 2^2\cdot2+2^2)=9
l=PG(2,2,2,2)=81(24+2⋅22⋅2+22)=9
这 9 个不同方案为:
(
⊘
,
w
w
b
b
)
,
(
w
,
w
b
b
)
,
(
b
,
w
w
b
)
,
(
w
w
,
b
b
)
,
(
w
b
,
w
b
)
,
(
w
w
b
b
,
⊘
)
,
(
w
b
b
,
w
)
,
(
w
w
b
,
b
)
,
(
b
b
,
w
w
)
(\oslash ,wwbb),(w,wbb),(b,wwb),(ww,bb),(wb,wb),(wwbb,\oslash ),(wbb,w),(wwb,b),(bb,ww)
(⊘,wwbb),(w,wbb),(b,wwb),(ww,bb),(wb,wb),(wwbb,⊘),(wbb,w),(wwb,b),(bb,ww)
F的全部模式表
P
G
(
c
1
+
c
2
,
c
1
2
+
c
2
2
,
c
1
3
+
c
2
3
,
c
1
4
+
c
2
4
)
=
1
4
[
(
c
1
+
c
2
)
4
+
2
(
c
1
+
c
2
)
2
(
c
1
2
+
c
2
2
)
+
(
c
1
2
+
c
2
2
)
2
]
P_G(c_1+c_2,c_1^2+c_2^2,c_1^3+c_2^3,c_1^4+c_2^4)\\=\cfrac{1}{4}[(c_1+c_2)^4+2(c_1+c_2)^2(c_1^2+c_2^2)+(c_1^2+c_2^2)^2]
PG(c1+c2,c12+c22,c13+c23,c14+c24)=41[(c1+c2)4+2(c1+c2)2(c12+c22)+(c12+c22)2]盒1与盒2中各放两个球的方案数是
c
1
2
c
2
2
c_1^2c_2^2
c12c22项的系数,即为
1
4
[
(
4
2
)
+
2
+
2
+
2
]
=
3
\cfrac{1}{4}[\binom{4}{2}+2+2+2]=3
41[(24)+2+2+2]=3
具体方案为:
(
w
w
,
b
b
)
,
(
w
b
,
w
b
)
,
(
b
b
,
w
w
)
(ww,bb),(wb,wb),(bb,ww)
(ww,bb),(wb,wb),(bb,ww)