other______组合计数_刘汝佳_黑书课件.pdf

2005年浙江省队培训 第2讲组合计数 刘汝佳 目录 一、置换群 二、组合数学基础 三、生成函数 四、等价类计数 五、递推法 一、置换群 群 • 群是集合G和其上的二元运算*, 并满足 – 封闭性: 对于群里元素a, b, a*b也在G 内) – 结合律: (a*b)*c = a*(b*c) – 单位元: 存在e, 对于每个元素a*e=e*a=a – 逆元: 对于每个元素a, 存在b使a*b=b*a=e, 记 b=a-1 • 一般简写a*b为ab 置换 • 用置换  1 2  n    a a  a  1 2 n  • 表示1被a 取代, 2被a 取代…n被a 取代. 其 1 2 n 中a , a , …a 是1~n的一个排列 1 2 n 置换群 • 置换群的元素是置换, 运算是置换的连接 1 2 3 41 2 3 4 1 2 3 43 1 2 4 1 2 3 4         3 1 2 4 4 3 2 1  3 1 2 4 2 4 3 1  2 4 3 1          • 可以验证置换群满足群的四个条件 定理 • 设G是1…n的置换群, K是1…n的某个元素 – G中使K保持不变的置换集合, 记为Z , 称为K不 k 动置换类 – K在G作用下的轨迹记为E , 也就是通过置换G k 能变换到的元素集合 • 定理: |E | * |Z | = |G| (证明略) k k 循环 • n阶循环 a1 a2  an−1 an  (a a an )   1 2   a a  a a  2 3 n 1  • 每个置换都可以写若干互不相交的循环 的乘积，例如