具体数学 第5章 二项式系数(5.4-5.8节).pptx

第5章 二项式系数（Binomial Coefficients）鞠成东E-mail：juchd@M. P. 考教材与书目。参考教材与书目书名：具体数学：计算机科学基础（第2版）原书名：Concrete Mathematics: A Foundation for Computer Science (2nd Edition)作者：(美)Ronald L. Graham, Donald E. Knuth, Oren Patashnik译者：张明尧，张凡出版社：人民邮电出版社 ISBN：978-7-115-30810-8课程教学内容● 第1章 递归问题● 第2章 和式（选讲）● 第3章 整值函数● 第4章 数论● 第5章 二项式系数● 第6章 特殊的数● 第7章 生成函数（自学）● 第8章 离散概率● 第9章 渐进式课程教学内容● It introduces the mathematics that supports the analysis of algorithms, modeling probems in real world. See,Chap. 1 – Recurrence 递归的计数Chap. 2 – Sum 各种求和，用于算法复杂度计算等Chap. 6 – Special Numbers 调和数列及有关求和问题● Concrete mathematics is a blending of continuous and discrete mathematics. See,Chap. 3 – Integer Functions 实数的整数部分运算Chap. 9 – Asymptotics 离散到连续的渐进课程教学内容● The goal is for the student to have mathematical skills to solve complex problems, and to discover subtle patterns in data. Chap. 7 – Generating Functions 用于概率计算的母函数Chap. 8 – Discrete Probability 离散问题概率(最有趣)本章教学内容● 5.4 生成函数（Generating Functions）● 5.5 *超几何函数（Hypergeometric Functions）● 5.6 *超几何变换（Hypergeometric Transformations）● 5.7 *部分超几何和式（Partial Hypergeometric Sums）● 5.8 *机械求和法（Mechanical Summation）5.4 生成函数生成函数方法是离散数学的重要方法，是连接离散数学与连续数学的桥梁。可以说，是离散数学中最令人惊讶的、有益的、巧妙的发明。法国数学家Laplace 于1812年出版的《概率分析理论》最早提出。作用：广泛应用于组合计数、概率论、证明恒等式、求解递推关系、求递归数列的通项公式（如：经典的Fibonacci数、Catalan数等）以及编程与算法设计和分析（往往对程序效率与速度有很大改进）等方面。生成函数的应用也是数学中“以退为进”思想的典型代表。其基本思想是将序列问题变换为函数问题，进而研究数列通项的规律。即：为了获得一个有限或无限数列的有关知识，可引用一个形式幂级数来整体表示该序列，通过对形式幂级数进行函数运算和分析，来获得这个序列的构造和性质（知识）。我们称为数列的生成函数。 一个序列与其母函数一一对应，给了序列，便得知其母函数；反之，求得母函数，也可得知序列。??● 模式很简单，其中：序列的第k项（索引从0开始）是生成函数中的系数。● 对x往往被看作是“占位符”，同时也将幂级数函数看作是收敛的。● 两种生成函数：☆ 普通型生成函数：常用于解决多重集组合问题；☆ 指数型生成函数：常用于解决多重集排列问题。?无限几何级数的和是：我们已知该方程在时不成立，但在将幂级数运用到生成函数时，对x看作“占位符”，也假设函数是收敛的。序列与生成函数的对应关系的更多示例：?【说明示例1】：序列的生成函数为：由二项式定理知：通过对函数的运算，可导出一系列恒等式，例如：?【说明示例2】：由恒等式：可以导出范德蒙德（Vandermonde）恒等式：更多应用：● 利用生成函数证明组合恒等式● 利用生成函数求解递推关系☆ 常系数线性齐次递推关系☆ 常系数线性非齐次递推关系● 利用生成函数进行组合计数☆ 组合数的生成函数问题 ☆ 排列数的指数型生成函数问题☆ 整数拆分问题 ☆ 组合型分配问题☆ 排列型分配问题 ☆ 有限制位置的排列和棋盘多项式问题● 利用生成函数解决