图论及其应用(24)
图论及其应用

图论及其应用简介图论是计算机科学中的一个重要分支,研究的对象是由边与顶点组成的图形结构以及与其相关的问题和算法。
图论的应用广泛,涵盖了计算机科学、网络科学、物理学、社会学、生物学等多个领域。
本文将介绍图论的基本概念、常用算法以及一些实际的应用案例。
图的基本概念图由顶点(Vertex)和边(Edge)组成,记作G=(V, E),其中V为顶点的集合,E为边的集合。
图可以分为有向图和无向图两种类型。
有向图有向图中的边具有方向性,即从一个顶点到另一个顶点的边有明确的起点和终点。
有向图可以表示一种有序的关系,比如A到B有一条边,但B到A可能没有边。
有向图的表示可以用邻接矩阵或邻接表来表示。
无向图无向图中的边没有方向性,任意两个顶点之间都有相互连接的边。
无向图可以表示一种无序的关系,比如A与B有一条边,那么B与A之间也有一条边。
无向图的表示通常使用邻接矩阵或邻接表。
常用图论算法图论中有许多经典的算法,其中一些常用的算法包括:深度优先搜索(DFS)深度优先搜索是一种用于遍历或搜索图的算法。
通过从起始顶点开始,沿着一条路径尽可能深入图中的顶点,直到无法再继续前进时,返回上一个顶点并尝试下一条路径的方式。
DFS可以用于判断图是否连通,寻找路径以及检测环等。
广度优先搜索(BFS)广度优先搜索也是一种用于遍历或搜索图的算法。
不同于深度优先搜索,广度优先搜索逐层遍历顶点,先访问离起始顶点最近的顶点,然后依次访问与起始顶点距离为2的顶点,以此类推。
BFS可以用于寻找最短路径、搜索最近的节点等。
最短路径算法最短路径算法用于计算图中两个顶点之间的最短路径。
其中最著名的算法是迪杰斯特拉算法(Dijkstra’s A lgorithm)和弗洛伊德算法(Floyd’s Algorithm)。
迪杰斯特拉算法适用于没有负权边的图,而弗洛伊德算法可以处理带有负权边的图。
最小生成树算法最小生成树算法用于找到一个连通图的最小的生成树。
其中最常用的算法是普里姆算法(Prim’s Algorithm)和克鲁斯卡尔算法(Kruskal’s Algorithm)。
图论及其应用

图论及其应用班级:图论1班学院:软件学院学号:2014110993姓名:张娇图论从诞生至今已近300年,但很多问题一直没有很好地解决。
随着计算机科学的发展,图论又重新成为了人们研究讨论的热点,图形是一种描述和解决问题直观有效的手段,这里给出图论在现实生活中的一些应用。
虽然最早的图论问题追溯1736年(哥尼斯堡七桥间题),而且在19世纪关于图论的许多重要结论已得出。
但是直到20世纪20年代图论才引起广大学者的注意并得以广泛接受和传播。
图论即形象地用一些点以及点与点之间的连线构成的图或网络来表示具体问题。
利用图与网络的特点来解决系统中的问题,比用线性规划等其他模型来求解往往要简单、有效得多。
图论就是研究图和网络模型特点、性质和方法的理论。
图论在许多领域,诸如物理、化学、运筹学、计算机科学、信息论、控制论、网络理论、社会科学以及经济管理等各方面都有广泛的应用,它已经广泛地应用于实际生活、生产和科学研究中。
下面对最大流问题进行探究。
最大流问题主要探究最大流问题的Ford-Fulkerson解法。
可是说这是一种方法,而不是算法,因为它包含具有不同运行时间的几种实现。
该方法依赖于三种重要思想:残留网络,增广路径和割。
在介绍着三种概念之前,我们先简单介绍下Ford-Fulkerson方法的基本思想。
首先需要了解的是Ford-Fulkerson是一种迭代的方法。
开始时,对所有的u,v属于V,f(u,v)=0(这里f(u,v)代表u到v的边当前流量),即初始状态时流的值为0。
在每次迭代中,可以通过寻找一个“增广路径”来增加流值。
增广路径可以看做是从源点s到汇点t之间的一条路径,沿该路径可以压入更多的流,从而增加流的值。
反复进行这一过程,直到增广路径都被找出为止。
举个例子来说明下,如图所示,每条红线就代表了一条增广路径,当前s到t的流量为3。
当然这并不是该网络的最大流,根据寻找增广路径的算法我们其实还可以继续寻找增广路径,最终的最大流网络如下图所示,最大流为4。
图论及其应用

图和子图 图和简单图图 G = (V, E)V ---顶点集,ν---顶点数12ε E ---边集, ε---边数例。
左图中, V={a, b,......,f}, E={p,q, ae, af,......,ce, cf} 注意, 左图仅仅是图G 的几何实现(代表), 它们有无穷多个。
真正的 图G 是上面所给出式子,它与顶点的位置、边的形状等无关。
不过今后对两者将经常不加以区别。
称 边 ad 与顶点 a (及d) 相关联。
也称 顶点 b(及 f) 与边 bf 相关联。
称顶点a 与e 相邻。
称有公共端点的一些边彼此相邻,例如p 与af 。
环(loop ,selfloop ):如边 l 。
棱(link ):如边ae 。
重边:如边p 及边q 。
简单图:(simple graph )无环,无重边 平凡图:仅有一个顶点的图(可有多条环)。
一条边的端点:它的两个顶点。
记号:νε()(),()().G V G G E G ==。
习题1.1.1 若G 为简单图,则εν≤⎛⎝ ⎫⎭⎪2 。
1.1.2 n ( ≥ 4 )个人中,若每4人中一定有一人认识其他3人,则一定有一 人认识其他n-1人。
同构在下图中, 图G 恒等于图H , 记为 G = H ⇔ VG)=V(H), E(G)=E(H)。
图G 同构于图F ⇔ V(G)与V(F), E(G)与E(F)之间 各 存在一一对应关系,且这二对应关系保持关联关系。
记为 G ≅F。
注 往往将同构慨念引伸到非标号图中,以表达两个图在结构上是否相同。
de f G = (V , E )yz w cG =(V , E )w cyz H =(V ’, E ’)’a ’c ’y ’e ’z ’F =(V ’’, E ’’)注 判定两个图是否同构是NP-hard 问题。
完全图(complete graph) Kn空图(empty g.) ⇔ E = ∅ 。
V’ ( ⊆ V) 为独立集 ⇔ V’中任二顶点都互不相邻。
图论及其应用习题答案

图论及其应用习题答案图论及其应用习题答案图论是数学的一个分支,研究的是图的性质和图之间的关系。
图是由节点和边组成的,节点表示对象,边表示对象之间的关系。
图论在计算机科学、电子工程、物理学等领域有着广泛的应用。
下面是一些图论习题的解答,希望对读者有所帮助。
1. 问题:给定一个无向图G,求图中的最大连通子图的节点数。
解答:最大连通子图的节点数等于图中的连通分量个数。
连通分量是指在图中,任意两个节点之间存在路径相连。
我们可以使用深度优先搜索(DFS)或广度优先搜索(BFS)来遍历图,统计连通分量的个数。
2. 问题:给定一个有向图G,判断是否存在从节点A到节点B的路径。
解答:我们可以使用深度优先搜索(DFS)或广度优先搜索(BFS)来遍历图,查找从节点A到节点B的路径。
如果能够找到一条路径,则存在从节点A到节点B的路径;否则,不存在。
3. 问题:给定一个有向图G,判断是否存在环。
解答:我们可以使用深度优先搜索(DFS)或广度优先搜索(BFS)来遍历图,同时记录遍历过程中的访问状态。
如果在搜索过程中遇到已经访问过的节点,则存在环;否则,不存在。
4. 问题:给定一个加权无向图G,求图中的最小生成树。
解答:最小生成树是指在无向图中,选择一部分边,使得这些边连接了图中的所有节点,并且总权重最小。
我们可以使用Prim算法或Kruskal算法来求解最小生成树。
5. 问题:给定一个有向图G,求图中的拓扑排序。
解答:拓扑排序是指将有向图中的节点线性排序,使得对于任意一条有向边(u, v),节点u在排序中出现在节点v之前。
我们可以使用深度优先搜索(DFS)或广度优先搜索(BFS)来遍历图,同时记录节点的访问顺序,得到拓扑排序。
6. 问题:给定一个加权有向图G和两个节点A、B,求从节点A到节点B的最短路径。
解答:我们可以使用Dijkstra算法或Bellman-Ford算法来求解从节点A到节点B的最短路径。
这些算法会根据边的权重来计算最短路径。
数学中的图论及其应用

数学中的图论及其应用图论是一门数学基础理论,用来描述事物之间的关联。
图论主要研究节点之间的连接关系和路径问题。
它的研究对象是图,图是由节点和边组成的,边表示节点之间的连接关系,节点表示事物。
图论是一种十分实用的数学工具,它是计算机科学、物理学、化学、生物学、管理学等领域的重要工具,也是人工智能和网络科学等领域的基础。
一、图论的基本概念1.1 图图是由节点和边组成的,表示事物之间的关系。
节点是图中的基本元素,用点或圆圈表示;边是连接节点的元素,用线或箭头表示。
1.2 有向图和无向图有向图是指边有方向的图,每一条边用有向箭头表示;无向图是指边没有方向的图,每一条边用线表示。
1.3 节点的度和邻居节点节点的度是指与节点相连的边的数量,具有相同度的节点称为同阶节点;邻居节点是指与节点相连的节点。
1.4 遍历和路径遍历是指从起点出发访问图中所有节点的过程;路径是指跨越边连接的节点序列,路径长是指路径中边的数量。
二、图论的应用2.1 网络科学网络科学是研究节点和边之间的关系,以及节点和边之间的动态演化的学科。
网络科学中的图模型是节点和边的结合体,其应用包括社会网络、生物网络和物理网络等。
社会网络是指人们之间的社交网络,它描述了人与人之间的关系。
社交网络可以用图模型表示,节点表示人,边表示人与人之间的互动关系,例如朋友关系、家庭关系等。
生物网络是指由生物分子构成的网络,例如蛋白质相互作用网络、代谢网络等。
在生物网络中,节点可以表示蛋白质或基因,边可以表示蛋白质或基因之间相互作用的联系,这些联系可以进一步探究生物进化和疾病发生的机理。
物理网络是指由物理粒子构成的网络,例如网络电子、量子态等。
在物理网络中,节点可以表示量子比特或电子,边可以表示色散力或超导电性等物理现象。
2.2 计算机科学图论在计算机科学中的应用非常广泛,例如数据结构、算法设计和网络安全等方面。
图论在计算机科学中的经典应用包括最短路径算法、最小生成树算法等。
范更华-图论及其应用

旅行推销员问题
问题提出: 一个推销员从公司出发, 访问 若干指定城市, 最后返回公司,要求设计
最优旅行路线。(费用最小)
数学抽象: 城市作为点, 两点间有边相连, 如果对应的城市间有直飞航班。机票价作 为每条边的权。
旅行推销员问题
求解 : 在图中求一个圈过每点恰好一次 ,
且边的权之和最小。(最优哈密顿问题;比
在一个计算机光纤网络中,给传输信道 分配波长,两信道若有公共部分,必须得到 不同的波长。要求使用尽可能少的波长。
波长分配问题转化为图论问题
每条信道看作图的一个点。两点间有边
相连当且仅当它们对应的信道有公共部
分。波长问题等价于所构造图的点着色
问题:
给图的每个点着色,有边相连的点
须着不同的颜色。所用颜色尽可能少。
1735年, 欧拉(Euler) 证明哥尼斯堡七桥问题无 解, 由此开创了数学的一个新分支---图论. 欧拉将哥尼斯堡七桥问题转化为图论问题 : 求 图中一条迹 (walk), 过每条边一次且仅一次 . 后人将具有这种性质的迹称为欧拉迹,闭的欧拉 迹也称为欧拉回路.
欧拉定理 : 连通图存在欧拉迹当且仅当图中奇 度数的点的个数至多为 2( 若为 0, 则存在欧拉回 路,这种图称为欧拉图,也称为偶图)
图的例子
交通网
互联网
计算机处理器连接方式
集成电路板
分子结构图
分子间相互作用及信息传递
具体应用
大型高速计算机:处理器的连接方式
互联网:信息传输及控制管理
大规模集成电路:布局、布线 数据库技术:数据的存储、检索 理论计算机科学: 子图理论对计算机算法研究的应用
具体应用
DNA序列分析:图的欧拉回路问题 机器智能与模式识别:图的同构 通讯网络:连通性,可靠性 印刷电路板检测: 12万5千次降为4次(《美国科学》 Scientific American, 9 (1997), 92-94 )
图论及其应用

Prim算法及思想
• • • • • 首先我们将V分成两部分U,S U∩S=∅ U∪S=V 一开始S中只有任意以个节点 每次我们枚举每条U,S之间的边权最小的边S中 这条边的端点 删除并加入U • 我们可以每次更新S中点的这个值不需要每次枚 举边复杂度O(n^2) • 如果使用堆优化可以做到O(nlogn+nlogm)
tarjan算法
tarjan算法
拓扑排序
• 每次选择一个入度为0的点加入队列,然后 删掉这个点的所有出度
小试身手
• APIO2009 atm • 有一个城市有若干条有向道路 • 一个小偷从一个点出发想偷这个城ATM机, 他从一个点出发,最后偷完之后需要到一 个酒吧庆祝,给定道路情况,每个路口atm 的钱数和有没有酒吧,求最多能偷多少钱。 • n<=100000
小试身手
对于n<=1000我们依然可以直接暴力建出图 来进行Dijsktra算法但是对于n<=10000的测 试点,所有边一共有10^10条,我们无法存下 来但是我们发现,只有x坐标相邻和y坐标相 邻的边才有意义(为什么?),然后就可以建出 图来用堆优化的Dij或者spfa过掉
小试身手
• 给你一个n个点的图,小Q有q个询问,每次 询问任意两点之间的最短路 • n<=200,q<=4000000
Байду номын сангаас
最短路算法
• 如果我们需要知道所有的点对之间的最短 路,可以使用floyed的传递闭包方法。 • floyed算法思想: • 我们每次选择一个中间点,然后枚举起点 和终点,用通过中间点的最短路径更新起 点和终点之间的最短路径时间复杂度O(n^3)
floyed代码实现
• 代码非常简单 • 注意枚举顺序
图论的基本概念和应用

图论的基本概念和应用图论是数学中的一个分支,研究的是图的性质和图之间的关系。
图由节点和边组成,节点表示对象,边表示对象之间的关系。
图论的基本概念包括图的类型、图的表示方法、图的遍历算法等。
图论在计算机科学、网络分析、社交网络等领域有着广泛的应用。
一、图的类型图可以分为有向图和无向图两种类型。
有向图中的边有方向,表示从一个节点到另一个节点的关系;无向图中的边没有方向,表示两个节点之间的关系是相互的。
有向图和无向图都可以有权重,表示边的权值。
二、图的表示方法图可以用邻接矩阵和邻接表两种方式来表示。
邻接矩阵是一个二维数组,数组的行和列分别表示图中的节点,数组中的元素表示节点之间的边;邻接表是一个链表数组,数组的每个元素表示一个节点,链表中的每个节点表示与该节点相连的边。
三、图的遍历算法图的遍历算法包括深度优先搜索(DFS)和广度优先搜索(BFS)。
深度优先搜索从一个节点开始,沿着一条路径一直遍历到最后一个节点,然后回溯到上一个节点,再继续遍历其他路径;广度优先搜索从一个节点开始,先遍历与该节点相邻的所有节点,然后再遍历与这些节点相邻的节点,依次类推。
四、图论的应用1. 计算机科学:图论在计算机科学中有着广泛的应用。
例如,图可以用来表示计算机网络中的节点和连接关系,通过图的遍历算法可以实现网络路由和路径规划;图可以用来表示程序中的依赖关系,通过图的遍历算法可以实现代码的分析和优化。
2. 网络分析:图论在网络分析中有着重要的应用。
例如,社交网络可以用图来表示,节点表示用户,边表示用户之间的关系,通过图的遍历算法可以实现社交网络的分析和预测;互联网中的网页可以用图来表示,节点表示网页,边表示网页之间的链接关系,通过图的遍历算法可以实现搜索引擎的排名和推荐算法。
3. 运筹学:图论在运筹学中有着重要的应用。
例如,图可以用来表示物流网络中的节点和路径,通过图的遍历算法可以实现最短路径和最小生成树的计算;图可以用来表示任务调度中的依赖关系,通过图的遍历算法可以实现任务的优化和调度。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
v3
v4
(2), C(v6 )= 1, 2,3, C C(v5 ) 4,5, k 4
(1), (v6 )=4
v1(1) v6(4) v5(2)
v2(2)
v3(3)
v4(1)
11
注: (1)不能通过上面算法求出色数,例如,根据上面算法, 我们求出了一个4色方案,但G是3色图:
8
G的Δ (G)+1正常点着色算法 设G=(V, E), V={v1,v2,…,vn},色集合C={1,2,…,Δ +1}, 着色方案为п 。 (1) 令п (v1)=1, i=1; (2) 若i=n,则停止;否则令:
C (vi 1 ) (vi ) j i, 并且v j 与vi 1相邻
13
当n=1时,结论显然成立; 设对于阶数小于n的简单非正则连通单图来说,结论 成立。假设G是阶数为n的非正则连通单图。 设u是G中顶点,且d(u)=δ <Δ ,考虑G1=G-u 若G1是正则单图,则Δ (G1)=Δ (G)-1。于是G1是可 Δ (G)顶点正常着色的,从而,G是可Δ (G)正常顶点着色 的; 若G1是非正则单图,则由数学归纳,G1是可Δ (G)顶点 正常着色的,从而,G是可Δ (G)正常顶点着色的。 (2) 容易证明:若G是1连通单图,最大度是Δ ,则
重重打击着巨妖 一次!两次!三次!四次! 他说:“妖怪已经不存在了.”
25
2、五色定理
定理4 (希五德) 每个平面图是5可着色的。
根据平面图和其对偶图的关系,上面定理等价于每个 平面图是5可顶点正常着色的。
证明:我们对图的顶点作数学归纳证明。 当n=1时,结论显然。 设n=k时,结论成立。考虑n=k+1的平面图G。 因G是平面图,所以δ (G)≦5 设d(u)=δ (G)≦5。
设k为C-C(vi+1)中的最小整数,令 (vi +1 )=k (3) 令i=i+1,转(2)。
9
例2 给出下图的Δ +1正常点着色。
v1 v6 v5
v2
v3
v4
解:色集C={1, 2, 3, 4, 5}
(1), (v1 )=1
(2), C(v2 )=1, C C(v2 ) 2,3, 4,5, k 2
GT
MA
S
G
LA
AC
选课状态图
4
定义1 设G是一个图,对G的每个顶点着色,使得相邻 顶点着不同颜色,称为对G的正常顶点着色; 如果用k种颜色可以对G进行正常顶点着色,称G可k 正常顶点着色; 对图G正常顶点着色需要的最少颜色数,称为图G的 点色数。图G的点色数用 (G ) 表示。 例1 说明下图的点色数是4。
15
情形1 设G是3连通的正则非完全图。 对于G中点xn, 显然在其邻点中存在两个不邻接顶点x1与 x2, 使得G-{x1, x2}连通。 情形2 设G是连通度为2的正则非完全图。 此时,存在点xn,使得G-xn连通且有割点v, 于是G-xn至少 含有两个块。
v
块
块
块
G -v
16
由于G本身2连通,所以G-xn的每个仅含有一个割点的块 中均有点与xn邻接。设分属于H1与H2中的点x1与x2,它们与 xn邻接。由于x1与x2分属于不同块,所以x1与x2不邻接。又 因为Δ ≥3,所以G-{x1, x2}连通。 2) 对G中顶点进行如下排序: 令xn-1 ∈V(G)-{x1, x2, xn}且与xn邻接; xn-2 ∈V(G)-{x1, x2, xn,xn-1}且与xn或xn-1邻接; xn-3 ∈V(G)-{x1, x2, xn,xn-1,xn-2}且与xn或xn-1或xn-2邻 接; 不断这样作下去,可得到G的顶点排序:x1,x2,…,xn
26
令G1=G – u。由归纳假设,G1是5可顶点正常着色的。 设п 是G1的5着色方案。 (1) 如果d(u)=δ(G)<5, 显然п 可以扩充为G的5正常顶 点着色; (2) 如果d(u)=δ(G) = 5, 分两种情况讨论。
注:定理3是对定理2的一个改进!
21
例如:对下面单图来说,由定理2得: (G2 ) (G2 ) 5 而由定理3得: (G2 ) 2 (G2 ) 4
v3 v4 v1 v7 v5 v6
v2
G2
v8
v9
推论:设G是非空简单图,若G中最大度点互不邻接, 则有:
(G) (G)
设对顶点数少于n的图来说,定理结论成立。考虑一般 的n阶图G。
任取v ∈V(G), 令G1=G-v, 由归纳假设:
(G1 ) (G1 ) 1 (G) 1
设п 是G1的一种Δ (G)+1正常点着色方案,因为v的邻点 在п 下至多用去Δ(G)种色,所以给v染上其邻点没有用过 的色,就把п扩充成了G的Δ(G)+1着色方案。 对于G来说,可以给出其Δ (G)+1正常点着色算法。
A7: GT, MA, LA ; A8: LA,GT, S ; A9: AC, S, LA;
2
A10: GT, S。 把课程模型为图G的顶点,两顶点连线当且仅当有某 个学生同时选了这两门课程。
GT
MA
S
G AC 选课状态图
LA
3
如果我们用同一颜色给同一时段的课程顶点染色,那 么,问题转化为在状态图中求所谓的点色数问题。
(1), (v2 )=2
(2), C(v3 )=1, 2, C C(v3 ) 3, 4,5, k 3
10
(1), (v3 )=3
v1
v6
v5
(2), C(v4 )=3, C C(v4 ) 1, 2, 4,5, k 1
(1), (v4 )=1
v2
(2), C(v5 )= 1, C C(v5 ) 2,3, 4,5, k 2
v1 v6 v5
v2
v3
v4
(2) Welsh—Powell稍微对上面算法做了一个修改,着色时 按所谓最大度优先策略,即使用上面算法时,按顶点度数由 大到小的次序着色。这样的着色方案起到了对上面算法的一 个改进作用。
12
对于简单图G来说,数学家布鲁克斯(Brooks)给出了 一个对定理1的色数改进界。这就是下面著名的布鲁克 斯定理。 定理2(布鲁克斯,1941) 若G是连通的单图,并且它 (G) (G) 既不是奇圈,又不是完全图,则: 数学家罗瓦斯在1973年给出了如下证明。 证明:不失一般性,我们可以假设G是正则的,2连 通的,最大度Δ ≥3的简单图。原因如下: (1) 容易证明:若G是非正则连通单图,最大度是Δ , 则 (G) (G) 事实上,我们可以对G的顶点数作数学归纳证明:
(二)、图的点色数的几个结论
(G) (G) 1 定理1 对任意的图G,有:
分析:事实上,定理结论容易想到,因为任意一个顶点 度数至多为Δ ,因此,正常着色过程中,其邻点最多用去Δ 种颜色,所以,至少还有一种色可供该点正常着色使用。
7
证明:我们对顶点数作数学归纳证明。 当n=1时,结论显然成立。
GT
MA
S
G AC
LA
5
解:一方面,由图的结构特征容易知道 (G) 4 另一方面,通过具体着色,用4种颜色可以得到该图的 一种正常点着色,则: (G) 4
GT
MA
S
G AC
LA
所以, (G) 4
6
注:对图的正常顶点着色,带来的是图的顶点集合的 一种划分方式。所以,对应的实际问题也是分类问题。 属于同一种颜色的顶点集合称为一个色组,它们彼此不 相邻接,所以又称为点独立集。用点色数种颜色对图G 正常着色,称为对图G的最优点着色。 定义2 色数为k的图称为k色图。
直到1878年,在英国数学会议上,数学家凯莱才再一次 提到4色问题。
23
1879年7月,业余数学家肯普(1849---1922)在英国自然 杂志上宣称证明了4色定理。肯普是凯莱在剑桥大学的学生。 1890年,英国数学家希五德发表文章地图染色定理,通 过构造反例,指出了肯普证明中的缺陷。后来,西五德一 直研究4色问题60年。 泰特在此期间也研究4色问题,但其证明被托特否定。 希五德文章之后,4色问题研究进程开始走向停滞。 到了20世纪,美国数学家比尔荷夫提出可约性概念,在 此基础上,德国数学家Heesch(1906—1995)认为,可以通过 寻找所谓的不可约构形来证明4色定理。
20
(2)
v3
v5 v4 v7
v6
v1 , v2 , v3 , v5, v8 , v6 , v9
v1 v2 G2 v8
2 (G ) max d (v ) v V2 (G ) 3
v9
注:由次大度的定义知:Δ 2(G)≦Δ (G)
定理3 设G是非空简单图,则:
(G) 2 (G) 1
22
(三)、四色与五色定理
1、四色定理
1852年,刚毕业于伦敦大学的格斯里(1831—1899)发现: 给一张平面地图正常着色,至少需要4种颜色。这就是著名 的4色定理。 格斯里把他的证明通过他弟弟转交给著名数学家摩尔根, 引起摩尔根极大兴趣并于当天给数学家哈密尔顿写了封相 关信件。但没有引起哈密尔顿的注意。
例如:求下面图的次大度Δ 2(G)
G1
G2
19
v2
v3 v1
v3
v5
v6 v7
v4
v1 v5 G1 v4 v2 G2 v8 v9
解:(1)
V2 (G1 ) v v V (G1 ), N (v )中存在点u,满足d (u ) d (v )
v1, v2 , v3 , v4
2 (G ) max d (v) v V2 (G ) 1 V2 (G2 ) v v V (G2 ), N (v )中存在点u,满足d (u ) d (v)