01浅谈组合数学1课程.ppt

Gould-Hsu反演公式 1973年Duke Math. J.上发表了Gould与徐利治的论文“Some new inverse series relations”，这是中美关系正常化开始后两国学者合作发表的第一篇论文。 Gould-Hsu反演公式可用于证明和发现恒等式，也可以应用于算法分析和插值方法中。 中国邮递员问题 管梅谷（1960）： 邮递员从邮局出发送信，要求对辖区内每条街都至少通过一次再回邮局，怎样选择一条最短路线? 现实生活中很多问题可以转化为中国邮递员问题。 有好算法！ 论不相交斯坦纳三元系大集 陆家羲(1935—1983)，包头九中物理教师 1961年完成论文“冠克满系列和斯坦纳系列的制作方法” ，三次投稿国内杂志未中。前者1971年为国外学者解决发表，惜哉！ 1983年和1984年在J. Combin. Theory Ser. A 上发表题为 “On large sets of disjoint Steiner triple systems ”的六篇论文。 以“论不相交斯坦纳三元系大集”系列论文获1987年国家自然科学一等奖。 Gilbert-Pollak猜想 1990年，堵丁柱和黄光明合作证明了 Gilbert-Pollak猜想(1968)。 被列为1989年-1990年度美国离散数学界和理论计算机科学界重大成果。 被《不列颠百科全书1992年鉴》列为6项数学成果的第一项。 堵丁柱获得中国科学院自然科学一等奖、国家科技进步二等奖和中国青年科学家奖 。 机器证明——吴消元法 1976年吴文俊教授开始进行研究几何定理的机器证明，并在很短的时间内取得重大突破。 他的基本思想如下：引进坐标，将几何定理用代数方程组的形式表达；提出一套完整可行的符号解法，将此代数方程组求解。此两步中，一般第二步更为困难。 机器证明——吴消元法 周咸青利用并发展吴方法，编制出计算机软件，证明了500多条有相当难度的几何定理，并在美国出版了几何定理机器证明的专著。 吴方法不仅可证明已有的几何定理，而且可以自动发现新的定理。可以从Kerler定律推导牛顿定律；解决一些非线性规划问题；给出Puma型机器人的逆运动方程的解。 吴文俊教授还将其方法推广到微分几何定理的机器证明上。 * 稳定的婚姻问题 组合数学中有一个著名定理：如果一个村子里每一个女孩都恰好认识k个男孩，并且每一个男孩也恰好认识k个女孩，那么每一个女孩都可以嫁给她认识的一个男孩，并且每一个男孩都可以娶一个他认识的女孩。（ k 正则二部图，一定存在一个完美匹配） 稳定的婚姻问题 但是这样的安排方法不一定是最好的。假如能找到两对夫妇，彼此都更喜欢对方的配偶，那么这样婚姻有潜在的不稳定性。 用图论匹配理论中Gale-Shapley算法，可以找到一种婚姻的安排方法，使得没有上述的不稳定情况出现。 稳定的婚姻问题 这种组合数学的方法有一个实际的用途：美国的医院在确定录取住院医生时，他们将考虑申请者的志愿的先后次序，同时也给申请者排序。按这样的次序考虑出的总的方案将没有医院和申请者两者同时后悔的情况。 实际上，高考学生的最后录取方案也可以用这种方法。 栈排序问题(Knuth, 1960’s) 模式: 对任意一个排列π , 最小的元素用１代替，次小的元素用２代替……以此类推，这样得到的排列叫π的模式。 例如 　　　914的模式为：312 　　　37925 的模式为： 24513 栈排序问题(Knuth, 1960’s) 避免３１２排列：一个排列是避免３１２的，当且仅当它的任意子序列中没有３１２模式。 例如 　　　π＝ 132564是避免 312的排列 π＝ 146235是包含312的排列 栈排序问题(Knuth, 1960’s) 8 7 6 5 4 3 2 1 避免312排列 组合数学的应用 组合数学不仅在基础数学研究中具有极其重要的地位，在其它的学科如计算机科学、编码和密码学、物理、化学、生物等学科中，甚至在企业管理，交通规划，战争指挥，金融分析，城市物流等领域均有重要应用。 组合数学的应用 著名的组合数学家 Thomas Tutte 在组合数学界是泰斗级的大师。直到最近人们才知道，原来他对提前结束“二战”有着突出贡献。 Tutte 从德军的两条情报密码出发，用组合数学的方法，重建了敌人的密码机，确定了德军密码的内部结构，从而获得了极为重要的情报。 组合数学的应用 在美国有一家公司用组合数学的方法来提高企业管理的效益，这家公司办得非常成功。 在美国已有专门的公司用组合设计的方法开发软件，来解决工业界中的试验设计问题。 德国一位著名组合数学家利用组合数学方法研究药物结构，为制药公司节省了大量的费用，引起了制药业的关注。