组合数学(第5版普通高等教育十一五国家级规划教材)/计算机科学组合学丛书

本书是《组合数学（第4 版）》的修订版，全书共分 7章，分别是排列与组合、 递推关系与母函数、容斥原 理与鸽巢原理、Burnside引 理与Polya定理、区组设计 、编码简介和组合算法简介 .丰富的实例及理论和实际 相结合是本书一大特点，有 利于对问题的深入理解。 本书是计算机相关专业 本科生和研究生的教学用书 ，也可作为数学专业师生的 教学参考书。

第1章 排列与组合 1.1 加法法则与乘法法则 1.2 一一对应 1.3 排列与组合 1.3.1 排列与组合的模型 1.3.2 排列与组合问题的举例 1.4 圆周排列 1.5 排列的生成算法 1.5.1 序数法 1.5.2 字典序法 1.5.3 换位法 1.6 允许重复的组合与不相邻的组合 1.6.1 允许重复的组合 1.6.2 不相邻的组合 1.6.3 线性方程的整数解的个数问题 1.6.4 组合的生成 1.7 组合意义的解释 1.8 应用举例 1.9 Stirling公式 1.9.1 Wallis公式 1.9.2 Stirling公式的证明 习题 第2章 递推关系与母函数 2.1 递推关系 2.2 母函数 2.3 Fibonacci序列 2.3.1 Fibonacci序列的递推关系 2.3.2 若干等式 2.4 优选法与Fibonacci序列的应用 2.4.1 优选法 2.4.2 优选法的步骤 2.4.3 Fibonacci的应用 2.5 母函数的性质 2.6 线性常系数齐次递推关系 2.7 关于线性常系数非齐次递推关系 2.8 整数的拆分 2.9 Ferrers图像 2.10 拆分数估计 2.11 指数型母函数 2.11.1 问题的提出 2.11.2 指数型母函数的定义 2.12 广义二项式定理 2.13 应用举例 2.14 非线性递推关系举例 2.14.1 Stirling数 2.14.2 Catalan数 2.14.3 举例 2.15 递推关系解法的补充 习题 第3章 容斥原理与鸽巢原理 3.1 DeMorgan定理 3.2 容斥定理 3.3 容斥原理举例 3.4 棋盘多项式与有限制条件的排列 3.5 有禁区的排列 3.6 广义的容斥原理 3.6.1 容斥原理的推广 3.6.2 一般公式 3.7 广义容斥原理的应用 3.8 第2类司特林数的展开式 3.9 欧拉函数 3.10 n对夫妻问题 3.11 M6bius反演定理 3.12 鸽巢原理 3.13 鸽巢原理举例 3.14 鸽巢原理的推广 3.14.1 推广形式之一 3.14.2 应用举例 3.14.3 推广形式之二 3.15 Ramsey数 3.15.1 Ramsey问题 3.15.2 Ramsey数 习题 第4章 Burnside引理与Polya定理 4.1 群的概念 4.1.1 定义 4.1.2 群的基本性质 4.2 置换群 4.3 循环、奇循环与偶循环 4.4 Burnside引理 4.4.1 若干概念 4.4.2 重要定理 4.4.3 举例说明 4.5 Polya定理 4.6 举例 4.7 母函数形式的Polya定理 4.8 图的计数 习题 第5章 区组设计 5.1 问题的提出 5.2 拉丁方与正交的拉丁方 5.2.1 问题的引入 5.2.2 正交拉丁方及其性质 5.3 域的概念 5.4 Galois域GF(pn) 5.5 正交拉丁方的构造 5.6 正交拉丁方的应用举例 5.7 均衡不完全的区组设计 5.7.1 基本概念 5.7.2 (b，v，r，k，A)一设计 5.8 区组设计的构成方法 5.9 Steiner三元系 习题 第6章 编码简介 6.1 基本概念 6.2 对称二元信道 6.3 纠错码 6.3.1 最近邻法则 6.3.2 Hamming不等式 6.4 若干简单的编码 6.4.1 重复码 6.4.2 奇偶校验码 6.5 线性码 6.5.1 生成矩阵与校验矩阵 6.5.2 关于生成矩阵和校验矩阵的定理 6.5.3 译码步骤 6.6 Hamming码 6.7 BCH码 习题 第7章 组合算法简介 7.1 归并排序 7.1.1 算法 7.1.2 举例 7.1.3 复杂性分析 7.2 快速排序 7.2.1 算法的描述 7.2.2 复杂性分析 7.3 Ford—Johnson排序法 7.4 排序的复杂性下界 7.5 求第k个元素 7.6 排序网络 7.6.1 0-1原理 7.6.2 Bn网络 7.6.3 复杂性分析 7.6.4 Batcher奇偶归并网络 7.7 快速傅里叶变换 7.7.1 问题的提出 7.7.2 预备定理 7.7.3 快速算法 7.7.4 复杂性分析 7.8 DFS算法 7.9 BFS算法 7.10 a口剪枝术 7.11 状态与图 7.12 分支定界法 7.12.1 TSM问题 7.12.2 任务安排问题 7.13 最短树与Kruskal算法 7.14 Huffman树 7.15 多段判决 7.15.1 问题的提出 7.15.2 最佳原理 7.15.3 矩阵链积问题 7.15.4 图的两点间最短路径 习题