组合数学漫谈研究.ppt

组合数学漫谈 要点 组合数学的问题 组合数学的内容 组合数学的应用 中国的组合数学 组合数学的问题 组合数学概述 组合数学（Combinatorial Mathematics) 也称组合学(Combinatorics) 或离散数学(Discrete Mathematics) 现代数学根据所研究的对象可分为两类： 连续数学：以微积分为基础，传统主流 离散数学：伴随计算机科学，方兴未艾 1666年Leibniz著《Dissertatio de arte combinatoria》,首次使用了组合一词。 阿基米德宝盒 左上图为一份用希腊文写在羊皮纸上的Archimedes手稿“Stomachion”的副本, 它考虑的是现在名为“tiling”的组合问题 Stomachion Archimedes(287? -212 B.C.)在计算把14条不规则的纸带拼成正方形有多少种不同的拼法。 Bill Cutler （2003）：答案是17152=536x32 K?nigsberg七桥问题 Pregel河横穿K?nigsberg城，河上建有七座桥 ，能否设计散步路线，走过所有七座桥，每座桥恰好经过一次而回到同一地点？ Euler环游（一笔画） Euler于1736年给以否定： 图有这样的路线当且仅当 每个点连接偶数条边。 图论的起源 三十六军官问题 普鲁士腓特烈大帝在一次检阅中要求： 从不同的6个军团各选6种不同军衔的6名军官共36人，排成一个6行6列的方队，使得各行各列的6名军官恰好来自不同的军团而且军衔各不相同。 Euler（1779）：办不到! 但末能给出严格的证明 。 拉丁方阵与正交拉丁方阵 每名军官对应一个有序对（军团，军衔） 以9名军官为例： 军团阵列 军衔阵列 并置阵列 （拉丁方阵） （拉丁方阵） （正交拉丁方阵） Euler猜想 Euler(1779)：不存在4t+2阶正交拉丁方？ Tarry(1900)：不存在6阶正交拉丁方！ 存在10阶正交拉丁方！ Bose, Shrikhande和Parker(1960)： 当t2时，存在4t+2阶正交拉丁方！ 首次数学上了The New York Times的头版！ 四色猜想 英国大学生Guthrie（1852）：一张地图，只需要四种颜色就能保证每两个相邻的地区颜色不同？ 四色定理 Kemple（1879）： 给出“证明”。 Heawood（1890）： 指出漏洞。五色定理。 Appel-Haken(1976)： 给出计算机证明 （1200小时100亿个判断）。 （右图为Appel ） Kirkman女生问题 Kirkman （1806～1895）1850年：有15个女生，她们每天要做三人行的散步，要使每个女生在一周内的每天做三人行散步时，与其她同学在组成三人小组同行时，彼此只有一次相遇在同一小组，应怎样安排？ 组合设计的起源 Kirkman女生问题的一个解 Kirkman三元系 Kirkman三元系：把v个女学生分成v/3组，使得在每(v－1)/2天内任意两个女生在同一组内只相遇一次。 Ray-Chaudhuri 和Wilson （1971）：Kirkman三元系存在的充要条件是v=6k+3 相识问题 任何六人中必有三人彼此相识或互不相识。 以点表人，连红线表相识，蓝线表不相识。那么六个点的 完全图里或有红三角形或有蓝三角形。五个点的则不然。 Ramsey定理 Ramsey(1903-1930)：给定任意正整数p和q，总存在一个最小正整数R(p,q)，使得R(p,q)个人中或者有 p 个人互相认识，或者有 q 个人互不相识。 R(p,q) 称为Ramsey数。 只要人数足够多，则互相认识的人会越来越多，或互不相识的人会越来越多。 Ramsey数R(p,q) Ramsey数的计算 Ramsey数的计算是对人类智力的挑战！例如R(4,5)=25 (1993年计算机11年的计算量) Erd?s用如下比喻说明其困难程度：一伙外星人入侵地球，要求一年内求得R(5,5)，否则将灭绝人类！那么也许人类能集中所有计算机和专家来求出它以自保；但如果外星人问的是R(6,6) ，那么人类将别无选择，只能拼死一战了。 最精美的组合定理 1984年Wolf奖得主Erd?s 1997年Fulkerson奖得主Kim 1998年Fields奖得主Gowers 1999年Wolf奖得主Lovasz 2003年Steele奖得主Gra