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

合集下载

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

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

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

图论课件-PPT课件

图论课件-PPT课件

学习方法
目的明确
态度端正 理论和实践相结合
充分利用资源
逐步实现从知识到能力到素质的深化和
升华
课程考核
平时成绩 (30%-40%)
闭卷考试 (60%-70%)
图论模型
为了抽象和简化现实世界,常建立数学模型。图是关 系的数学表示,为了深刻理解事物之间的联系,图 是常用的数学模型。 (1) 化学中的图论模型 19世纪,化学家凯莱用图论研究简单烃——即碳氢 化合物 用点抽象分子式中的碳原子和氢原子,用边抽象原子间 的化学键。
E={w1r1, w1r2, w2r2, w2r3, w2r4, w3r3, w3r5}代表每个仓库和每个 零售店间的关联。则图模型图形为: w1 w2 w3
r1
r2
r3
r4
r5
29
(3) 最短航线问题 用点表示城市,两点连线当且仅当两城市有航线。为了 求出两城市间最短航线,需要在线的旁边注明距离值。 例如:令V={a, b, c, d, e}代表5个城市} E={a b, ad, b c , be, de}代表城市间的直达航线 则航线图的图形为: a 320 500 d 370 b 140 430 e c

图论学科简介 (2)
19世纪末期,图论应用于电网络方程组
和有机化学中的分子结构 20世纪中叶,由于计算机的发展,图论 用来求解生产管理、军事、交通运输、 计算机和网络通信等领域中的离散性问 题 物理学、化学、运筹学、计算机科学、 电子学、信息论、控制论、网络理论、 社会科学、管理科学等领域应用
七桥问题
近代图论的历史可追溯到18世纪的七桥问题:
穿过Kö nigsberg城的七座桥,要求每座桥通过 一次且仅通过一次。

图和子图

图和子图

( = G[E \ {b, d, g}] ) ( G[E \ {b, c, d, g}] ) ( G[E \ {a, e, f, g}] )
注意 G[E \ E’] 与G - E’ 虽有相同的边集,但两者不一定相等 :后者一定是生
成子图,而前者则不然。
❖ 上述四种运算是最基本的取子图运算,今后经常会遇到, 一定要认真掌握好。关于子图的另一些定义还有: G + E’ 往G上加新边集E’ 所得的(G的)母图。 为简单计,今后将 G {e} 简记为 G e ; G - {v} 简记为 G - v 。
❖ 完全二部图 Km,n 二部图G = (X, Y; E),其中X
和Y之间的每对顶点都相邻,且 X = m, Y = n 。
二部图
K 3,3
K 1,5
K 2,2,2
❖ 类似地可定义,完全三部图(例如, Km,n,p),完
全 n-部 图等。
❖ 例。用标号法判定二部图。用红蓝两种颜色进行
顶点标号如下:任取一顶点v 标以红色。再将v的 所有相邻顶点都标以兰色。这时称v为已扫描顶点。 若尚存在一已标号未扫描顶点u,将它的所有相邻 顶点,(若不出现矛盾)都标以(其相异色)红 色,并称u为已扫描顶点。如此继续下去,直到或 者所有顶点都已标号,从而该图为一二部图;或 者在标号过程中出现矛盾,该图为非二部图。
k-正则图 (k-regular g.) d(v)k, v V.
0 -正则图 1-正则图 2-正则图
3 -正则图
习题
❖ 1.3.1 证明: 2/ 。
❖ 1.3.2 若 k-正则偶图(k > 0)的2-划分为 (X, Y),则 X = Y。
❖ 1.3.3 在人数 >1的人群中,总有二人在该人 群中有相同的朋友数

图论基础知识PPT课件

图论基础知识PPT课件

.
6
图论算法与实现
一、图论基础知识
2、图的基本概念:
连通图:如果一个无向图中,任意两个顶点之间
都是连通的,则称该无向图为连通图。否则称为非连通图;左图为一个连通图。
强连通图:在一个有向图中,对于任意两个顶点U和V,都存在着一条从U到V的
有向路径,同时也存在着一条从V到U的有向路径,则称该有向图为强连通图;右 图不是一个强连通图。
深度优先遍历与宽度优先遍历的比较:
深度优先遍历实际上是尽可能地走“顶点表”; 而广度优先遍历是尽可能沿顶点的“边表”进行访问, 然后再沿边表对应顶点的边表进行访问,因此,有关边表 的顶点需要保存(用队列,先进先出),以便进一步进行广度 优先遍历。
下面是广度优先遍历的过程:
.
14
图论算法与实现
一、图论基础知识
简单路径:如果一条路径上的顶点除了起点和终点可以相同外,其它 顶点均不相同,则称此路径为一条简单路径;起点和终点 相同的简单路径称为回路(或环)。
.
4
图论算法与实现
一、图论基础知识
2、图的基本概念:
路径和简单路径的举例:
左图1—2—3是一条简单路径,长度为2, 而1—3—4—1—3就不是简单路径;
一、图论基础知识
2、图的基本概念: 路径:对于图G=(V,E),对于顶点a、b,如果存在一些顶点序列
x1=a,x2,……,xk=b(k>1),且(xi,xi+1)∈E,i=1,2…k-1,则称 顶点序列x1,x2,……,xk为顶点a到顶点b的一条路径,而路径上边 的数目(即k-1)称为该路径的长度。 并称顶点集合{x1,x2,……,xk}为一个连通集。
边集数组
邻接表
优点

1 图的基本概念

1 图的基本概念
这些学科都以图作为工具来解决实际问题和理 论问题。
5
图论在计算机科学中的应用: 地图信息系统、电路设计、超文本、计算机
网络、程序结构、数据结构、Petri网、形式语 言与自动机…..
6
图的基本概念 1. 图
7
定义(无序对)对于二元集合{a,b},由于元素 之间没有次序,称{a,b}为无序对,记为(a,b)。
(2)给定有向图D=<V,E>,其中V={a,b,c,d}, E={<a,a>,<a,b>,<a,b>,<a,d>,<d,c>,<c,d>,<c,b>}
画出G与D的图形。
14
定义1.3 在无向图中, G的两个 顶点之间可能存在若干条不同的边, 称这些边为平行边或重边(multiple edges) 。
这样问题就等价于在图中从某一结点出发找一条通 路,通过它的每条边一次且仅一次,并回到原结点。
1736年数学家欧拉发表了第一篇图论论文,解诀了 哥尼斯堡七桥问题。欧拉认证了该问题无解。
3
从十八世纪中叶到二十世纪中叶,漫长的200年 中,图论几乎停留在数学游戏阶段,在此阶段,图论 问题大量出现,如著名的四色问题、Hamilton问题以 及图的可平面问题等。
15
图的有关规定和概念 通常G泛指图,包括无向图和有向图。 V、E 分 别 表 示 G 的 顶 点 集 和 边 集 , 所 以 用 | V|、
|E|分别表示G的顶点数和边数。 如果|V|和|E|是有限的,则称G为有限图;否则
为无限图。 本课程只涉及有限图。
16
图的有关规定和概念 图的顶点数|V|称为图的阶(order)。 若|V|=n,则称G为n阶图。 若E=,则称G为零图(null graph)。含有n个顶

图论的介绍ppt课件

图论的介绍ppt课件
chedules
工程项目的任务安排,如何满足限制条件,并在最短时 间内完成?
Program structure
大型软件系统,函数(模块)之间调用关系。编译器分 析调用关系图确定如何最好分配资源才能使程序更有效 率。
Graph Applications
Graph Problems and Algorithms
图论的介绍ppt课件
欧拉路径 解決哥尼斯保七桥问題
原來是一笔画问题啊!
数学家欧拉(Euler, 1707-1783) 于1736年严格的证明了上述哥尼斯堡 七桥问题无解,并且由此开创了图论的典型思维方式及论证方式
实际生活中的图论 Graph Model
电路模拟
例:Pspice、Cadence、ADS…..
哈密頓(Hamilton) 周遊世界问題
正十二面体有二十个顶点 表示世界上20个城市 各经每个城市一次 最后返回原地
投影至平面
哈密頓路径至今尚无有效方法來解決!
最短路径问題
(Shortest Path Problem)
最快的routing
最快航線
B 2
1
E
3
A
C 1
3 2F
1
3
D
3 3
G
最短路径算法Dijkstra算 法
二分图(偶图) Bipartite graphs
A graph that can be decomposed into two partite sets but not fewer is bipartite
It is a complete bipartite if its vertices can be divided into two non-empty groups, A and B. Each vertex in A is connected to B, and viceversa

图论--第3讲子图

图论--第3讲子图

离散数学子图第3讲定义3.1设G=<V,E>, G1=<V1,E1>为两个图(同时为无向图或有向图),(1) 若V1⊆V且E1⊆E,则称G1为G的子图,G为G1的母图,记作G1⊆G。

(2) 若V1⊂V或E1⊂E,则称G1为G的真子图,即G1⊆G且G1≠G。

定义3.2设G=<V,E>为一图,V1⊆V且V1≠∅,称以V1为顶点集,以G中两个端点都在V1中的所有边组成的集合为边集的图为G的V1导出子图,记作G[V1]。

特殊地,我们有G[V]=G。

定义3.3设G=<V,E>为一图,E1⊆E且E1≠∅,称以E1为边集,以E1中边关联的顶点为顶点集的图为G的E1导出子图,记作G[E1]。

特殊地,若G无孤立点,则有G[E]=G。

定义3.4设G=<V,E>为图,(1)设e∈E,用G-e表示从G中去掉边e,称为删除边e。

又设E1 E,用G-E1表示从G中删除E1中所有的边,称为删除E1。

定义3.4设G=<V,E>为图,(2) 设v∈V,用G-v表示从G中去掉v及所其关联的一切边,称为删除顶点v。

又设V1 V,用G-V1表示从G中删除V1中所有的顶点,称为删除V1。

G-V1=G[v\v1]定义3.4设G=<V,E>为图,(3) 设u,v∈V(u,v可能相邻也可能不相邻),用G∪(u,v)(或G+(u,v))表示在u,v之间加一条边(u,v),称为加新边。

定义3.5设G为n阶无向简单图,若G中每个顶点均与其余的n-1个顶点相邻,则称G为n阶无向完全图,简称n阶完全图,记作K n(n≥1) 。

思考K n的边数为?答案:C n2=n(n-1)/2定义3.6设D为n阶有向简单图,若D中每个顶点都邻接到其余的n-1个顶点,又邻接于其余的n-1个顶点,则称D为n阶有向完全图。

定义3.7设D为n阶有向图,若D的基图为n阶无向完全图K n,则称D为n阶竞赛图。

运筹学--图论 ppt课件

运筹学--图论  ppt课件

4
5
4 9 8
v1
v3
2
v6
[8,v2]
v8
5 33
1
[2,v1]
v4
v7
[10,v4]
33
Dijkstra算法示例1
3)迭代计算(c)—更新与永久标号节点v2相连的节 (d2+w25=3+7=)10< ∞ (=d5) 点的临时标号。
[3,v1]
v2
[0,-]
7
v5
[10,v2]
2 [+∞,v1] 6
v4
v7
[+∞,v1]
22
Dijkstra算法示例1
2)迭代计算(a)—从临时标号中找到距离上界dk最 小的节点v4,d4=min{dk},将其变换为永久编号。
[3,v1] [+∞,v1]
v2
[0,-]
7
v5
2 [+∞,v1] 6 1 2 [+∞,v1]
3
5 2 [5,v1]
4
5
4 9 8
v1
v3

最小树问题不一定有唯一解。
10
10
最小支撑树问题的解法

破圈法 算法


初始化 将图G的边按权值从大到小的次序排列,从 原图开始迭代; 迭代


第1步(删边) 从排列中顺序选择一条与图中剩余边构成圈 的边,则将此边从图中删除,进入第2步(结束判断); 第2步(结束判断) 若图中剩下n-1条边,则已经得到最小支 撑树;否则,进入下一轮迭代,返回第1步(加边);

柯尼斯堡七桥问题

柯尼斯堡市区横跨普雷格尔河两岸,在河中心有两 个小岛。小岛的两岸共有七座桥将岛与岛、岛与河 岸连接起来。一个人怎样才能一次走遍七座桥,每 座桥只走过一次,并最后回到出发点?

(图论)图的基本概念(课堂PPT)

(图论)图的基本概念(课堂PPT)
15
图的度数的相关概念
在无向图G中, 最大度 △(G)=max{d(v)|v∈V(G)} 最小度 δ(G)=min{d(v)|v∈V(G)}
称度数为1的顶点为悬挂顶点,与它关联的边称为悬挂边。 度为偶数(奇数)的顶点称为偶度(奇度)顶点。
在有向图D中, 最大出度 △+(D)=max{d+(v)|v∈V(D)} 最小出度 δ+(D)=min{d+(v)|v∈V(D)} 最大入度 △-(D)=max{d-(v)|v∈V(D)} 最小入度 δ-(D)=min{d-(v)|v∈V(D)}
元素可以重复出现的集合称为多重集合或者多重集,某元 素重复出现的次数称为该元素的重复度。 例如 在多重集合{a,a,b,b,b,c,d}中, a,b,c,d的重复度分别为2,3,1,1。
4
笛卡尔积
设A,B为任意的两个集合,称{<a,b>|a∈A∧b∈B}为A与B 的笛卡尔积,记作AXB。 笛卡尔积中的是有序对<a,b>。只有a,b相等的时候才有 (a,b)=(b,a). 也只有A=B时才有AXB=BXA。
16
图的度数举例
d(v1)=4(注意,环提供2度), △=4,δ=1, v4是悬挂顶点,e7是悬挂边。
d+(a)=4,d-(a)=1 (环e1提供出度1,提供入度1),
d(a)=4+1=5。△=5,δ=3,
△+=4 (在a点达到)
δ+=0(在b点达到)
△-=3(在b点达到)
δ-=1(在a和c点达到)
例如:在图1.1中, (a)中e5与e6是平行边, (b)中e2与e3是平行边,但e6与e7不是平行边。 (a)和(b)两个图都不是简单图。

图论课件、子图的相关概念

图论课件、子图的相关概念

判定方法:VF算法详解
初始化:为两个图的顶点分配初始颜色,并根据颜色对顶点进行排序。 搜索:从两个图中选择未匹配的顶点作为当前顶点对,并尝试建立映射关系。如果当前顶点对可以建立映射关系,则递归地搜索下一个顶点对;否则回溯到上一个顶点对,并尝试其他可能的映射关系。 剪枝:在搜索过程中,如果发现当前映射关系无法满足同构条件,则提前终止该分支的搜索。 判定:当所有顶点对都建立了映射关系时,判断映射是否满足同构条件。如果满足,则两个图是同构的;否则它们不是同构的。
子图领域未来发展趋势预测
THANKS FOR
WATCHING
感谢您的观看
对于子图中的任意顶点v,其在子图中的度不大于在原图中的度。
子图的连通分量数可能大于、等于或小于原图的连通分量数。
子图的补图不一定是原图的补图的子图。
02
子图类型及其特点
生成子图是指由原图中所有顶点及部分边构成的子图,且子图中任意两个顶点间若存在边,则这条边一定是原图中的边。
生成子图保留了原图的所有顶点,但边数可能少于原图。由于包含原图所有顶点,因此生成子图能够较好地反映原图的拓扑结构。
适用于任意图,通过每次选择最小边的方式逐步构建生成树,求解最小生成树。
05
子图在计算机科学中应用
树是一种特殊的图,用于表示具有层次结构的数据。在计算机科学中,树被广泛应用于各种数据结构和算法,如二叉树、红黑树、B树等。
树(Tree)
图是一种更一般化的数据结构,用于表示对象之间的复杂关系。在计算机科学中,图被用于表示网络、电路、程序流程等多种结构。
判定方法:VF算法详解
在化学领域中,图论被广泛应用于分子结构的表示和比较。通过将分子结构转换为图模型,并利用子图同构判定方法,可以比较两个分子的结构相似性,从而预测它们的化学性质和反应活性。

图论-总结PPT课件

图论-总结PPT课件
q-p+1条弦。 (2) 若G是一个(p,q)连通图,则T至少有多少个圈?(q-p+1) 若G是一个(p,q)连通图,则T有多少个圈? 若G是一个(p,q)连通图,则T至少(多)有多少个生成树?
.
16
第三节 割点、桥和割集
3.1 割点和桥(割边)
定义1 设v是图G的一个顶点,若G-v的支数大于 G的支数,则称顶点v为图G的一个割点(如图)。
degu + degv≥p-1,
则G是连通的。[这个定理是一个充分条件]
定理3 设G=(V,E)是至少有一个顶点不是弧立顶 点的图。若对任意v∈V,degv为偶数,则G中 有回路。
定理4 若图G中的两个不同顶点u与v间有两条不 同的路联结,则G中有回路。
.
6
例1 若G是一个恰有两个奇度顶点u和v的无向图,则 G连通G+uv连通。
.
8
第五节 欧拉图(Euler)
5.1 欧拉图
定义1 设(G,V)是一个图,则包含图的所有顶 点和所有边的闭迹称为欧拉闭迹;存在一 条欧拉闭迹的图称为欧拉图。
定理1 图G是欧拉图当且仅当G是连通的且每 个顶点的度都是偶数。
(定理1对多重图也成立)
.
9
第六节 哈密顿图
6.1 哈密顿图 定义1 设G是一个图,则图G中包含G的所有顶
数称为顶点v的度,记为degv。 定理1 (握手定理)设G=(V,E)是一个具有p个顶点q条边的图,
则G中各顶点度的和等于边的条数q的两倍,即∑degv=2q。 推论1任一图中,度为奇数的顶点的数目必为偶数。
.
3
定义3 设G是图,若Δ(G)=δ(G)=r,即G的每个顶点的 度都等于r,则G称为r度正则图。

第七章图论PPT课件

第七章图论PPT课件

v V
ห้องสมุดไป่ตู้
deg(v)为偶数,2|E|亦为偶数
vV2
deg(v)为偶数 vV1
|V1|为偶数
定理: 有向图中所有结点的入度之和等于所有结点的出度之和
-
12
7-1 图的基本概念
(5)多重图:含有平行边的图
简单图:不含有平行边和环的图
完全图:每一对结点之间都有边关联的简单图
有向完全图:完全图中每条边任意确定一个方向所得的图
a
e
b
d
f
h
c
g
定理: n个结点的无向(有向)完全图Kn的边数为n(n-1)/2
证明: 在完全图中,每个结点的度数应为n-1,则n个结点的
度数之和为n(n-1),因此|E|=n(- n-1)/2
13
7-1 图的基本概念
(6)子图:
G V , E , 有 G ' V ', E ' , 且 E ' E , V ' V ,
a到b的有向边
孤立结点:无邻接点的结点
a
e hi
k
b
df
c
j
l
g
无向边:(a,b), (b,c), (b,d), (c,d), (i,l), (k,l)
有向边:<e,f>, <f,g>, <g,e>, <e,h>, <k,j>, <j,l>
-
5
7-1 图的基本概念
(2)无向图:图中每一边都为无向边
e f
g
deg+(e)=2, deg-(e)=1, deg(e)=3
h deg+(f)=1, deg-(f)=2, deg(f)=3

《图论》第2章 基本概念(1)

《图论》第2章 基本概念(1)
2.1 图的概念
[有向图] 设V是一个非空有限集,A是V上的二元关
系。二元组 G=(V,A) 称为(有向)图,V 中元素
称为顶点,A 中元素称为弧(有向边)。
关系A的关系图就是图G的图解。
[自环] A中的自反性图解为环形,称为自环。
[多重边] 在表达实际问题的图解中可能出现重复的
关系定义,称为多重边。
平凡图是任何图的子图。(零图无类似结论)
3
2.1 图的概念
[生成子图] G=(V, A)是 G=(V, A) 的一个子图且 V = V ,则称 G 是 G 的一个生成子图或支撑子图。
[极大子图] G=(V, A)是 G=(V, A) 的一个子图,若对
u,vV, <u,v>A 必有 <u,v>A,则称G 是G的一
S=(a1,a2,…,an,…),即存在一个正整数,使对任何
正整数 n,都有an+= an。S 的一个 k 阶子式 Si 定义 为k 元组 Si = (ai, ai+1,…, ai+k1)。具有最大的周期 使得 S1, S2, … , S 各不相同的 S 序列称为 k 阶 De Bruijn 序列。
记为 (a1, a2, a3, …, ak1) 的点v,引入两条外向弧分
别与点 (a2, a3, …, ak1, 0) 和点 (a2, a3, …, ak1, 1) 邻 接,并将上述的弧分别标记为 k 位的 (a1, a2, a3, …, ak1 , 0) 和 (a1, a2, a3, …, ak1 , 1) 。显然点 v 同时也 被点 (1, a1, a2, …, ak2) 和点 (0, a1, a2,…, ak2) 分别
(即以4除n余0或余1)

第一章 图与子图

第一章 图与子图

完全图K n:n个顶点的图,任意两点之间都有边。 二部图G ( X , Y ):uv E (G ), 都有u X 且v Y ; 或者u Y 且v X 。
1.3 关联矩阵和邻接矩阵
设图G的顶点集为{v1 ,..., v }, 边集为{e1 ,..., e }。 关联矩阵M (G ) [mi , j ],其中mi , j 表示vi和e j 相关联的次数。
k 称为W 的长。
简单图中,W 由其顶点序列 v0v1v2 vk 确定。 迹:W 中的边互不相同。 路:W 中的点互不相同。
u , v 称为连通,如果 u , v 之间有一条路。
连通分支:V 分成互不相交V1 ,V2 ,...,V 。
G[V1 ], G[V2 ],..., G[V ]。
G 称为连通的,如果只有一个连通分支。
抽象成图论模型:
解决方案:即寻找匹配
引例2、中国邮递员型问题(管梅谷)
• 举行一次国际会议,有A,B,C,D,E,F,G 7个人。已 知下列事实: • A 会讲英语;B会讲英语和汉语; • C会讲英语、意大利语和俄语; • D会讲日语和汉语; • E会讲德语和意大利语; • F会讲法语、日语和俄语; • G会讲法语和德语。 • 试问这7个人应如何排座位,才能使每个人都能和 他身边的人交谈?
用来解决管路铺设、线路安装、厂区布局和设备
更新等实际问题。
1.8 最短路问题
赋权图G :每条边 e 赋权 w( e) 。 若 H 是赋权图的一个子图,则 w( H ) 最短路问题:寻找权和最小的图。
eE ( H )

w(e) 。
d (u, v ) :表示所有 (u, v ) 路的最小权。
Dijkstra(1959)以及 Whiting 和 Hillier(1960)分别独立发现 寻找最短路问题的算法。

(课件)图论讲义

(课件)图论讲义

3
(8) 完全图(complete graph)
(9) 图的顶点数(图的阶)ν 、边数 ε
(10) 顶点 v 的度(degree):d(v) = 顶点 v 所关联的边的数目(环边计两次)。
(11) 图 G 的最大度: ∆(G) = max{dG (v) | v ∈V (G)}
图 G 的最小度:δ (G) = min{dG (v) | v ∈V (G)}
这便定义出一个图。
2. 图的图示
通常,图的顶点可用平面上的一个点来表示,边可用平面上的线段来表示(直的或曲的)。 这样画出的平面图形称为图的图示。
例如,例 1.1.1 中图的一个图示为
v1
v2
e1
e6 e5
e2
e4
v5
e7
v3
e3 v4
注:(1)由于表示顶点的平面点的位置的任意性,同一个图可以画出形状迥异的很多图示。
和 Y。
(2)否则,设 u′ 是 P 与 Q 的最后一个公共顶点,因 P 的 (u, u′) 段和 Q 的 (u, u′) 段都是 u 到 u′ 的最短路,故这两段长度相等。
假如 P,Q 的奇偶性相同,则 P 的 (u′, v1) 段和 Q 的 (u′, v2 ) 段奇偶性相同,这两段与边 e 构成一个奇圈,与定理条件矛盾。可见 P,Q 的奇偶性不同,从而 v1, v2 分属于 X 和 Y。
这便证明了 G 是一个二部图。 证毕。
7. 连通性 图中两点的连通:如果在图 G 中 u,v 两点有路相通,则称顶点 u,v 在图 G 中连通。 连通图(connected graph):图 G 中任二顶点都连通。 图的连通分支(connected branch, component):若图 G 的顶点集 V(G)可划分为若干非空子集
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

3、图的生成子图
定义3 如果图G的一个子图包含G的所有顶点,称
该子图为G的一个生成子图
例2 如图所示,求G的所有生成子图 1
2
3
图G
解:按边数分别求出
7
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
定理:简单图G=(n,m)的所有生成子图个数为2m
(二)、图运算
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度顶点,由握手定理:
2m d (v) 2n m n m n 1 vV (G)
20
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
若G中有1度顶点u,对G的顶点数作数学归纳。
当n=2时,结论显然;设结论对n=k时成立。
当n=k+1时,考虑G-u,它仍然为连通图,所以,边数≤k-1.于是G的 边数≤k.
0.5
00
1 0.8
0.6 0.4 x 0.2
6、图的合成图
设 G1 (V1, E1), G2 (V2 , E2 ), 是两个图。对点集 V V1 V2 的任意两个点u=(u1,u2)与v=(v1,v2),当(u1adjv1)
或(u1=v1和u2adjv2)时,把u与v相连。如此得到的新图称为G1与
另证:由于G连通,所以,存在如下形式的途径:
v1 v2
vn1 vn
显然该途径至少含有n-1条边。(v1,v2, … , v n是G的n个不同顶点) (2) 考虑G中途径:W : v1 v2 vn1 vn
若W是路,则长为n-1;但由于G的边数大于n-1,因此,存在vi与vj,它 们相异,但邻接。于是:
例1 如图所示,求 G[V ] 。其中 V 1, 3, 5
2 4
1 5
3 图G
4
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
解:由点导出子图的定义得: 1 5 3
G[V ]
(2) 图G的边导出子图
定义3 如果 E E(G) ,则以 E 为边集,
以 E 中边的所有端点为顶点集组成的图,称为 图G的边导出子图。记为:G[E]
特别地,如果只删去一个点v,则记为G-v.
8
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)、图的删边运算
设 E E(G) ,在G中删去 E 中的所有边的操作, 称为删边运算。记为 G E
特别地,如果只删去一条边e,则记为G-e.
注:删点、删边后得到的图是原图的子图。
(4)、图中两顶点的距离
图中顶点u与v的距离:u与v间最短路的长度称为u与v间距离。记为
d (u, v). 如果u与v间不存在路,定义d (u, v)=∞.
(5)、图中两顶点的连通性
图G中点u与v说是连通的,如果u与v间存在通路。否则称u与v不连 通。点的连通关系是等价关系。
如果图G中任意两点是连通的,称G是连通图,否则,称G是非连通 图。非连通图中每一个极大连通部分,称为G的连通分支。G的连通 分支的个数,称为G的分支数,记为 (G)
2、图的并运算
设G1,G2是G的两个子图,G1与G2并是指由 V (G1) V (G2 ) 为 顶点集,以 E(G1) E(G2 ) 为边集组成的子图。记为:
G1 G2
特别是,如果G1,G2不相交(没有公共顶点),称它们的并为直接并, 可以记为: G1 G2
9
1
0.5 n 0
0.5
1 2 1.5 t1
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 ]
1
4
2
3
G1
G2
解:由联图的定义得:
1
5 4
2
3
5
G1 G2
13
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、图的积图
设 G1 (V1, E1), G2 (V2 , E2 ), 是两个图。对点集 V V1 V2 的任意两个点u=(u1,u2)与v=(v1,v2),当(u1=v1和u2adjv2)
“超立方体”可以采用积图来递归构造。定义如下:
(1) 1方体 Q1 K2
(2) n方体定义为:Qn K2 Qn1
Q1
Q2
Q3
“超立方体”常采用下面简单的递归构造方法:
16
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
n方体Q n的顶点可用一个长度为n的二进制码来表示。Q n的顶点 数目正好等于2n个。
例8 设G是具有m条边的n阶单图,证明:若G的直径为2且Δ=n-2, 则m≥2n-4.
证明:设d (v)=Δ=n-2,且设v的邻接点为v1,v2,…,vn-2. u是剩下的 一个顶点。由于d (G)=2且u不能和v邻接,所以u必须和v1,v2…,
vn-2中每个顶点邻接。否则有d (G)>2.于是得:m≥2n-4.
4、图的对称差运算(或环和运算)
设G1,G2是两个图,G1与G2的对称差定义为:
G1G2 (G1 G2 ) (G1 G2 )
10
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
例3 已知G1与G2,求 G1 G2 G1 G2 G1 G2
G1G2
2
d
4
d 2
Saad Y, Schultz M H. Topological properties of hypercubes [J]. IEEE
Trans. Comput . 1988, 37(7) : 867--872
7、图的联合
把G1的一个顶点和G2的一个顶点粘合在一起后得到的新图称为 G1与G2的联合。记为:G G1 G2
在图论中,将两个或更多的图按照某种方式合并,或者对 一个图作某种形式的操作,可以得到很有意义的新图。将图 合并或对一个图进行操作,称为图运算。图运算形式很多。
1、图的删点、删边运算
(1)、图的删点运算
设 V V (G) ,在G中删去 V 中的顶点和G中与之关 联的所有边的操作,称为删点运算。记为 G V
a
c
e
c
b
1
f
3
G1
解:由相应运算定义得下面结果:
2
d
a c
bHale Waihona Puke 4gh5
ei
4 g
eh 5 i j
3 G2
d 2
4
c
e
1
f
3
j
G1 G2
3
G1 G2
G2 G1
11
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
2
a
b
1
f
3
G1 G2
4 g
h5 i
j 3
G2 G1
vi vi1
v j vi
为G中一闭途径,于是也就存在闭迹。
21
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
(3) 若不然,G中顶点度数至少为2,于是由握手定理:
2m d (v) 2n m n m n 1 vV (G)
这与G中恰有n-1条边矛盾!
0.5
00
1 0.8
0.6 0.4 x 0.2
2、图的交运算
设G1,G2是G的两个子图,G1与G2交是指由 V (G1) V (G2 ) 为 顶点集,以 E(G1) E(G2 ) 为边集组成的子图。记为:
G1 G2
3、图的差运算
设G1,G2是两个图,G1与G2的差是指从G1中删去G2中的边得到的 新图。记为G1-G2.
17
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
(三)、路与连通性
对图的路与连通性进行研究,在计算机网络研究中有十分重要的 意义。因为网络的抽象就是一个图。研究网络信息传递,信息寻径 是主要问题之一,这恰对应于图中路的研究;在网络研究中,可靠 性也是主要问题之一,它与图的连通性问题相对应。
相关文档
最新文档