图论讲义第1章-图的概念

合集下载

图论1—图论基础PPT课件

图论1—图论基础PPT课件

的度减去最小点的度,将最小点
的度设为0。
如果最后得到全0序列,则输出
yes,否则输出no
42 2
31
22 0
20
00 0
例题:给出一个非负整数组 成的有限序列s,s是否是某 个简单图的度序列?
332211 Yes
3331 No
首先利用图论第一定理。
然后把所有顶点排序,将最大点
的值设为0,然后将其后部最大点
在图G中,与顶点v相关联的边的总数 称为是v的度,记为deg v
图论第一定理
deg v 2m
vV (G)
证明:在计算G中所有顶点度的和时,每一条 边e被计数了两次。
例题:给出一个非负整数组 成的有限序列s,s是否是某 个图(无自环)的度序列?
242 Yes
31 No
首先利用图论第一定理。
然后把所有顶点排序,用最大点
图, 记 为G = (V, E ), 其中
① V称为G的顶点集, V≠, 其元素称为顶点或
结点, 简称点; ② E称为G的边集, 其元素称为边, 它联结V 中
的两个点, 如果这两个点是无序的, 则称该边为无 向边, 否则, 称为有向边.
如果V = {v1, v2, … , vn}是有限非空点集, 则称G 为有限图或n阶图.
如果某个有限图不满足(2)(3)(4),可在某条 边上增设顶点使之满足.
定义2 若将图G的每一条边e都对应一个实数F (e), 则称F (e)为该边的权, 并称图G为赋权图(网络), 记为G = (V, E , F ).
定义3 设G = (V, E)是一个图, v0, v1, …, vk∈V, 且1≤i≤k, vi-1vi∈E, 则称v0 v1 … vk是G的一条通路. 如果通路中没有相同的边, 则称此通路为道路. 始 点和终点相同的道路称为圈或回路. 如果通路中 既没有相同的边, 又没有相同的顶点, 则称此通路 为路径, 简称路.

第一章(图论的基本概念)

第一章(图论的基本概念)

第二节 图的顶点度和图的同构(4)
图序列:简单图的度序列. (d1, d 2 , , d p )(d1 d 2 d p ) 定理4 非负整数序列 是图序列当 p 且仅当 d i 是偶数,并且对一切整数k, 1 k p 1, 有
i 1
第二节 图的顶点度和图的同构(1)
定义1 设G是任意图,x为G的任意结点,与结点x关联的 边数(一条环计算两次)称为x的度数.记作deg(x)或d(x). 定义2 设G为无向图,对于G的每个结点x,若d(x)=K,则 称G为K正则的无向图.设G为有向图,对于G的每个结点 x,若d+(x)=d-(x), 则称G为平衡有向图.在有向图G中, 若 (G) (G) (G) (G) K , 则称G为K正则有向图. 定理1(握手定理,图论基本定理)每个图中,结点度数的 总和等于边数的二倍,即 deg(x) 2 E .

A
N
S
B
欧拉的结论 • 欧拉指出:一个线图中存在通过每边一次仅一次 回到出发点的路线的充要条件是: • 1)图是连通的,即任意两点可由图中的一些边连 接起来; • 2)与图中每一顶点相连的边必须是偶数. • 由此得出结论:七桥问题无解. 欧拉由七桥问题所引发的研究论文是图论的开 篇之作,因此称欧拉为图论之父.
xV
定理2 每个图中,度数为奇数的结点必定是偶数个.
第二节 图的顶点度和图的同构(2)
• 定理3 在任何有向图中,所有结点入度之和等于所有结 点出度之和. • 证明 因为每条有向边必对应一个入度和出度,若一个结 点具有一个入度或出度,则必关联一条有向边,因此,有向 图中各结点的入度之和等于边数,各结点出度之和也等 于边数. • 定义 度序列,若V(G)={v1,v2,…,vp},称非负整数序列 (d(v1),d(v2),…,d(vp))为图G的度序列.

图论--图的基本概念

图论--图的基本概念

图论--图的基本概念1.图:1.1⽆向图的定义:⼀个⽆向图G是⼀个有序的⼆元组<V,E>,其中V是⼀个⾮空有穷集,称作顶点集,其元素称作顶点或结点。

E是⽆序积V&V的有穷多重⼦集,称作边集,其元素称作⽆向边,简称边。

注意:元素可以重复出现的集合称作多重集合。

某元素重复出现的次数称作该元素的重复度。

例如,在多重集合{a,a,b,b,b,c,d}中,a,b,c,d的重复度分别为2,3,1,1。

从多重集合的⾓度考虑,⽆元素重复出现的集合是各元素重复度均为1的多重集。

1.2有向图的定义:⼀个有向图G是⼀个有序的⼆元组<V,E>,其中V是⼀个⾮空有穷集,称作顶点集,其元素称作顶点或结点。

E是笛卡尔积V✖V的有穷多重⼦集,称作边集,其元素为有向边,简称为边。

通常⽤图形来表⽰⽆向图和有向图:⽤⼩圆圈(或实⼼点)表⽰顶点,⽤顶点之间的连线表⽰⽆向边,⽤带箭头的连线表⽰有向边。

与1.1,1.2有关的⼀些概念和定义:(1)⽆向图和有向图统称为图,但有时也把⽆向图简称作图。

通常⽤G表⽰⽆向图,D表⽰有向图,有时也⽤G泛指图(⽆向的或有向的)。

⽤V(G),E(G)分别表⽰G的顶点集和边集,|V(G)|,|E(G)|分别是G的顶点数和边数,有向图也有类似的符号。

(2)顶点数称作图的阶,n个顶点的图称作n阶图。

(3)⼀条边也没有的图称作零图,n阶零图记作N n。

1阶零图N1称作平凡图。

平凡图只有⼀个顶点,没有边。

(4)在图的定义中规定顶点集V为⾮空集,但在图的运算中可能产⽣顶点集为空集的运算结果,为此规定顶点集为空集的图为空图,并将空图记作Ø。

(5)当⽤图形表⽰图时,如果给每⼀个顶点和每⼀条边指定⼀个符号(字母或数字,当然字母还可以带下标),则称这样的图为标定图,否则称作⾮标定图。

(6)将有向图的各条有向边改成⽆向边后所得到的⽆向图称作这个有向图的基图。

(7)若两个顶点v i与v j之间有⼀条边连接,则称这两个顶点相邻。

图论课件(一)、子图的相关概念

图论课件(一)、子图的相关概念

1、路与连通性的相关概念
(1)、图中的途径 G的一条途径(或通道或通路)是指一个有限非空序列w= v0
e1 v1 e2 v2…ek vk,它的项交替地为顶点和边,使得 1 i k ,
ei的端点是vi-1和vi. 途径中边数称为途径的长度;v0,vk分别称为途径的起点与终点,
其余顶点称为途径的内部点。
G的子图,记为 H G
当 H G, H G 时,称H是G的真子图,记为
H G
3
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
2、点与边的导出子图
(1) 图G的顶点导出子图
定义2 如果 V V (G) ,则以 V 为顶点集,
以两个端点均在 V 中的边集组成的图,称为 图G的点导出子图。记为:G[V ]
19
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
(6)、图的直径
连通图G的直径定义为:
d (G) max d (u, v) u, v V (G)
如果G不连通,图G的直径定义为 d (G) 例6 证明:在n阶连通图中 (1) 至少有n-1条边; (2) 如果边数大于n-1,则至少有一条闭迹; (3) 如果恰有n-1条边,则至少有一个奇度点。 证明: (1) 若G中没有1度顶点,由握手定理:
Saad Y, Schultz M H. Topological properties of hypercubes [J]. IEEE
Trans. Comput . 1988, 37(7) : 867--872

图论第01讲

图论第01讲


两个问题:
(1)经过每个顶点一次且仅一次; (2)代价最小的Hamilton回路。
(目前无有效的方法求解)

货郎问题(Traveling Salesman Problem)
一个货郎到各村去卖货,要求每个村子 至少去一次,最后返回出发点,为其设计一 种销售路线,使总耗时最短。
求解方法:把路线全排列,求其中最小的。
1930年,波兰数学家库拉托父斯基 (Kuratowski)证明了平面图可以画在平面上;

里程碑:1936年,匈牙利数学家寇尼希 (D.Konig)发表名著《有限图和无限图理论》 ,使得图论成为一门独立的数学学科;
蓬勃发展:1946年,随着世界上第一台计算机 的问世,使图论的发展突飞猛进。 其后,图论在现代数学、计算机科学、工程技 术、优化管理等领域有大用而得以大力发展。
图论第01讲

课程简介
▪ 《图论》是计算机科学与技术专业、信息 安全专业的选修课程。 通过本课程的学习,使学生对图论的 历史背景、研究内容、相关技术及其发展 有一个较为全面地了解,从而将所学知识 和技术运用于实际应用领域奠定基础。

▪ 本课程所介绍的内容包括:
图论的发展历程和经典问题; 图的基本概念; 有关树和图的算法; 网络流问题; 匹配问题、色数问题;
•如何才能在所有桥都恰巧只走一遍的前提下,回到原出发点?

不少数学家都尝试去解析这个事例。而 这些解析,最后发展成为了数学中的图论。
莱昂哈德·欧拉(Leonhard Euler)在1736 年圆满地解决了这一问题,证明这种方法并 不存在。他在圣彼得堡科学院发表了图论史 上第一篇重要文献。欧拉把实际的问题抽象 简化为平面上的点与线组合,每一座桥视为 一条线,桥所连接的地区视为点。这样若从 某点出发后最后再回到这点,则这一点的线 数必须是偶数。

图论(1)--图的基本概念

图论(1)--图的基本概念

图论(1)--图的基本概念有向图和⽆向图的建⽴以及赋权图引⼊Q:什么是图论?A:图论是数学的⼀个分⽀。

它以图为研究对象。

图论中的图是由若⼲给定的点及连接两点的线所构成的图形,这种图形通常⽤来描述某些事物之间的某种特定关系,⽤点代表事物,⽤连接两点的线表⽰相应两个事物间具有这种关系。

现在我们来探讨⽆向图和有向图的概念以及如何去建⽴最基本的图的模型什么是图对于初⼊图论的⼈来说,复杂的定义可能会直接劝退他们,现在我来举⼀个⾮常简单的例⼦。

这就是最常见的图,由于它没有指向,即没有明确的⽅向,它被称为⽆向图。

图是由顶点和边组成的,你应该很容易就知道那些元素是顶点,那些是边。

下⾯的具有⽅向的便是有向图:若有的边有向,有的边⽆向,则称为混合图。

接下来我们将引⼊更多的概念:若两个顶点有边相连,则称两个顶点相相邻,两个点称为起点/终点或端点如1指向2,则这两个顶点相邻,这两个顶点被称为断点,⽽1被称为起点,2被称为终点。

仅含⼀个顶点的边称为⾃环在⽆向图中,包含顶点v的边的个数,称为顶点的度。

在有向图中,以v为起点的边的个数,称为点的出度,以v为终点的边的个数,称为顶点的⼊度。

⽆向图的建⽴建⽴简单⽆向图,我们使⽤Matlab,版本为R2017a。

% 函数graph(s,t):可在 s 和 t 中的对应节点之间创建边,并⽣成⼀个图% s 和 t 都必须具有相同的元素数;这些节点必须都是从1开始的正整数,或都是字符串元胞数组。

s1 = [1,2,3,4]; %s为顶点,必须保证连续且从1开始的正整数t1 = [2,3,1,1]; %边 s与t之间是⼀⼀对应的G1 = graph(s1, t1);plot(G1) %画出效果图效果图:带汉字的⽆向图:% 注意字符串元胞数组是⽤⼤括号包起来的哦s2 = {'学校','电影院','⽹吧','酒店'};t2 = {'电影院','酒店','酒店','KTV'};G2 = graph(s2, t2);plot(G2, 'linewidth', 2) % 设置线的宽度% 下⾯的命令是在画图后不显⽰坐标set( gca, 'XTick', [], 'YTick', [] );效果图:有向图的建⽴:% ⽆权图 digraph(s,t)s = [1,2,3,4,1];t = [2,3,1,1,4];G = digraph(s, t);plot(G)set( gca, 'XTick', [], 'YTick', [] );注意边的顺序和⽅向,依次为1指向2,2指向3,3指向1,4指向1和1指向4效果图:赋权图的建⽴:赋权图,每条边都有⼀个⾮负实数对应的图。

第1章图论1(103)PPT课件

第1章图论1(103)PPT课件

且V(H) = V(G),则称H是G的生成子图。
例5
v1
v4
v1
v5
v2
v3
v2
v4
v1
v4
v5
v3
v2
v3
G
H1
H2
上图中,H1与H2均为G 的子图,其中H2 是G的生成子 图,而H1则不是。
四.顶点的度
定义3 设 v为 G 的顶点,G 中与 v 为端点的边的条 数(环计算两次)称为点 v 的度数,简称为点v的 度,记为 dG (v),简记为 d(v)。
终止后,u0 到 v 的距离由 l(v) 的终值给出。
说明:
(1) 算法中w(uiv) 表示边 uiv 的权;
(2) 若只想确定u0到某顶点v0的距 离, 则当某 uj 等于 v0 时则停;
(3) 算法稍加改进可同时得出u0
到其它点的最短路。
例3 求图 G 中 u0 到其它点的距离。
u0 2
5
G:
相应的最短路为
3
1
6
Γ:v2v1v3v4
v3
3
G
v4
易知,各边的权均为1的权图中的路长与非权图中的路长 是一致的。
问题:给定简单权图G = (V, E),并设G 有n个顶点,求G 中点u0到其它各点的距离。
Dijkstra算法 (1) 置 l(u0) = 0;对所有v∈V \{u0},令 l(v) = ∞;
称从 u 到 v 的距离为无穷。
u
例如对图:
w
d (u, v ) = 2
x
其最短路为 uxv
d(u, w) = ∞
v
容易证明对 ,距离具有性质:
(1)d(u, v)≥0;

图论第一章课件

图论第一章课件

返回 结束
• • • •
有限图:顶点集和边集都是有限集。 无限图:顶点集或边集是无限集。 平凡图:只有一个顶点的图。 空 图:边集为空集的图。 常将 G (V (G), E(G), G ) 简记为G (V (G), E (G)) 或 G (V , E )
或 G 。 特别对简单图 G , 将Ψ G(e)=uv 简记为 e = uv 。
如:例1中五个人的朋友关系所对应的图为 G (V (G), E(G), G ), 其中 点集合——人 边集合——朋友关系
G (e1 ) x1 x5 , G (e2 ) x1 x2 , G (e3 ) x2 x5 , G (e4 ) x3 x4 , G (e5 ) x1 x4
例2 G (V (G), E(G), G ) ,其中
e3 x1 e4
x3
e1
e2
x2
e5
返回 结束
在图 G (V (G), E(G), G ) 中,若 G (e) uv ,就称 e 连接顶 点 u , v ;称 u , v 是 e 的端点; 也称 u 和 v 相邻, 同时也称 u ( 或 v )与 e 关联。 与同一个顶点关联的若干条边称为是相邻的(如例2中 的 e1 , e5 );两个端点重合为一个点的边称为环(如例2中的 e3); 关联于同一对顶点的二条或二条以上的边称为多重边(如例2中 的 e1 , e2 ) 。 若图没有环和多重边,则称该图为简单图。
拉姆瑟(F.P.Ramsey)在1930年证明了这个数 r(k,t)是存 在的,人们称之为 Ramsey数。
1847年基尔霍夫运用图论解决了电路理论中求解联立方程 的问题,引进了“树”概念。 1857年Cayley非常自然在有机化学领域发现了一种重要的 图,称为“树”,解决了计算饱和氢化物同分异构体的数目。 1936年,哥尼格的第一本图论专著问世,才使得图论成为一 门独立的数学学科.

图论-图的基本概念

图论-图的基本概念
若 i, j 中有奇数,比如 i 是奇数,则路 P 上 v0 到 vi 的一段与边 v0vi 构成一个偶圈; 若 i, j 都是偶数,则路 P 上 vi 到 v j 的一段与边 v0vi 及 v0v j 构成一个偶圈。证毕。 例 1.1.4 设 G 是简单图,若δ (G) ≥ 3 ,则 G 中各个圈长的最大公因数是 1 或 2。 证明:由上例知,G 中有长分别为 i + 1, j + 1和 j − i + 2 的圈。若 i + 1, j + 1, j − i + 2 三 数有公因数 m > 2 ,则 m | ( j − i) ,于是 m | 2 ,这是不可能的。因此 i + 1, j + 1, j − i + 2
证明:按每个顶点的度来计数边,每条边恰数了两次。 推论 1.1.1 任何图中,奇度顶点的个数总是偶数(包括 0)。 4. 子图
子图(subgraph):如果 V (H ) ⊆ V (G) 且 E(H ) ⊆ E(G) ,则称图 H 是 G 的子图,记为 H ⊆G。
生成子图(spanning subgraph): 若 H 是 G 的子图且V (H ) = V (G) ,则称 H 是 G 的生成子图。
这便定义出一个图。
2. 图的图示
通常,图的顶点可用平面上的一个点来表示,边可用平面上的线段来表示(直的或曲的)。 这样画出的平面图形称为图的图示。
例如,例 1.1.1 中图的一个图示为
v1
v2
e1
e6 e5
e2
e4
v5
e7
v3
e3 v4
注:(1)由于表示顶点的平面点的位置的任意性,同一个图可以画出形状迥异的很多图示。

图论讲义-图的基本概念

图论讲义-图的基本概念

到目前为止,判断两图同构 还只能从定义出发。判断过 程中不要将两图同构的必要 条件当成充分条件。
注意:在研究图的过程中,顶点的位置以及边的曲直长短 都是无关紧要的。而且也没有假定这些顶点和边都要在一 个平面上(正方体的顶点和棱也可构成图)。我们研究的 只是顶点的多少及这些边是连接那些顶点的。
五、顶点的度
若e=(u,v),则表示u到v的一条边(Edge),此时的
图称为无向图(Undigraph)。
有向图(Digraph)、无向图(Undigraph)
V1 V4
V1
V5 V2 V3 V2 V3
V4
有向图(Digraph)、无向图(Undigraph)
例1、设V={v1,v2,v3,v4,},E={e1,e2,e3,e4,e5},满足e1=(v1,v2),
六、路与图的连通性
v1 v2 v5
图G中,取Γ1=v1v2v3,
v3
v4
G
Γ2=v1v2v3v4v2, Γ3=v1v2v3v2v3v4 则 Γ1,Γ2,Γ3依次为长为2,4,5的 通路,其中Γ1与Γ2为简单通路, Γ1为基本通路。 由定义可看出,G中v1v2v5v1为 长为3的圈,v1v2v3v4v2v5v1为 长为6的简单回路。
e2=(v2,v3),e3=(v2,v3),e4=(v3,v4),e5=(v4,v4),则G=(V,E)是一个图。图 中边集E的边也可直接由点对表示,而将E作为多重集(即允许E中有相同元素的 集合)。 例2、设V={v1,v2,v3,v4},E={(v1,v2),(v1,v2),(v2,v3)},则H=(V,E)是 一个图。 e
d (V ) 2m
i 1 i
n
五、顶点的度
推论:任何图(无向图或有向图)中,度为奇数的顶点个

图论讲义第1章-图的概念

图论讲义第1章-图的概念

图论与网络流理论(Graph Theory and Network Flow Theory)高随祥中科院研究生院专业基础课学时/学分:60/3本课程适合基础数学、应用数学、计算数学、运筹学与控制论、概率论与数理统计各专业的硕士学位研究生作为专业基础课,也可供物理学、化学、天文学、地学、生物科学、计算机科学与技术、计算机软件、管理科学与工程以及通信、信号等学科专业的硕士研究生选修。

主要讲授图论与网络流理论的基本概念、方法和定理,介绍该领域重要的问题以及典型的算法,展示图论与网络流模型及方法的广泛应用。

为学习者将来从事有关方面的理论研究打下基础,也为进行应用性研究提供一种有力的工具。

内容提要第一章 图的基本概念图的基本概念;二部图及其性质;图的同构;关联矩阵与邻接矩阵。

路、圈与连通图;最短路问题。

树及其基本性质;生成树;最小生成树。

第二章 图的连通性割点、割边和块;边连通与点连通;连通度;Whitney定理;可靠通信网络的设计。

第三章 匹配问题匹配与最大匹配;完美匹配;二部图的最大匹配;指派问题与最大权匹配。

第四章 欧拉图与哈密尔顿图欧拉图;中国邮递员问题;哈密尔顿图;旅行商问题。

第五章 支配集、独立集、覆盖集与团支配集、点独立集、点覆盖集、边覆盖集与团的概念及其求法。

第六章图的着色问题点着色;边着色;平面图;四色猜想;色多项式;色数的应用。

第七章网络流理论有向图;网络与网络流的基本概念;最大流最小割定理;求最大流的标号算法;最小费用流问题;最小费用最大流;网络流理论的应用。

主要参考书[1] J.A. Bondy and U.S. Murty, Graph theory with applications, 1976, 有中译本(吴望名等译)。

[2] B.Bollobas, Modern graph theory (现代图论),科学出版社,2001。

[3] 蒋长浩,图论与网络流,中国林业出版社,2001。

第1章图的基本概念解析

第1章图的基本概念解析
记作 V(G)={v1, v2 , … , vn }, (V(G)≠ Ф)
(2)图G的边 e1, e2 ,, em 组成的边集(edge set)
记作 E(G) {e1, e2,, em} ,且 ei 为 vjvt 或 ( vj ,vt )。 若 ei= vj vt 为无序对,则称 ei 为以 vj 和 vt 为端点 (end vertices) 的无向边 (undirected edge);
有向边 若边的一起始顶点为vj,另一终止顶点为vk,则称该 边为有向边。有向边用有序对 (vj, vk) 表示。
无向图 (undirected graph) 每一条边都是无向边的图G称无 向图 。
有向图 (digraph) 每一条边都是有向边的图D称有向图 。
混合图 一些边是有向边,另一些边是无向边的图,称为混 合图 。
若ei=( vj ,vt ) 为有序对,则称 ei 为以 vj 为起点 (origin),vt 为终点 (terminus) 的有向边(directed edge)。
(3)Ψ(G):E→V×V 称为关联函数 (incidence function)。
返回 结束
1.1 图与图的图形表示
4
例1 五位代表 是朋友。
定向图 (oriented graph) 将无向图G的每条边都指定方向从 而得到一个有向图H,称为G的定向图。
对称有向图 (symmetric digraph) 对于无向图G,将G中的每 条边用两条与e有相同端点的对称边e和e‘ 来代替后得到的 一个有向图D, 称为G的对称有向图 。
返回 结束
1.1 图与图的图形表示
x5
e1
x4
e5e4xe1 3ex23
x2
注:这里 e5 与 e3

图论课件第1章资料

图论课件第1章资料
所以,两图不同构。
例 指出4个顶点的非同构的所有简单图。
分析:四个顶点的简单图最少边数为0,最多边数为6,所以 可按边数进行枚举。

(a)
(b)
(c)
(d) (f)
(e) (g)
三、完全图,偶图,补图
定义 任意两点均相邻的简单图称为完全图,在同构意义 下,n 阶完全图只有一个,记为Kn。
例 K2, K3, K4分别为如下图所示。
定理 非负整数组(d1, d2,….,dn)是图的度序列的充分必要条件 是:∑di 为偶数。
证明 必要性由握手定理立即得到。
如果∑di为偶数,则数组中为奇数的数字个数必为偶数。
按照如下方式作图G: 若di为偶数,则在与之对应的点作di /2 个环;对于剩下的偶数个奇数,两两配对后分别在每配对 点间先连一条边,然后在每个顶点画(dj -1)/2个环。
两图同构,记为G1≌G2。


注:(1) 两个同构的图均有相同的结构,没有本质上的差 异, 差异只是顶点和边的名称不同。
(2) 图同构的几个必要条件:①顶点数相同;②边数相同; ③度数相等的顶点个数相同。
(3) 在图的图形表示中我们可以不给图的点和边标上符号,称 这样的图为非标定(号)图,否则称为标定(号)图。非标 定图实际上是代表一类相互同构的图。不误解时我们也不严 格区分标定图与非标定图。
研究现状 (1)彻底解决了;(2)解决得不好;(3)没有解决。
定理 设有非负整数组Π= (d1, d2,…, dn)满足
n 1 d1 d2 L dn且 di 2m,
则Π是可图序列的充分必要条件是:
1 (d2 1, d3 1,K , dd11 1, dd12 ,K , dn )

图论课件第一章 图的基本概念

图论课件第一章 图的基本概念
2、发展历史
图论起源于18世纪的1736年,标志事件是 “哥尼斯堡七桥问题 数学家欧拉被称为“图论之父”
20世纪30年代出版第一本图论著作
7
目前,图论已形成很多分支:如结构图论、 网络图论、代数图论、拓扑图论等
3、应用状况
图论的应用已经涵盖了人类学、计算机科学、 化学、环境保护、流体动力学、心理学、社 会学、交通管理、电信以及数学本身等。
22
例4 指出4个顶点的非同构的所有简单图。
分析:四个顶点的简单图最少边数为0,最多边数为6,所以 可按边数进行枚举。
23
(四)、完全图、偶图与补图
1、每两个不同的顶点之间都有一条边相连的简单图称为 完全图 . 在同构意义下,n个顶点的完全图只有一个,记为 Kn
K2
K3
K5
1 容易求出: m (K n (n 1 ) n) 2
(三)、图的同构
在图论中,一个很值得研究的问题是如何比较两个 图的异同,这就是图的同构问题。 定义:设有两个图G1=(V1,E1)和G2=(V2,E2),若在其顶点 集合间存在双射,使得边之间存在如下关系:设u1↔u2 v1↔v2, u1,v1 V1, u2,v2 V2; u1v1 E1,当且仅当u2v2 E2, 且u1v1与u2v2的重数相同。称G1与G2同构,记为:
图论及其应用
应用数学学院
1
《图论及其应用》
作者: 张先迪、李正良 购买地点:教材科
2
参考文献
[1] 美,帮迪《图论及其应用》 [2] 美,Gary Chartrand《图论导引》,人民邮电 出版社,2007 [3] Bela Bollobas ,《现代图论》,科学出版社, 2001 中国科学院研究生教学丛书 [4] 美,Fred Buckley《图论简明教程》,清华大学 出版社,2005 李慧霸 王风芹译

图论 第1章 图的基本概念

图论 第1章 图的基本概念

G
G[{e1 , e4 , e5 , e6 }]
G − {e5 , e7 }
G + {e8 }
图G1,G2的关系
设 G1 ⊆ G, G2 ⊆ G. 若 V (G1 ) V (G2 ) = φ x-disjoint) 若 E (G1 ) E (G2 ) = φ ,则称G1和G2是边不交的 (edge-disjoint) G1和G2的并, G1 G2 其中 V (G1 G2 ) = V (G1 ) V (G2 )
连通性
设 u, v 是图G的两个顶点,若G中存在一条 (u, v)
≡ v表示顶点 u 和v是连通的。 如果图G中每对不同的顶点 u , v都有一条 (u , v)
以 u
道路,则称顶点 u和 v是连通的(connected)。
道路,则称图G是连通的。
连通图
连通图
图G的每个连通子图称为G的连通分支,简
证明:G中含奇数个 1 (n − 1) 度点。 2 | Vo | 为 证明 V (G ) = Vo Ve 由推论1.3.2知, 偶数。因为 n ≡ 1(mod 4) ,所以n为奇数个。 因此,| Ve | 为奇数个。 n ≡ 1(mod 4) , 1 2 ( n − 1) 为偶数。 1 1 d ( x ) = n − 1 − d ( x ) ≠ (n − 1) 设 x ∈Ve。若 d ( x) ≠ 2 (n − 1),则 且 2 为偶数。由 G ≅ G c ,存在y,使得 d ( y) = d ( x) 为偶数。即 y ∈Ve 且 d ( y) ≠ 1 (n − 1) 。Ve 中度不为 2 1 (n − 1) 的点是成对的出现的。 2
G
G[{v1 , v2 , v3 }]

图论第一章图的基本概念

图论第一章图的基本概念

算法证明:
定理1:算法中的函数t(ai)给出了a与ai的距离。 证明:对i作数学归纳法。
(1) i=1时结论显然成立。 (2) 设对所有的j,1≤j<i 时,t (aj)=d (a, aj). (3) 考虑j=i
令P= v0 v1 … vd , v0 = a ,vd =ai是连接a与ai的一条最短路, 8
例2 某两人有一只8升的酒壶装满了酒,还有两只空壶, 分别为5升和3升。求最少的操作次数。
解:设x1,x2,x3分别表示8,5,3升酒壶中的酒量。则 x1 x2 x3 8, x1 8, x2 5, x3 3.
容易算出(x1,x2,x3) 的组合形式共24种。 每种组合用一个点表示,两点连线,当且仅当可通过倒酒 的方式相互变换。
2. A7 = {a, v3, v1, v4, v5, v2, v6}, b4 (7) = b,b5 (7) =b, b7 (7) =b ;
3. m7 = 7, a8 = b , t(b) = t(v6) + l(v6b) = 11 (最小),
12
第十二页,编辑于星期六:二十点 四十九分。
1
0.5 n 0
1959年,但切西(Dantjig)发现了在赋权图中求由点a到点b的最 短路好算法,称为顶点标号法。
t (an) : 点an的标号值,表示点 a1=a 到an的最短路长度 Ai ={a1,a2, ..., ai}:已经标号的顶点集合。
Ti : a1到ai的最短路上的边集合
算法叙述如下:
5
第五页,编辑于星期六:二十点 四十九分。
算法中的运算包括算术运算、比较运算等。运算量用运算次数表示 。
2) 算法分析
4
第四页,编辑于星期六:二十点 四十九分。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
例 1.1.2 设 G 是一个简单图,若δ (G) ≥ 2 ,则 G 中必含有圈。 证明:设 G 中的最长路为 P = v0v1 vk 。因 d (v0 ) ≥ 2 ,故存在与 v1 相异的顶点 v 与 v0 相 邻。若 v ∉ P ,则得到比 P 更长的路,这与 P 的取法矛盾。因此必定 v ∈ P ,从而 G 中有
图 G 中相关联。 (2) 点与点的相邻(adjacent):如果图上两点 u,v 被同一条边相连,则称 u,v 在图 G 中相
3
邻。
(3) 边与边的相邻:如果图 G 中两条边有至少一个公共端点,则称这两条边在图 G 中相 邻。
(4) 环边(loop):图中两端点重合的边称为环边。
(5) 重边(multiedge):设 u 和 v 是图 G 的顶点,图 G 中连接 u 和 v 的两条或两条以上的 边称为图 G 中 u、v 间的重边。
6. 二部图 二部图 (bipartite graph):若图 G 的顶点集可划分为两个非空子集 X 和 Y,使得 G 的任一条 边都有一个端点在 X 中,另一个端点在 Y 中,则称 G 为二部图(或偶图),记为 G=
( X ∪ Y , E) , ( X ,Y ) 称为 G 的一个顶点二划分。 完全二部图(complete bipartite graph):在二部图 G = ( X ∪ Y , E) 中,若 X 的每个顶点与 Y 的每个顶点有边连接,则称 G 为完全二部图;若 | X |= m , | Y |= n ,则记此完全二部图为 Km,n 。
这便定义出一个图。 图的顶点集中的元素称为顶点,边集中的元素称为边。在本书中边 e = (u, v) 也常写为
e = uv,顶点 u 和 v 称为边 e 的端点,反过来也称边 e 连接顶点 u 和 v。图 G 的顶点数目 |V | 称为图 G 的阶,边的数目 | E | 称为图 G 的边数。本书中一般将图的边数记为 ε ,将图的阶 记为ry and Network Flow Theory)
高随祥
中科院研究生院专业基础课
学时/学分:60/3 本课程适合基础数学、应用数学、计算数学、运筹学与控制论、概率论与数 理统计各专业的硕士学位研究生作为专业基础课,也可供物理学、化学、天文学、 地学、生物科学、计算机科学与技术、计算机软件、管理科学与工程以及通信、 信号等学科专业的硕士研究生选修。主要讲授图论与网络流理论的基本概念、方 法和定理,介绍该领域重要的问题以及典型的算法,展示图论与网络流模型及方 法的广泛应用。为学习者将来从事有关方面的理论研究打下基础,也为进行应用 性研究提供一种有力的工具。
(3)对任意 x, y ∈V (G) ,从 x 到 y 的具有最小长度的路称为 x 到 y 的最短路(shortest path), 其长度称为 x 到 y 的距离(distance),记为 dG ( x, y) 。
(4)简单图 G 中最短圈的长度称为图 G 的围长(girth),最长圈的长度称为图 G 的周长 (circumference)。
2
第一章 图的基本概念
§1.1 图的基本概念
1. 图(graph):一集元素及它们之间的某种关系。具体地说,图是一个二元组 (V , E) ,其中
集合 V 称为顶点集,集合 E 是 V 中元素组成的某些无序对的集合,称为边集。
例 1.1.1 G = (V , E) ,其中 V = {v1, v2 , v3, v4 , v5}, E = {(v1, v2 ), (v2 , v3 ), (v3, v4 ), (v3, v5 ), (v1, v5 ), (v1, v5 ), (v5, v5 )}。
(13)正则图(regular graph):每个顶点的度都相等的图。
(14)图的补图(complement):设 G 是一个图,以V (G) 为顶点集,以{(x, y) | (x, y) ∉ E(G)} 为边集的图称为 G 的补图,记为 G 。
∑ 定理 1.1.1 对任何图 G,都有 d (v) = 2ε 。 v∈V (G )
5
证明:由上例知,G 中有长分别为 i + 1, j + 1和 j − i + 2 的圈。若 i + 1, j + 1, j − i + 2 三 数有公因数 m > 2 ,则 m | ( j − i) ,于是 m | 2 ,这是不可能的。因此 i + 1, j + 1, j − i + 2
三数的公因数必不超过 2。从而各个圈长的最大公因数是 1 或 2。证毕。
5. 路和圈
途径(walk):图 G 中一个点边交替出现的序列 w = vi0 e v e i1 i1 i2 eik vik 称为图 G 的一条途径, 其中 vi0 、 vik 分别称为途径 w 的起点和终点,w 上其余顶点称为中途点。
迹(trail):图 G 中边不重复的途径称为迹。 路(path):图 G 中顶点不重复的迹称为路。
1
内容提要
第一章 图的基本概念
图的基本概念;二部图及其性质;图的同构;关联矩阵与邻接矩阵。 路、圈与连通图;最短路问题。 树及其基本性质;生成树;最小生成树。
第二章 图的连通性
割点、割边和块;边连通与点连通;连通度;Whitney 定理;可靠通信网络的设计。
第三章 匹配问题
匹配与最大匹配;完美匹配;二部图的最大匹配;指派问题与最大权匹配。
(10) 零图(null graph): 顶点集为空的图。
(11) 顶点 v 的度(degree):图 G 中顶点 v 所关联的边的数目(环边计两次)称为顶点 v 的 度,记为 dG(v)或 d(v)。
(12) 图 G 的最大度: Δ(G) = max{dG (v) | v ∈V (G)};
图 G 的最小度:δ (G) = min{dG (v) | v ∈V (G)} 。
证明:按每个顶点的度来计数边,每条边恰数了两次。
推论 1.1.1 任何图中,奇度顶点的个数总是偶数(包括 0)。
证明留作练习。
4. 子图
子图(subgraph):对图 G 和 H,如果V (H ) ⊆ V (G) 且 E(H ) ⊆ E(G) ,则称图 H 是图 G 的
子图,记为 H ⊆ G 。 生成子图(spanning subgraph): 若 H 是 G 的子图且V (H ) = V (G) ,则称 H 是 G 的生成子图。
(6) 简单图(simple graph):既无环边也无重边的图称为简单图。
(7) (8)
完全图(complete graph):任意两点间都有一条边的简单图称为完全图,n 阶完全图记 为 Kn. 平凡图(trivial graph): 只有一个顶点,没有边的图。
(9) 空图(empty graph): 边集为空的图。
定理 1.1.2 一个图是二部图当且仅当它不含奇圈。
证明: 必要性:设 C = v0v1 vk v0 是二部图 G = ( X ∪ Y , E) 的一个圈。无妨设 v0 ∈ X , 由二部图的定义知,v1 ∈ Y ,v2 ∈ X , ,一般地,v2i ∈ X ,v2i+1 ∈Y ,( i = 0,1, )。 又因 v0 ∈ X ,故 vk ∈Y ,因而 k 是奇数。注意到圈 C 上共有 k + 1 条边,因此是偶圈。 充分性:设 G 不含奇圈。取 u ∈V (G) ,令
X = {v ∈V (G) | d (u, v)=odd} ,Y = {v ∈V (G) | d (u, v)=even}。 任取一条边 e = v1v2 ,欲证 v1, v2 分属于 X 和 Y。设 P,Q 分别是 u 到 v1, v2 的最短路。 (1)如果 P = Q + v2v1 或 Q = P + v1v2 ,则 v1, v2 到 u 的距离奇偶性相反, v1, v2 分属于 X
点导出子图(induced subgraph):设 G 是一个图,V ′ ⊆ V (G) 。以V ′ 为顶点集,以 G 中两端 点均属于V ′ 的所有边作为边集所组成的子图,称为 G 的由顶点集V ′ 导出的子图,简称为 G 的点导出子图,记为 G[V ′] .
边导出子图(edge-induced subgraph):设 G 是一个图, E′ ⊆ E(G) 。以 E′ 为边集,以 E′ 中 边的所有端点作为顶点集所组成的子图,称为 G 的由边集 E′ 导出的子图,简称为 G 的边导 出子图,记为 G[E′]。
若 i, j 中有奇数,比如 i 是奇数,则路 P 上 v0 到 vi 的一段与边 v0vi 构成一个偶圈; 若 i, j 都是偶数,则路 P 上 vi 到 v j 的一段与边 v0vi 及 v0v j 构成一个偶圈。证毕。 例 1.1.4 设 G 是简单图,若δ (G) ≥ 3 ,则 G 中各个圈长的最大公因数是 1 或 2。
2. 图的图示
通常,图的顶点可用平面上的一个点来表示,边可用平面上的线段来表示(直的或曲的)。 这样画出的平面图形称为图的图示。
例如,例 1.1.1 中图的一个图示为
v1
v2
e1
e6 e5
e2
e4
v5
e7
v3
e3 v4
注:(1)由于表示顶点的平面点的位置的任意性,同一个图可以画出形状迥异的很多图示。
圈。证毕。
例 1.1.3 设 G 是简单图,若δ (G) ≥ 3 ,则 G 必有偶圈。 证明:设 P = v0v1 vk 是 G 的最长路。
因为 d (v0 ) ≥ 3 , 所以存在两个与 v1 相异的顶点 v′, v′′ 与 v0 相邻。v′, v′′ 必都在路 P 上, 否则会得到比 P 更长的路。无妨设 v′ = vi , v′′ = v j , (i < j) 。
(注:简单图中的路可以完全用顶点来表示, P = v vi0 i1 vik )
闭途径(closed walk):图 G 中起点和终点相同的途径称为闭途径。 闭迹(closed trail):图 G 中边不重复的闭途径称为闭迹,也称为回路(circuit)。 圈(cycle):中途点不重复的闭迹称为圈。 注: (1)途径(闭途径)、迹(闭迹)、路(圈)上所含的边的数目称为它的长度。 (2)简单图 G 中长度为奇数和偶数的圈分别称为奇圈(odd cycle)和偶圈(even cycle)。
相关文档
最新文档