复旦大学计算机科学与工程系_吴永辉_离散数学_组合数学.ppt

组合数学初步 第十章 鸽笼原理 第十一章 排列与组合 第十二章 生成函数与递推关系 组合数学/组合论 组合数学/组合论：应用数学学科，对于算法研究变得日益重要。 计算机算法分类 数值计算：方程组求解、积分计算 非数值计算：搜索、排序、组合优化（主要是组合算法） 设计和分析组合算法的基础是组合数学 组合数学的四个方面 判定所提出问题的解是否存在的存在性问题 确定有解问题其不同解的个数的计数问题 对可解问题去把解构造出来的构造性算法 从问题的多种构造性算法中择优改进的优化问题。 讲授内容 组合数学中的存在性问题和计数问题 《组合数学》经典教材 《组合数学》（第3版），卢开澄，卢华明著，清华大学出版社。（有课件，可拷贝） 《组合数学》（英文版.第3版），（美）Richard A. Brualdi，译者：冯舜玺、罗平、裴伟东。校：卢开澄、冯舜玺。Prentice Hall，机械工业出版社。 组合数学 一、组合数学的历史和发展原因 二、组合数学两类一般性问题 三、组合学另外两种问题 四、组合数学的定义 一、组合数学的历史和发展原因 1. 组合数学的历史渊源扎根于数学娱乐和游戏之中。 2. 组合数学的历史和发展原因 1) 计算机的发展, 程序的基础往往是求解问题的组合学算法. 2) 组合数学对于过去很少与数学正式接触的学科的适用性 二、组合数学两类一般性问题 组合数学涉及将一个集合的物体排列成满足一些指定规则的格式。 1.排列的存在性: 排列在什么样的(充分和必要)条件下能够实现? 2.排列的计数和分类: 如果一个排列是可能的, 那么就会存在多种方法实现它. 此时, 就可以计数并将它们分类. 组合学问题形式： 能否排列……? 存在一个……吗? 能用多少方法……? 计算……的数目. 三、组合学另外两种问题 研究一个已知的排列 构造一个最优的排列 四、组合数学的定义 组合数学是研究离散结构的存在、计数、分析和优化等问题的一门学科。 第十章 鸽笼原理 10.1 鸽笼原理的简单形式 10.2 鸽笼原理的加强形式 10.1 鸽笼原理的简单形式 1, 问题的引入 实例： 某次会议有n位代表参加，每位代表认识其他代表中某些人，则至少有两个人认识的人数是一样的。 10.1 鸽笼原理的简单形式 2, 鸽笼 定理10.1 n+1只鸽子飞回n个笼子，至少有一个鸽笼含有不少于2只鸽子。 证明方法：反证 例１　367人中至少有２人的生日相同。 例２　10双手套中任取11只，其中至少有两只是完整配对的。 3, 鸽笼的扩展（抽象） 定理10.2 s（s?1）个元素分成t个组，那么必存在一个组至少含有?s/t?（这里? ?为“上整数”记号）个元素。 证明方法：反证法。 证明：若每个组至多含有(?s/t?-1)元素，则t个组共有元素t(?s/t?-1)，因为s/t? ?s/t?(s/t)+1，所以有t(?s/t?-1)s，这就导致矛盾。所以必存在一个组至少含有?s/t?个元素。 4, 实例 1）例10.1 设f是D到R的函数，这里|D||R|，令i= ?|D|/ |R|?，则D中存在i个元素d1, d2, ……, di，使得f(d1)=f(d2)=……f(di)。 证明方法：此问题相当于定理10.2，把|D|个元素分到|R|个组中去。 证明：在这|R|个组中有一个组至少含有i= ?|D|/ |R|?个元素。在同一组中对应的函数值是相等的。所以在D中至少存在i个元素d1, d2, ……, di，使得f(d1)=f(d2)= ……f(di) 。 2）例10.2 在n+1个小于或等于2n的互不相等的正整数中，必存在两个互质的数。 证明：把1, 2, ……, 2n这2n个数分成n个组：{1, 2}, {3, 4}, ……, {2n-1, 2n}；则问题归结为从n个组中取n+1个数，由定理10.1知，至少有2个数取自同一组，由于这两个数是相邻的正整数，故互质。 3）例10.3 1, 2, ……, 2n中任取n+1个互不相同的数中，必存在两个数，其中一个数是另一个数的倍数。 证明：因为任何正整数n可以表示成n=2a?b（这里a=0, 1, 2,…，且b为奇数）。设取出的n+1个数为k1, k2, …, kn+1，则ki=2ai?bi。 由于b1, b2, …, bn+1是奇数，共有n+1个，而在{1, 2, ……, 2n}中只有n个不同的奇数，所以必存在i, j，使得bi=bj。 不妨设kikj，则有ki / kj =2ai-aj为正整数，因此ki是kj的倍数。 4）例10.4 一个国际象棋