第十章鸽笼原理.pptVIP

第十章 鸽笼原理 组合数学或组合论是一门历史悠久的应用数学学科。 随着计算机的普及和发展，对计算机算法的研究变得日益重要。 计算机算法可分为两大类: 解决数值计算(如方程组求解、积分计算等)的计算方法， 解决非数值计算(如搜索、排序、组合优化等)的非数值计算方法(主要是组合算法)。 设计和分析组合算法的基础就是组合数学。 组合数学一般可分为四个方面: 判定所提出问题的解是否存在的存在性问题、 确定有解问题其不同解的个数的计数问题、 对可解问题去把解构造出来的构造性算法 从问题的多种构造性算法中择优改进的优化问题。 组合数学的内容是很丰富的，只涉及组合数学中的存在性问题和计数问题，为以后学习和研究计算机算法的设计和分析打下基础。 鸽笼原理是解决组合数学中一些存在性问题的基本工具。 最早是由狄利克雷(Dirichlet)提出的，又称为抽屉原理、鞋盒原理。 10.1鸽笼原理的简单形式 定理10.1：n+1只鸽子飞回n个笼子，至少有一个鸽笼含有不少于2只的鸽子。 这个定理的证明是非常简单的 抽去具体的“鸽子”、“鸽笼”等物理属性 从数学上看，就是把s个元素分成t个组，当不能均匀分放时，必有一个组其元素个数要超出“平均数”。 定理10.2：s(s≥1)个元素分成t个组，那么必存在一个组至少含有?s/t?(这里? ?为“上整数”记号)个元素。 证明：用反证法证明。 若每个组至多含有(?s/