组合数学的鼻祖2.pptVIP

浅谈组合数学 南开大学 机器证明——吴消元法 1976年吴文俊教授开始进行研究几何定理的机器证明，并在很短的时间内取得重大突破。 他的基本思想如下：引进坐标，将几何定理用代数方程组的形式表达；提出一套完整可行的符号解法，将此代数方程组求解。此两步中，一般第二步更为困难。 机器证明——吴消元法 周咸青利用并发展吴方法，编制出计算机软件，证明了500多条有相当难度的几何定理，并在美国出版了几何定理机器证明的专著。 吴方法不仅可证明已有的几何定理，而且可以自动发现新的定理。可以从Kerler定律推导牛顿定律；解决一些非线性规划问题；给出Puma型机器人的逆运动方程的解。 吴文俊教授还将其方法推广到微分几何定理的机器证明上。 网络流问题 随着中国经济快速的增长，城市化是未来中国的发展方向。人大通过的“十五”规划，把物流业作为战略重点列入要大力发展的新兴服务产业。如何制定一个运输计划使生产地到销售地的产品输送量最大。这就是一个网络最大流问题。 网络流问题 1956年Ford 和Fulkerson 提出了关于网络流问题的一个重要定理。 最大流最小割定理：在任何网络中，最大流的值等于最小割的容量。 由这个定理可以引出求网络最大流的一个算法——标号法。 1970年，Edmonds和Karp 对标号程序加以改进，使之成为一个好的算法。 稳定的婚姻问题 组合数学中有一个著名定理：如果一个村子里每一个女孩都恰好认识k个男孩，并且每一个男孩也恰好认识k个女孩，那么每一个女孩都可以嫁给她认识的一个男孩，并且每一个男孩都可以娶一个他认识的女孩。（ k 正则二部图，一定存在一个完美匹配） 稳定的婚姻问题 但是这样的安排方法不一定是最好的。假如能找到两对夫妇，彼此都更喜欢对方的配偶，那么这样婚姻有潜在的不稳定性。 用图论匹配理论中Gale-Shapley算法，可以找到一种婚姻的安排方法，使得没有上述的不稳定情况出现。 稳定的婚姻问题 这种组合数学的方法有 一个实际的用途：美国的医院在确定录取住院医生时，他们将考虑申请者的志愿的先后次序，同时也给申请者排序。按这样的 次序考虑出的总的方案将没有医院和申请者两者同时后悔的情况。 实际上，高考学生的最后录取方案也可以用这种方法。 栈排序问题(Knuth, 1960’s) 模式: 对任意一个排列π , 最小的元素用１代替，次小的元素用２代替……以此类推，这样得到的排列叫π的模式。 例如 　　　914的模式为：312 　　　37925 的模式为： 24513 栈排序问题(Knuth, 1960’s) 避免３１２排列：一个排列是避免３１２的，当且仅当它的任意子序列中没有３１２模式。 例如 　　　π＝ 132564是避免 312的排列 π＝ 146235是包含312的排列 栈排序问题(Knuth, 1960’s) 全一问题 假设博物馆里有若干个房间，每个房间里有一盏灯和一个开关，每次按下某个房间的开关，可以改变这个房间以及它相邻的房间的灯的状态。 全一问题 问是否可以找到一种开灯的方案，使得所有房间的灯由全亮变为全灭？这就是Sutner 于1989年提出的“全一问题”（All-Ones Problem)。 最小全一问题 求操作次数最少的解称为最小全一问题。 我们已经知道，对于一般图上的最小全一问题是NP完备的。 陈永川教授与他人合作找到了一个线性时间算法，很好地解决了树和单圈图的最小全一问题。（SIAM Journal on Computing，2004） 网络可靠性问题 一个通讯网络怎样布局稳定性最好，而且费用最节省？ 美国的贝尔实验室和IBM公司都有世界一流的组合数学家在研究这个问题，这个问题直接关系到巨大的经济利益。 最短网络问题 如何用最短的线路将三部电话连起来？ 此问题可抽象为设△ABC为等边三角形，，连接三顶点的路线（称为网络）。这种网络有许多个，其中最短路线者显然是二边之和（如AB∪AC）。 最短网络问题 但若增加一个周转站（新点P），连接4点的新网络的最短路线为PA＋PB＋PC。最短新路径之长N比原来只连三点的最短路径O要短。 这样得到的网络不仅比原来节省材料，而且稳定性也更好。 Pollak－Gilbert猜想 由于最短网络在运输、通讯和计算机等现代经济与科技领域中都有重要的应用，对这个问题的研究也越来越深入。问题的对象已由三个点扩展到任意有限个点集。 Pollak－Gilbert猜想 斯坦纳（Steiner）最小树是可以在给定的点之外再增加若干个点(称为斯坦纳点)，然后将所有这些点连起来。 如果不允许增加任何额外的点作为网络的顶点，这种最短网络称为最小