图论-中国科学院数学研究所课件.ppt

范范 更更 华华福州大学离散数学研究中心福州大学离散数学研究中心离散数学及其应用教育部重点实验室离散数学及其应用教育部重点实验室图论及其应用图论及其应用 图论研究的对象是图，它由点及连接两点的线所构成现实世界中许多问题的数学抽象形式可以用图来描述如互联网、交通网、通讯网、社团网、大规模集成电路、分子结构等都可以用图来描述对图的研究形成了一个专门的数学分支图论图论 图论图论(Graph Theory)图的直观定义图的直观定义：点与边图的抽象定义图的抽象定义：一个集合上的二元关系图的定义图的定义Petersen 图图点集点集：5个元素a,b,c,d,e的所有2-子集作为点边集边集：两点有边相连当且仅当对应的2-子集不交 abcdeabcdeaccebebdad图论图论 l图论是离散数学的一个主要分支l普林斯顿数学系自2008年起，一直有每周一次的离散数学seminar，邀请世界各地的数学家作报告，主要侧重图论l中科院系统所曾引领中国图论的发展离散数学离散数学 以蒸汽机的出现为标志的工业革命促进了以微积分为基础的连续数学的发展 以计算机的出现为标志的信息革命将促进离散数学的发展图图论论结结构构图图论论随随机机图图论论代代数数图图论论拓拓扑扑图图论论图论分支图论分支极极值值图图论论我们将通过图论发展历程中的若干好问题好问题/ /猜想猜想，来了解这一学科的历史与现状。

好的数学问题好的数学问题/ /猜想猜想 l简洁：简短而易理解的陈述l出乎预料：似乎完全不同的概念融于一体l一般性：适用性广，涵盖面宽l核心性：与已知的著名定理和猜想有关联l经久性：久而未决（至少20年）l影响力：解决该问题的尝试产生新概念，新证明技巧图论的起源图论的起源哥尼斯堡七桥问题哥尼斯堡七桥问题哥尼斯堡七桥问题哥尼斯堡七桥问题1735年, 欧拉(EulerEuler)证明哥尼斯堡七桥问题无解, 由此开创了数学的一个新分支-图论.欧拉将七桥问题转化为图论问题: 求图中一条迹(walk), 过每条边一次且仅一次（这种性质的迹称为欧拉迹）欧欧拉拉定定理理: : 连通图存在欧拉迹当且仅当图中奇度数的点的个数至多为2哥尼斯堡七桥问题哥尼斯堡七桥问题闭的欧拉迹也称为欧拉回路欧拉定理欧拉定理(图论最古老的定理,1735年)：无奇度数点的连通图存在欧拉回路且可分解成边不交的圈需要多少个圈？需要多少个圈？二百多年来，这个问题一直未能解决欧拉定理欧拉定理Hajos猜猜想想：n个点的欧拉图可分解成至多n/2个圈（欧拉图：无奇度数点的连通图）Erdos-Goodman-Posa 猜想猜想 (1966):存在常数c,n个点的欧拉图可分解成cn个圈。

Pyber认为此猜想的解决在目前是不可及的“outofreachatpresent”圈分解猜想圈分解猜想Gallai猜猜想想：n个点的连通图可分解成至多(n+1)/2条路Lovasz定定理理：n个点的连通图可分解成至多n/2条路和圈Lovasz：长期从事图论研究，51岁获Wolf奖，曾任国际数学联盟主席，多个国家的科学院院士，曾在微软研究中心任职多年，现为匈牙利科学院院长路分解猜想路分解猜想1852年, Morgan教授的一位学生问他: 能否给出一个理由,为什么只需 4 4 种颜色，就可给任意地图的每个国家着色，使得有共同边界的国家着不同的颜色该问题成为数学史上最著名问题之一将地图看作一个平面图：国界为边，相交处为点，国家区域称为面，则该问题可表述为：图论的发展图论的发展四色问题四色问题四色问题四色问题: : 对每个平面图，只用4种颜色对其面着色,使得任何两个有公共边的面得到不同颜色Whitney（Wolf奖得主，微分拓扑学奠基人）和Tutte（英国皇家学会会员）在四色问题的研究上有过合作 1976年,两位计算机专家借助计算机验证,解决了四色问题数学家们仍在努力寻找纯推理证明四色问题四色问题当年,那位学生告诉Morgan教授: 下面的例子说明3种颜色不够,至少需4种颜色.四色问题四色问题一百多年来，貌似容易的四色问题让许多一流数学家栽了跟头。

后人评说德国大数学家Minkowski （曾是爱因斯坦的老师）时认为，最让Minkowski尴尬的不是他曾骂爱因斯坦 “懒虫”，而是他被四色问题挂了黑板1880年前后，Kempe 和Tait分别发表了证明四色问题的论文，大家都认为四色问题从此也就解决了十年后，人们发现这两人的证明都是错误的 四色问题四色问题 Tait的错误在于他认为3-正则，3-连通的平面图有一个圈包含所有点（哈密顿圈） 可是他没能证明这一点半个多世纪后(1946年)，Tutte给出了第一个不含哈密顿圈的3-正则，3-连通平面图，从而宣告了Tait证明的错误是无法修补的四色问题四色问题 图论的经典图论的经典哈密顿圈哈密顿圈问题问题Tait 对四色问题的错误证明在于假定3-正则，3-连通平面图有哈密顿圈（含所有点的圈）哈密尔顿圈哈密尔顿圈问题问题: 哪些图有哈密顿圈？ 带权哈密尔顿圈带权哈密尔顿圈 哈密顿圈可看成过每个点恰好一次的回路；若每条边有一个权(weight),求最优哈密顿圈（总权和最小的哈密顿圈），就是找一条回路：过每个点恰好一次且行程最短旅行商问题旅行商问题 旅行商旅行商问题问题问题提出问题提出: 一个旅行商从公司出发, 访问 若干指定城市, 最后返回公司,要求设计最优旅行路线(行程最短或费用最小) 数学抽象数学抽象: 城市作为点, 两点间有边相连, 如果对应的城市间有直飞航班。

里程或机票价作为每条边的权 问问题题: 在带权图中找一条回路：过每个点恰好一次,且边的权之和最小(带权最优哈密顿圈）难度难度: NP-完全问题应用应用: 投币、自动取钞机等旅行商旅行商问题问题中中国国邮邮递递员员问问题题: : 在带权图中找一条回路：过每条边至少一次,且边的权之和最小(带权最优欧拉回路问题)难度难度: 有多项式算法(Edmonds,1985vonNeumannPrize)应用应用: 起源于中国邮递（管梅谷，1962）中国邮递员问题中国邮递员问题简单情形简单情形: 任意六个人中, 必有3个互相认识, 或三个互相不认识数学抽象数学抽象: 点代表人, 两点相连当且仅当对应的两人认识该图要么有三角形,要么有三个点两两不连图论的经典图论的经典Ramsey数数问题问题一一般般化化: 定义R(s,t)为最小整数使得任意R(s,t)个人中, 要么有 s 个人两两认识, 要么有 t 个人两两不认识R(3,3)=6 R(4,4)=18 R(5,5)=?RamseyRamsey问问题题 应用广、影响大微软研究中心的Kim因求解R(3, t)的工作而获1997年 Fulkerson奖 Ramsey数数问题问题一一般般叙叙述述: : 图的边数大于某个数时,该图具有某种性质,此数的最小值称为该性质的极值。

Mantel定定理理(1907年年): n点图的边数大于n2/4时,该图含三角形,且n2/4是具有该性质的最小数 上述定理是TuranTuran定理(1941年)的特殊情形主要工具主要工具：正则引理；标号代数(flagalgebra)图论的热点图论的热点极值问题极值问题图论的前沿图论的前沿整数流问题整数流问题 给定图G 和k 阶可换群A若对G 的某个定向, 存在一个函数f f : 从G 的边集到A的非零元素, 使得在图的每个一点, 进入该点的边的函数值之和等于离开该点的边函数值之和, 则称f f 为G 的一个 k k- -流流 整数流问题整数流问题整数流问题整数流问题：对哪些整数k k，存在k-k-流流k k- -流的等价定义流的等价定义：给图的每条边一个定向及一个绝对值小于k 的非零整数, 使得在图的每个点, 进入该点的所有边的整数值之和等于离开该点的所有边的整数值之和整数流的一个例子整数流的一个例子 TutteTutte定理定理(1954年): 平面图可 k 着色当且仅当该图存在 k-流 四色问题四色问题等价于平面图的 4-4-流流存在性 整数流理论整数流理论 整数流与数学其他领域的一些著名问题有关联: 组合学: Lonely Runner 数论: Diophantine Approximation 几何学: View Obstruction 有限域线性空间: Additive Basis 整数流理论整数流理论孤独的跑步者孤独的跑步者 n 个人绕跑道以各自固有的速度跑步。

他们在同一时间、同一起点起跑是否存在某一时刻，某个跑步者 “远离” 其余跑步者？数学定量描述数学定量描述设跑道一圈的长度为 1 个单位是否存在某个时刻、某跑步者与所有其余跑步者的距离至少是 1/n 单位n-1 个人绕单位长度跑道以各自固有的速度从同一起点起跑是否存在某个时刻，所有跑步者与起点的距离至少是 1 / n ？数学定量描述数学定量描述k 个跑步者的速度分别为q1, q2, , qk 1 圈跑道相当于数轴上的一个单位， 2 圈2 个单位， , k 圈k 个单位 这样，每个正整数均相当于跑道起点是否存在时间t , 对每个 i, tqi 与最近整数的距离至少是1/ k ?数学定量描述数学定量描述数论难题（丢番图逼近）数论难题（丢番图逼近）若取速度为正整数q, 与tq最近的整数记为p,则tq与p的距离是|tq-p|=q|t-p/q|对|t-p/q| 的估计是数论中经典的对实数的有理逼近t: 实数；p/q: 有理数观察者问题观察者问题 (View Obstruction)5-5-流猜想流猜想: 每个2-边连通图有 5-流4-4-流猜想流猜想: 每个不含Petersen广义子图的2-边连通图有 4-流。

3-3-流猜想流猜想: 每个4-边连通图有 3-流Tutte整数流三大猜想整数流三大猜想Seymour 6-6-流定理流定理: 每个2-边连通图有6-流Seymour: 普林斯顿数学系教授，1994年世界数学家大会小时报告Thomassen（丹麦科学院院士）解决了弱 3-流猜想，证明: 每个8-边连通图有3-流；已被改进到：每个6-边连通图有3-流整数流三大猜想进展整数流三大猜想进展定义：定义：若一个图的边集可表为某些子图的边集之和，则称该图是这些子图之和 子图和问题：子图和问题：将一个图表为尽可能少的子图之和偶图：偶图：每个点与偶数条边关联 图论的前沿图论的前沿子图和问子图和问题题偶图和偶图和是下面两个偶图之和四色问题的一个等价形式四色问题的一个等价形式: 每个2-边连通平面图是两个偶图之和 哥德巴赫猜想哥德巴赫猜想: 每个大于2的偶数是两个素数之和 偶图和偶图和数论数论: 每个充分大的奇数是3个素数之和图论图论: 每个2-边连通图是3个偶图之和陈陈景景润润定定理理: 每个充分大的偶数是一个素数与不超过两个素数的乘积之和Seymour定定理理: 每个2-边连通图是一个偶图与不超过两个偶图的有向并之和。

偶图和偶图和vs素数和素数和 W.T. Tutte (1917-2002) W.T. Tutte (1917-2002) 英国皇家学会会员 创建滑铁卢大学组合与优化系 图论与拟阵论两大领域奠基性工作 二次世界大战伟大无名英雄(GreatunsungheroofWorldWarII) W.T. Tutte (1917-2002)Tutte的战友Jerry Roberts(破译小组最后一名成员)2014年3月25日去世，英国每日邮报报道的标题是英国传奇译码专家去世 曾助二战提前两年结束，文中写道：由于Tutte成功破解了“金枪鱼”系统的逻辑原理，他的团队得以破译德军最高级别的密码“金枪鱼” Paul Erdos (1913-1996) Paul Erdos (1913-1996)美国、英国等8个国家科学院院士 沃尔夫奖(Wolf Prizes,1983/4)颁奖词: ,andforpersonallystimulatingmathematiciansthe。