数学建模离散问题建模方法及案例分析课件.pptVIP

数学建模 离散问题建模方法及案例分析;一. 离散数学的研究对象; 离散数学是“研究离散变量相互关系和结构的数学理论的总称。包括集合论、数论、有限群论、组合数学、图论、数理逻辑、可行计算理论等。” -----《辞海》 ; 离散数学研究的对象是有限集合。该集合的大小又是与某些参数的组合数有关。因此，也常常被称为组合结构。 讨论的问题类型很多，主要有： 安排(arrangement)、分类(grouping)、排序(ordering)、选择(selection)等。 ; 变量的“离散性” —对象通常是以个体形式 出现…… 问题的“离散性” — 二分问题、七桥问题、八后问题、二十问问题…… 方法的“离散性” — 由问题的离散性带来方法上的离散性。不存在统一的求解模式：常用的有整数规划、图论、数理逻辑等方法。更大量的则是枚举法以及所谓的启发式算法……;关于算法复杂性(complexity) 问题—算法—结果 An algorithm is considered “good” if the required number of elementary computational steps is bounded by a polynomial in the size of the problem. ---- J.Edmonds R.M.Karp (1960) P --- NP --- NP-C ;二. 离散问题建模方法; 根据许多数学家的描述，离散问题通常以以下三种形式出现： “ Does the arrangement exist? ” “ How many arrangements are there? ” “ What is a best arrangement? ” 这就是存在性问题、计数问题和最优性问题。; 1. 存在性问题案例---- 董事会会议安排 Mix Well For Fruitful Discussion (MCM1997-B) 一. 问题的提出 An Tostal 公司董事会由29名董事(其中9名在职)组成。 公司要召开为期一天的董事会会议。 上午分3节(sessions), 每节分成6组(groups) 下午4 节, 每节分成4组。 为让董事们充分发表意见，应如何安排各节各组的 董事名单?;二. 分析和建模 关于组合设计 1. Euler36军官问题和正交拉丁方 设 是一个n元集合。A是一个 阶 矩阵,它的元素为S中的元素。如果S 中的每一个元素都 恰好在A的每一行中出现一次,同时在A的???一列中出现 一次, 那么就称A为S上的一个n阶拉丁方。 假设A和B都是n阶拉丁方， 。如果 个有序对 各不相同。则称该两个拉丁方正 交。 ;正交拉丁方的存在性 1782年，Euler猜测，当 时，n阶正交拉丁 方都不存在。 其中，2阶的不存在性是显然的。6阶的不存在性是 Tarry在1900年证明的。也就是说，36军官问题确实没 有解。 直到1960年， Euler的猜想最终被推翻。Shrikhande, Bose, Parker证明了：除了2和6两种特殊情况， n阶正交 拉丁方都存在。;2. Steiner三元系 设S是一个n元集合，B是由S的一些三元子集组成的 集合。如果S中的任意一对不同的元素，都恰好同时包 含在B的唯一的一个三元子集中, 则称( S, B )组成一个 n 阶的Steiner三元系, 记作STS(n)。 例如： (1,2,3), (1,4,5), (1,6,7), (2,4,6), (2,5,7), (3,4,7), (3,5,6) 组成一个7阶的Steiner三元系。 (1,2,3), (4,5,6), (7,8,9)；(1,4,7), (2,5,8),