680 likes | 852 Views
浅谈组合数学. 浙江大学 数学系 葛根年 2010 年 3 月. 组合数学概述. 现代数学可以分为两大类:一类是研究连续对象的,如分析、方程等;另一类就是研究离散对象的组合数学。 计算机出现以后,由于离散对象的处理是计算机科学的核心,研究离散对象的组合数学得到迅猛发展 。. 组合数学概述. 吴文俊 院士指出,每个时代都有它特殊的要求,使得数学出现一个新的面貌,产生一些新的数学分支,组合数学这个新的分支也是在时代的要求下产生的。 最近, 吴文俊 院士又指出,信息技术很可能会给数学本身带来一场根本性的变革,而组合数学则将显示出它的重要作用。
E N D
浅谈组合数学 浙江大学 数学系 葛根年 2010年3月
组合数学概述 • 现代数学可以分为两大类:一类是研究连续对象的,如分析、方程等;另一类就是研究离散对象的组合数学。 • 计算机出现以后,由于离散对象的处理是计算机科学的核心,研究离散对象的组合数学得到迅猛发展。
组合数学概述 • 吴文俊院士指出,每个时代都有它特殊的要求,使得数学出现一个新的面貌,产生一些新的数学分支,组合数学这个新的分支也是在时代的要求下产生的。 • 最近,吴文俊院士又指出,信息技术很可能会给数学本身带来一场根本性的变革,而组合数学则将显示出它的重要作用。 • Gian-Carlo Rota教授曾提出要向中国领导人呼吁,组合数学是计算机软件产业的基础,中国最终一定能成为一个软件大国,但是要实现这个目标的一个突破点就是发展组合数学。
传说在公元前23世纪大禹治水的时候,在黄河支流洛水中,浮现出一个 大乌龟,甲上背有9种花点的图案,人们将图案中的花点数了一下,竞惊奇地发现9种花点数正巧是1—9这9个数,各数位置的排列也相当奇妙,横的3行、纵的3列以及两对角线上各自的数字之和都为15。 组合数学的历史 上图为三阶洛书
2200BC 神 农 幻 方 15世纪 1 15 14 4 12 6 7 9 8 10 11 5 13 3 2 16 幻方问题 • 组合数学中有许多象幻方这样精巧的结构。 • 1977年美国旅行者1号、2号宇宙飞船就带上了幻方以作为人类智慧的信号。 4 阶 幻 方
阿基米德手稿 • 上图为一份用希腊文写在羊皮纸上的阿基米德手稿副本, 最近科学家借助现代科技手段初步破译了古希腊数学家阿基米德的这篇论文, 结论是这篇被称作Stomachion的论文解决的是组合数学问题。
阿基米德手稿 • 在论文中阿基米德是在计算把14条不规则的纸带拼成正方形一共能有多少种不同的拼法。这在现在被称为tiling问题。 • 当今数学家借助计算机得出的答案是17152种拼法,这在当时是相当困难的。
Periodic Tilings Non-Periodic Tilings Symmetric Tilings Penrose Tilings Symmetric Tilings
中国最早的组合数学理论可追溯到宋朝时期的“贾宪三角”, 后来被杨辉引用, 所以普遍称之为“杨辉三角”, 这在西方是1654年由帕斯卡提出,但比中国晚了400多年。 贾宪三角 1 1,1 1,2,1 1,3,3,1 1,4,6,4,1 1,5,10,10,5,1 1,6,15,20,15,6,1
七桥问题 • 近代图论的历史可追溯到18世纪的七桥问题—穿过Königsberg城的七座桥,要求每座桥通过一次且仅通过一次。 • Euler1736年证明了不可能存在这样的路线。
Euler 定理 • 如果一个图包含一条经过每条边恰好一次的闭途径,则称这个图为欧拉图。 • 对任意的非空连通图,若它是欧拉的, 当且仅当它没有奇度点。 Königsberg桥对应的图
36 军官问题(欧拉1779)The Great Frederic的阅兵难题-------欧拉的困惑拉丁方阵: 正交拉丁方阵:
Euler 猜想 • 不存在6阶正交拉丁方 • 不存在4k+2阶正交拉丁方 现在的结论 • 对任正整数 n≠2,6, 存在 n阶正交拉丁方
柯克曼女生问题 在1847年,T. P. Kirkman提出了下列问题: 15个女学生每天3人一组分成5组出去散步,能否在一周内使得任意2人恰好同组一次。
实际上,现在Kirkman女生问题指的是: v个女学生每天3人一组分成v/3组出去散步,能否在(v-1)/2天内使得任意2人恰好同组一次。 把满足条件的安排记作KTS(v) (v 3 mod 6). 解决这个问题花了120年(Ray-Chaudhuri和Wilson,1970,Proc.Symp.Pure Math.Amer.Soc.)。 陆家羲,内蒙古包头九中,1965。
柯克曼三元系大集 在1850年,J. J. Sylvester进一步提出: 15个女学生每天3人一组分成5组出去散步,在一周内使得任意2人恰好同组一次。连续这样的安排13周,使得任意3人恰好同组一次。 这就是著名的“Sylvester 15女生问题”
此问题直到1974年才被 D.H.F. Denniston借助计算机解决。下面是他给出的解。 B i表示第i周的安排(0i12), B i B0+i (mod 13). B0如下:
一 二 三 四 0 1 9 0 2 7 0 3 11 0 4 6 2 4 12 3 4 8 1 7 12 1 8 11 5 10 11 5 6 12 6 8 10 2 9 10 7 8 a 9 11 a 2 5 a 3 12 a 3 6 b 1 10 b 4 9 b 5 7 b 五 六 日 0 5 8 0 10 12 1 4 5 1 2 3 3 5 9 2 6 11 6 7 9 4 7 11 3 7 10 4 10 a 1 6 a 8 9 12 11 12 b 2 8 b 0 a b
v个女学生每天3人一组分成v/3组出去散步,在 (v-1)/2天内(一个周期)使得任意2人恰好同组一次。 连续这样的安排v-2个周期,使得任意3人恰好同组一次。 把满足条件的安排称为不相交的柯克曼三元系大集,记作LKTS(v) (v 3 mod 6).
组合数学的应用 • 著名的组合数学家 Thomas Tutte在组合数学界是泰斗级的大师。直到最近人们才知道,原来他对提前结束“二战”有着突出贡献。 • Tutte从德军的两条情报密码出发,用组合数学的方法,重建了敌人的密码机,确定了德军密码的内部结构,从而获得了极为重要的情报。
组合数学的应用 • 在美国有一家公司用组合数学的方法来提高企业管理的效益,这家公司办得非常成功。 • 在美国已有专门的公司用组合设计的方法开发软件,来解决工业界中的试验设计问题。 • 德国一位著名组合数学家利用组合数学方法研究药物结构,为制药公司节省了大量的费用,引起了制药业的关注。
“数字”已与整个信息时代 紧密相关,成为信息存储、传 递、处理的最基本单位。 “数字”与“信息”的联姻 导致了一 种崭新的通信技术, 这就是数字通信 组合数学与数字通信
数字通信是将话音、图 像等传统模拟储存、模拟处 理和模拟传输的信息方式转 换成数字信号,并以二进制 数 “0” 和 “1” 两种符号来 表示。
在有干扰信道上实现可靠通信的一个有效方法是纠错编码在有干扰信道上实现可靠通信的一个有效方法是纠错编码 纠错编码它本质上是离散空间之间的映射 为了通信保密,发送方需要对数字信息加密 加密通常是利用一个陷门单向的离散函数对数字信息作变换 信息的数字化为组合数学在信息科学中的运用提供了平台
将H(32) 及 -H(32) 中 -1 改为 0, 可得 64 个长为 32 的(0, 1)序列,其形成上 面所述的码。
已知若n≥4且H(n)存在,则 n是 4 的倍数.1893年哈达玛曾猜测: H(n)存在当且仅当n= 4t 此猜测抵挡住了许多数学家的 智力攻势,至今仍然屹立不动.最小 的未知阶数为n=668
实例 简单的置换密码
N阶幻方的构造 当N为奇数时: 先把1放置在任意位置,再顺 序将2,3,…等数字放在右上方中: 当右上方格出界的时,由另一 边进入; 当右上方格中已经填有 数字时, 把数字填入其正下方的 方格中, 直到填写完N2。
四色问题 • 在日常生活中我们常常可以遇到组合数学的问题。比如一个著名的世界难题“四色猜想”:一张地图,用一种颜色对一个地区着色,那么一共只需要四种颜色就能保证每两个相邻的地区颜色不同。
四色问题 • 1852年,刚从伦敦大学毕业的Francis Guthrie提出了四色猜想。 • 1878年著名的英国数学家Cayley向数学界征求解答。 • 此后数学家 Heawood花费了毕生的精力致力于四色研究,于1890年证明了五色定理(每个平面图都是5顶点可着色的)。 • 直到1976年6月,美国数学家 K. Appel与 W. Haken,在3台不同的电子计算机上,用了1200小时,才终于完成了“四色猜想”的证明,从而使"四色猜想"成为了四色定理。
中国邮递员问题 • 1962年中国组合数学家管梅谷教授提出了著名的“中国邮递员问题”。 • 一个邮递员从邮局出发,要走完他所管辖的每一条街道,然后返回邮局。那么如何选择一条尽可能短的路线。
中国邮递员问题 • 这个问题可以转化为:给定一个具有非负权的赋权图G, (1)用添加重复边的方法求G的一个Euler赋权母图G*,使得 尽可能小。 (2)求G*的Euler 环游。 • 这个问题可以由Fleury算法和1973年著名组合数学家J. Edmonds和Johnson 给出的一个好的算法解决。
货郎担问题 • 一个货郎要去若干城镇卖货,然后回到出发地,给定各城镇之间所需的旅行时间后,应怎样计划他的路线,使他能去每个城镇恰好一次而且总时间最短?
货郎担问题 • 用图论的术语说,就是在一个赋权完全图中,找出一个具有最小权的Hamilton 圈(包含图G的每个顶点的圈)。 • 这个问题目前还没有有效的算法。 • Hamilton问题是图论的一个重要问题,图论中的许多问题,包括四色问题、图的因子问题,最终都与Hamilton问题有关。
相识问题 • 1958年,美国的《数学月刊》上登载着这样一个有趣的问题:“任何6个人的聚会,其中总会有3个人相互认识,或3个人相互不认识”。 • 用6个顶点表示6个人,用红色连线表示两者相识,用蓝色连线表示两者不相识。于是问题化为下述命题:
相识问题 • 对6个顶点的完全图K6任意进行红、蓝两边着色,则图中一定存在一个同色三角形。
Ramsey数 • 推广为一般问题:给定任意正整数a和b,总存在一个最小整数 r(a,b),使得r(a,b) 个人中或者有 a 个人互相认识,或者有 b 个人互相不认识。称 r(a,b)为Ramsey数。
网络流问题 • 随着中国经济快速的增长,城市化是未来中国的发展方向。人大通过的“十五”规划,把物流业作为战略重点列入要大力发展的新兴服务产业。如何制定一个运输计划使生产地到销售地的产品输送量最大。这就是一个网络最大流问题。
网络流问题 • 1956年Ford 和Fulkerson 提出了关于网络流问题的一个重要定理。 • 最大流最小割定理:在任何网络中,最大流的值等于最小割的容量。 • 由这个定理可以引出求网络最大流的一个算法——标号法。 • 1970年,Edmonds和Karp对标号程序加以改进,使之成为一个好的算法。
稳定的婚姻问题 • 组合数学中有一个著名定理:如果一个村子里每一个女孩都恰好认识k个男孩,并且每一个男孩也恰好认识k个女孩,那么每一个女孩都可以嫁给她认识的一个男孩,并且每一个男孩都可以娶一个他认识的女孩。( k正则二部图,一定存在一个完美匹配)
稳定的婚姻问题 • 但是这样的安排方法不一定是最好的。假如能找到两对夫妇,彼此都更喜欢对方的配偶,那么这样婚姻有潜在的不稳定性。 • 用图论匹配理论中Gale-Shapley算法,可以找到一种婚姻的安排方法,使得没有上述的不稳定情况出现。
稳定的婚姻问题 • 这种组合数学的方法有一个实际的用途:美国的医院在确定录取住院医生时,他们将考虑申请者的志愿的先后次序,同时也给申请者排序。按这样的次序考虑出的总的方案将没有医院和申请者两者同时后悔的情况。 实际上,高考学生的最后录取方案也可以用这种方法。
栈排序问题(Knuth, 1960’s) • 模式: 对任意一个排列π , 最小的元素用1代替,次小的元素用2代替……以此类推,这样得到的排列叫π的模式。 • 例如 914的模式为:312 37925的模式为: 24513
栈排序问题(Knuth, 1960’s) • 避免312排列:一个排列是避免312的,当且仅当它的任意子序列中没有312模式。 • 例如 π=132564是避免 312的排列 π= 146235是包含312的排列
栈排序问题(Knuth, 1960’s) 避免312排列 8 7 6 5 4 3 2 1
全一问题 • 假设博物馆里有若干个房间,每个房间里有一盏灯和一个开关,每次按下某个房间的开关,可以改变这个房间以及它相邻的房间的灯的状态。