第8章 Polya计数理论
8.1 引论
1.技术性困难:引入生成函数解出问题通解表达式.
2.概念性困难:定义一个等价关系,计数等价类.以避免重复和遗漏.
8.2 群
def1. 群(G,·):对代数系统(G,·),有:
(1)封闭(2)结合律(3)单位元(4)逆元
结合(2)(4)可得消去律
<Z,+>,<Q,+>,<R,+><Q-{0},><R-{0},>都是群,加法中0为单位元逆元负数,乘法中1为单位元逆元倒数
def2.<G,·>中,若G有限,其的阶数记为|G|,称为有限群,否则为无限群.
def3.子群:集合为原群<G,·>中G的非空子集,运算不变,仍构成群.
def4.平凡子群:对于<G,·>,子群集合H=G或H={e}.
Th.子群与parent群共享单位元(消去律可证).
Th.对于<G,·>,H为G非空子集,满足任a,b∈H,则a· b−1 ∈H,那么为其子群.
proof:单位元,结合律继承,封闭性可由以上条件推得
Th.设<G,·>为有限群,e为其单位元,H为G的非空子集,任意 a,b∈H ,都有 a⋅b∈H ,则为其子群.
def5.循环群之生成元
8.3 置换群
def1.置换:n元有限集合D上的一一映射
置换的复合运算
Th.置换的复合运算满足结合律但不满足交换率
def2. n元有限集合D上的所有置换的集合 Sn 关于置换的复合运算构成群 Sn 的阶为n!. Sn 称n次对称群,其子群成为n次置换群.
def3.轮换:在置换 σ 中有k个元素满足轮换,其余元素不变记为长度为k的轮换.
Th.任一置换可表示为不想交的轮换之积,这些轮换可称为原置换的轮换因子.
proof
e.g.4正方体旋转问题:恒等置换1,相对面中心线旋转置换9,相对顶点连线旋转置换8,相对边中心连线旋转置换6,=>1+9+8+6=24种置换,构成8次24阶置换群.
8.4 计数问题的数学模型
有限集合:对象集合D 颜色集合R
对象集合D上置换群G
D到R的映射(对D中全部对象染色方案)全体的集合F—G等价关系—G等价类
def1.有限集合D到R的映射全体记为
Th. G等价关系是映射全体集合F上的等价关系
proof:自反性,对称性,传递性,因为G是群:单位元(恒等变换),逆元, 封闭性
e.g.1正立方体6面进行红黄两色着色,着色方案全体 F={
f|f:D→R} ,其中D={上下左右前后}R={红黄}. f1,f2 若是G等价则视为同一着色方案.(G为3.8中e.g.4)
e.g.2长为n的项链用r种颜色涂.着色方案全体为 F={
f|f:D→R} ,项链视为D上的n次二面体.