第七章 第一讲 无向图及有向图
第七章 图论
12
7.1 图及相关概念
7.1.5 子图
Graphs
图论
定义7-1.8 给定图G1=<V1,E1>和G2=<V2,E2> , (1)若V1V2 ,E1E2 ,则称G1为G2的子图。 (2)若V1=V2 ,E1E2 ,则称G1为G2的生成子图。
上图中G1和G2都是G的子图,
但只有G2是G的生成子图。
chapter7
18
7.1 图及相关概念
7.1.6 图的同构
Graphs
图论
【例4】 设G1,G2,G3,G4均是4阶3条边的无向简单图,则
它们之间至少有几个是同构的? 解:由下图可知,4阶3条边非同构的无向简单图共有3个, 因此G1,G2,G3,G4中至少有2个是同构的。
4/16/2014 5:10 PM
4/16/2014 5:10 PM chapter7 10
7.1 图及相关概念
7.1.3 完全图
Graphs
图论
【例2】证明在 n(n≥2 )个人的团体中,总有两个人在 此团体中恰好有相同个数的朋友。 分析 :以结点代表人,二人若是朋友,则在结点间连上一 证明:用反证法。 条边,这样可得无向简单图G,每个人的朋友数即该结点 设 G 中各顶点的度数均不相同,则度数列为 0 , 1 , 2 , …, 的度数,于是问题转化为: n 阶无向简单图 G中必有两个 n-1 ,说明图中有孤立顶点,与有 n-1 度顶点相矛盾(因 顶点的度数相同。 为是简单图),所以必有两个顶点的度数相同。
vV1
deg(v) deg(v) deg(v) 2 | E |
vV2 vV
由于 deg( v) 是偶数之和,必为偶数,
vV1
无向图详解(清华)
第7章 图的基本概念1736年数学家欧拉发表了第一篇图论论文,解诀了哥尼斯堡七桥问题。
图论起源于一些数学游戏难题,如迷宫问题,匿门博弈问题,棋盘上马的行走路线,哥尼斯堡七桥问题等,在这些问题的研究基础上,又提出了著名的四色问题,哈密尔顿(环游世界)数学难题。
1847年克希霍夫用图论分析电路网络,最早将图论应用于工程科学。
图论的应用非常广泛,主要有运筹学、网络理论、信息论、控制论、博奕论及计算机科学等等。
7.1 无向图和有向图无向图集合{}{}a b b a ,,=,称{}b a ,为无序对,记为()b a ,.定义1 设B A ,为集合,则称 (){}B b A a b a ∈∈,, 为B A ,的无序积,记为B A & 由定义知:A B B A &&=例1 {}{}2121,,,b b B a a A == 则()()()(){}()()()(){}()()(){}2221112221121122122111,,,,,&&,,,,,,,,,,,,,,&a a a a a a A A A B a b a b a b a b b a b a b a b a B A ====定义2 一个无向图G是一个二元组E V ,,即E V G ,=,其中⑴ {}n v v v V ,,,21 =是非空集合,称为G 的顶点集,V 中元素称为顶点或结点; ⑵ {}n e e e E ,,,21 =是无序积V V &的一个多重子集,称E 为G 的边集,E 中的元素称为无向边或简称边。
由定义知,图G 的边e 是V 的两个元素j i v v ,的无序对()j i v v ,,称j i v v ,是e 的端点。
当j i v v =时,称e 为环。
由于E 是多重集合,因此,G 的两个结点之间可能存在若干条不同的边,称这些边为平行边。
设E V G ,=,用小圆圈表示V 中顶点,若()E b a ∈,,则就在b a ,之间连线段表示边()b a ,,即可画出图形来。
无向图,有向图
无向图【定义】一个无向图(undirected graph)是一个二元组<V,E>,其中:1.V是非空集合,称为顶点集。
2.E是V中元素构成的无序二元组的集合,称为边集。
【解释】直观来说,若一个图中每条边都是无方向的,则称为无向图。
(1)无向边的表示无向图中的边均是顶点的无序对,无序对通常用圆括号表示。
【例】无序对(vi,vj)和(vj,vi)表示同一条边。
(2)无向图的表示【例】下面(b)图中的G2和(c)图中的G3均是无向图,它们的顶点集和边集分别为:V(G2)={v1,v2,v3,v4}E(G2)={(vl,v2),(v1,v3),(v1,v4),(v2,v3),(v2,v4),(v3,v4)}V(G3)={v1,v2,v3,v4,v5,v6,v7}E(G3)={(v1,v2),(vl,v3),(v2,v4),(v2,v5),(v3,v6),(v3,v7)}注意:在以下讨论中,不考虑顶点到其自身的边。
即若(v1,v2)或<vl,v2>是E(G)中的一条边,则要求v1≠v2。
此外,不允许一条边在图中重复出现,即只讨论简单的图。
3.图G的顶点数n和边数e的关系(1)若G是无向图,则0≤e≤n(n-1)/2恰有n(n-1)/2条边的无向图称无向完全图(Undirected Complete Graph)(2)若G是有向图,则0≤e≤n(n-1)。
恰有n(n-1)条边的有向图称为有向完全图(Directed Complete Graph)。
注意:完全图具有最多的边数。
任意一对顶点间均有边相连。
【例】上面(b)图的G2就是具有4个顶点的无向完全图。
有向图【定义】有向图是一个二元组<V,E>,其中1.V是非空集合,称为顶点集。
2.E是V×V的子集,称为弧集。
【解释】直观来说,若图中的每条边都是有方向的,则称为有向图。
有向图中的边是由两个顶点组成的有序对,有序对通常用尖括号表示,如<vi,vj>表示一条有向边,其中vi是边的始点,vj是边的终点。
第7章 图论 [离散数学离散数学(第四版)清华出版社]
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
21
例:
a j i h c g d
1(a)
无 向 图
b
f
e
2(b)
7(j) 8(g) 9(d) 10(i)
6(e)
3(c) 4(h)
5(f)
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
22
例:
1(b)
有向图
第四部分:图论(授课教师:向胜军)
6
[定义] 相邻和关联
在无向图G中,若e=(a, b)∈E,则称a与 b彼此相邻(adjacent),或边e关联 (incident) 或联结(connect) a, b。a, b称为边e的端点或 结束顶点(endpoint)。 在有向图D中,若e=<a, b>∈E,即箭头 由a到b,称a邻接到b,或a关联或联结b。a 称为e的始点(initial vertex),b称为e的终点 (terminal/end vertex)。
证明思路:将图中顶点的度分类,再利用定理1。
6/27/2013 6:02 PM 第四部分:图论(授课教师:向胜军) 9
[定理3] 设有向图D=<V, E>有n个顶点,m 条边,则G中所有顶点的入度之和等于所 有顶点的出度之和,也等于m。
即:
d ( v i ) d ( v i ) m.
i 1 i 1
n
n
证明思路:利用数学归纳法。
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
10
一些特殊的简单图:
(1) 无向完全图Kn(Complete Graphs)
有向图与无向图的性质与算法
有向图与无向图的性质与算法1. 引言在图论中,有向图和无向图是两种最基本的图模型。
它们在表达和解决各类实际问题时具有重要的应用价值。
本文将介绍有向图和无向图的性质以及相关算法,以便读者对其有更深入的理解。
2. 有向图的性质有向图是由一系列顶点和有方向的边组成的图模型。
以下是有向图的几个重要性质:2.1 有向边的方向性与无向图不同,有向图中的边是有方向的,它们从一个顶点指向另一个顶点。
这种方向性在描述一些实际问题时非常有用,比如描述物流运输的路径。
2.2 顶点的入度和出度有向图中的每个顶点都有一个入度和一个出度。
顶点的入度是指指向该顶点的边的数量,而出度是指从该顶点出发的边的数量。
通过计算入度和出度,我们可以了解顶点在图中的连接情况。
2.3 有向环和拓扑排序有向图中存在一个重要的概念,即有向环。
有向环是指从一个顶点出发,经过若干个有向边后又回到该顶点的路径。
有向环在一些问题的分析和解决中具有特殊意义。
而拓扑排序是一种常用的对有向无环图进行排序的方法,它可以按照顶点之间的依赖关系进行排序。
3. 无向图的性质无向图是由一系列顶点和无方向的边组成的图模型。
以下是无向图的几个重要性质:3.1 无向边的无方向性与有向图不同,无向图中的边是无方向的,它们连接着两个顶点,代表了两个顶点之间的关系。
无向图可以用来表示一些没有方向性的问题,比如社交网络中的好友关系。
3.2 顶点的度数无向图中的顶点的度数是指与该顶点相连的边的数量。
顶点的度数越高,说明该顶点在图中的重要性越高,具有更多的连接关系。
3.3 联通性和连通分量无向图中有一个关键性质,即联通性。
若两个顶点之间存在一条连接它们的路径,则称这两个顶点是连通的。
连通分量则是将图中所有连通的顶点分为若干个集合,每个集合内的顶点都是连通的。
4. 算法与应用4.1 有向图的最短路径算法有向图中的最短路径算法是指寻找从一个顶点到另一个顶点的最短路径的方法。
其中,Dijkstra算法和Bellman-Ford算法是常用的有向图最短路径算法。
离散数学_无向图和有向图
例2 (续)
(2)
(3)
不同构 入(出)度列不同
度数列相同 但不同构 为什么?
22
完全图
n阶无向完全图Kn: 每个顶点都与其余顶点相邻的n 阶无向简单图.
简单性质: 边数m=n(n-1)/2, ==n-1
n阶有向完全图: 每对顶点之间均有两条方向相反的 有向边的n阶有向简单图.
简单性质: 边数m=n(n-1), ==2(n-1), +=+=-=-=n-1
例 对上一页K4的所有非同构子图, 指出互为补图的 每一对子图, 并指出哪些是自补图.
27
5
无向图与有向图(续)
定义 有向图D=<V,E>, 其中 (1) V同无向图的顶点集, 元素也称为顶点 (2) 边集E为VV的多重子集,其
元素称为有向边,简称边. 用无向边代替D的所有有向边 所得到的无向图称作D的基图
右图是有向图,试写出它的V和E 注意:图的数学定义与图形表示,在 同构(待叙)的意义下是一一对应的
V 中的所有边为边集的G的子图称作V 的导 出子图,记作 G[V ] (5) 设E E且E , 以E 为边集, 以E 中边关联的 所有顶点为顶点集的G的子图称作E 的导出子 图, 记作 G[E ]
25
子图(续)
例 画出K4的所有非同构的生成子图
26
补图
定义 设G=<V,E>为n阶无向简单图,以V为顶点集, 所有使G成为完全图Kn的添加边组成的集合为边集 的图,称为G的补图,记作 G . 若G G , 则称G是自补图.
12
握手定理(续)
推论 在任何无向图和有向图中,奇度顶点的个数必
为偶数.
证 设G=<V,E>为任意图,令
图的基本概念 无向图及有向图
d (v4)=4
d (v5)=2
31
最大(出/入)度,最小(出/入)度
在无向图G中, 最大度: Δ(G) = max{ dG(v) | v∈V(G) } 最小度: δ(G) = min{ dG(v) | v∈V(G) } 在有向图D中, 最大出度: Δ+(D) = max{ dD+(v) | v∈V(D) } 最小出度: δ+(D) = min{ dD+(v) | v∈V(D) } 最大入度: Δ-(D) = max{ dD-(v) | v∈V(D) } 最小入度: δ-(D) = min{ dD-(v) | v∈V(D) } + + - 简记为Δ, δ, Δ , δ , Δ , δ
i 1
i
证明 必要性。由握手定理显然得证。 充分性。由已知条件可知,d中有偶数个奇数 度点。 奇数度点两两之间连一边,剩余度用环来实现。
5 3
3
1
例7.1: 1. (3, 3, 2, 3), (5, 2, 3, 1, 4)能成为图的度 数序列吗?为什么? 2. 已知图G中有10条边,4个3度顶点,其余顶点的 度数均小于等于2,问G中至少有多少个顶点?为 什么? 解: 1.由于这两个序列中,奇数度顶点个数均为奇数, 由握手定理的推论可知,它们都不能成为图的度 数序列。 2.显然,图G中的其余顶点度数均为2时G图的顶点 数最少. 设G图至少有x个顶点. 由握手定理可知, 3×4+2×(x-4)=2 ×10 解得: x=8 所以G至少有8个顶点。
度数列举例
按顶点的标定顺序,度数列为 4,4,2,1,3。
度数列举例
按字母顺序, 度数列:5,3,3,3 出度列:4,0,2,1
离散数学第七章图的基本概念
4.无向图的连通性
若无向图G中任何两顶点都连通,则称G是连通图.
对于任意的无向图G.设V1,V2,…,Vk是顶点之间连通关系的 等价类,则称他们的导出子图为G的连通分支.用p(G)表示G 的连通分支数.
V1 e1
e2 e3
V3
e4 V2
V4
a
de
h
i
b
c
f
g
5.有向图的连通性
若略去有向图D中各边的键头,所得无向图是无向连通图,则 称D是弱连通图(或称D是连通图).
(2) mij d (vi )(i 1,2,..., n)
j 1
mn
nm
n
(3) mij mij d(vi ) 2m
j1 i1
i1 j1
i 1
m
(4) mij 0 vi是孤立点 j 1
(5)若第j列与第k列相同, 则说明e j与ek为平行边.
2.有向图的关联矩阵
设有向图D=<V,E>,V={v1,v2,…,vn},E={e1,e2,…,em} 1, vi为ej的始点
e1,e2,e3},{e1,e2,
e2
e4},{e9}等边割集 ,e9是桥.
e3 V4
e5 e6
V5 e4
V6
e9
V7
7.3 图的矩阵表示
1.无向图的关联矩阵
设无向图G=<V,E>,V={v1,v2,…,vn},E={e1,e2,…,em}
令mij为顶点vi与ej的关联次数, 则称(mij)n×m为G的关联矩阵.记为M(G)
若Γ 满足:vi-1,vi为ei的端点(若G为有向图,vi-1是ei的始 点,vi是ei的终点)i=1,2,…,k,则称Γ 为G中通路,v0,vk分 别称为通路的始点和终点,Γ 中边的数目k称为通路长度.
数据结构课件
while (i>0)
{
/*读入顶点对号,建立边表*/
e++;
/*合计边数 */
p = (pointer)malloc(size(struct node));/*生成新旳邻接点序号为j旳表结点*/
p-> vertex = j;
p->next = ga->adlist[i].first;
ga->adlist[i].first = p;
三个强连通分量
第七章 图
权:图旳边具有与它有关旳数, 称之为权。这种带 权图叫做网络。
10
1
6
15
27 5
12
3 76
9
8
6 3
4
16
7
有向权图
60
AB 40 80 C源自307535
D
E
45
无向权图
第七章 图
生成树:连通图G旳一种子图假如是一棵包 括G旳全部顶点旳树,则该子图称为G旳生成
树;显然,n个顶点旳生成树具有n-1条边
scanf (“%d”, &(ga->n));
for (i =1; i<= ga->n; i++)
{
/*读入顶点信息,建立顶点表*/
scanf (“ \n %c”, &( ga->adlist[i].data) )
;
ga->adlist[i].first = NULL; }
e = 0; /*开始建邻接表时,边数为0*/
ga->edges[i][j] = 0;
for (k = 0;k<ga->e;k++) /*读入边旳顶点编号和权值,建立邻接矩阵*/
有向图与无向图
精选可编辑ppt
10
4、“四 色 猜 想” 问 题
人们在长期为地图(平面图)上色时发 现,最少只要四种颜色,就能使得 有相邻国界的国家涂上不同的颜色
四色猜想的证明一直没有解决, 直到一百多年后,在计算机出现以 后,于1976年用计算机算了1200多 小时,才证明了四色猜想问题。
精选可编辑ppt
11
i1
精选可编辑ppt
35
度数列
设G=<V,E>为一个n阶无向图,V={v1,v2,…,vn},称 d(v1),d(v2),…,d(vn)为G的度数列。
对于顶点标定的无向图,它的度数列是唯一的。 反之,对于给定的非负整数列d={d1,d2,…,dn},若存在V
={v1,v2,…,vn}为顶点集的n阶无向图G,使得d(vi)=di ,则称d是可图化的。 特别地,若所得图是简单图,则称d是可简单图化的。 类似地,设D=<V,E>为一个n阶有向图,V= {v1,v2,…,vn},称d(v1),d(v2),…,d(vn)为D的度数列, 另外称d+(v1),d+(v2),…,d+(vn)与d-(v1),d-(v2),…, d-(vn)分别为D的出度列和入度列。
精选可编辑ppt
36
度数列举例
按顶点的标定顺序,度数列为 4,4,2,1,3。
学领域里发展最快的精分选可支编辑p之pt 一。
13
第7章 图的概念
本章学习: 1. 无向图及有向图 2. 通路、回路、图的连通性 3. 图的矩阵表示 4. 最短路径及关键路径
精选可编辑ppt
14
今日内容
无向图及有向图 图的一些相关概念 度 握手定理 子图相关概念 图同构
精选可编辑ppt
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
完全图举例
K5
3阶有向完全图
4阶竞赛图
子图(subgraph)
定义8 设G=<V,E>,G=<V ,E>为两个图(同为无 向图或同为有向图),若V V且E E,则称G 是G的子图,G为G 的母图,记作G G。 若V V或E E,则称G 为G的真子图。
若et∈E,使得et=<vi,vj>,则称vi为et的始点,vj为 et的终点,并称vi邻接到vj,vj邻接于vi。
若ek的终点为el的始点,则称ek与el相邻(adjacent)。 el ek vi vj
定义3 在无向图中,关联一对顶点的无向边如果多于1条 ,则称这些边为平行边,平行边的条数称为重数。
3
欧拉:传奇的一生
年少时,听从父亲的安排,巴塞尔大学,学习神学和希伯来语 ,结果被约翰· 伯努利欣赏,17岁获得硕士学位之后,才开始 专供数学。
为获得圣彼得堡科学院的医学部的职位空缺,欧拉在巴塞尔便 全力投入生理学的研究,并出席医学报告会。1727年,等他到 达俄罗斯时,叶卡捷琳娜一世女皇去世,他进入数学部。 1733年,欧拉回到瑞士,并结婚,一生共生育13个孩子,5个 存活。 为了赢得巴黎奖金而投身于一个天文学问题,那是几个有影响 的大数学家搞了几个月时间的,欧拉在三天之后把它解决了。 可是过分的劳累使他得了一场病,病中右眼失明了。 欧拉到底出了多少著作,直至1936年人们也没有确切的了解。 但据估计,要出版已经搜集到的欧拉著作,将需用大4开本60 4 至80卷。彼得堡学院为了整理他的著作整整花了 47年。
解: (3,3,2,1),(3,2,2,1,1) 不可以图化
(3,3,2,2)可以图化
(3,2,2,2,1)可以图化
定理4 设G为任意n阶无向简单图,则△(G)≤n-1。
证明 因为G既无平行边也无环,
所以G中任何顶点v至多与其余的n-1个顶点均相邻,
于是d(v)≤n-1,由于v的任意性,所以△(G)≤n-1。
2 m d ( v ) d (v ) d (v )
vV
vV1 vV2
由于2m和
vV2
d (v )
,所以
vV1
d (v) 为偶数,
但因V1中顶点度数为奇数, 所以|V1|必为偶数。
若非负整数列可以对应为图的度数列,则 称之为可图化。
例:(3,3,2,1),(3,2,2,1,1) (3,3,2,2)、 (3,2,2,2,1) 是否可图化?
问题2(哈密顿环球旅行问题,1857年): 十二面体的20个顶点代表世界上20个城市, 能否从某个城市出发在十二面体上依次经过每个 城市恰好一次最后回到出发点?
哈密顿圈(环球旅行游戏)
问题3(四色问题): 对任何一张地图进行着色,两个共同边界的 国家染不同的颜色,则只需要四种颜色就够了.
问题4(关键路径问题): 一项工程任务,大到建造一座大坝,一座体育 中心,小至组装一台机床,一架电视机, 都要包括 许多工序.这些工序相互约束,只有在某些工序完 成之后, 一个工序才能开始. 即它们之间存在完 成的先后次序关系,一般认为这些关系是预知的, 而且也能够预计完成每个工序所需要的时间. 这时工程领导人员迫切希望了解最少需要多 少时间才能够完成整个工程项目, 影响工程进度 的要害工序是哪几个?
二、图的概念
设A,B为任意的两个集合,{{a,b}|a∈A∧b∈B} 为A与B的无序积,记作A&B。
可将无序积中的无序对{a,b}记为(a,b),并且允许 a=b。无论a,b是否相等,均有(a,b)=(b,a),故 A&B=B&A。 元素可以重复出现的集合称为多重集合或者多重 集。例如 多重集合{a,a,b,b,b,c,d}, {(a,a),(b,b),(b,b)}.
设D=<V,E>为有向图,ek=<vi,vj>∈E,称vi,vj为ek的 端点。 若vi=vj,则称ek为D中的环。
无论在无向图中还是在有向图中,无边关联的顶点均 称为孤立点(isolated vertices)。
相邻与邻接
设无向图G=<V,E>,vi,vj∈V,ek,el∈E。
若et∈E,使得et=(vi,vj),则称vi与vj是相邻的。 若ek与el至少有一个公共端点,则称ek与el是相邻的。 ek el vi vj 设有向图D=<V,E>,vi,vj∈V,ek,el∈E。
例1 (2)E={<a,a>,<a,b>,<a,b>,
<a,d>,<c,d>,<d,c>,<c,b>}
图的一些概念和规定
G表示无向图,但有时用G泛指图(无向的或有向的)。 D只能表示有向图。 V(G),E(G)分别表示G的顶点集和边集。 若|V(G)|=n,则称G为n阶图。 若|V(G)|与|E(G)|均为有限数,则称G为有限图。 若边集E(G)=,则称G为零图,此时,又若G为n阶 图,则称G为n阶零图,记作Nn,特别地,称N1为平凡 图(trivial graph)。
图的度数应该是2、3、3,此时因为最大度为3,不满足
≤n-1=2的要求,因此这三个点构成的图必定有平行边或 者环,不是简单图,此时若加入v4及与v4关联的边构成的 图必定也不是简单图。 即有(3)中序列也不可简单图化。
(5) (4,4,3,3,2,2)
可简单图化。下图中两个6阶无向简单图都以(5)中 序列为度数列。
在有向图中,关联一对顶点的有向边如果多于1条,并 且这些边的始点和终点相同(也就是它们的方向相同), 则称这些边为平行边(parallel edges)。含平行边的图称 为多重图(multigraph)。 既不含平行边也不含环的图称为简单图(simple graph)。 例如:在图 中e5与e6是平行边,
度数列为 4,4,2,1,3。 度数列,出 度列,入度 列分别为
5,3,3,3
4,0,2,1
15
1,3,1,2
图的度数的相关概念
在无向图G中,
最大度 最小度 △(G)=max{d(v)|v∈V(G)} δ(G)=min{d(v)|v∈V(G)}
在有向图D中, 最大出度 △+(D)=max{d+(v)|v∈V(D)} 最小出度 δ+(D)=min{d+(v)|v∈V(D)} 最大入度 △-(D)=max{d-(v)|v∈V(D)}
定义1 一个无向图(undirected graph)是一个有序的二元 组<V,E>,记作G,其中 (1)V≠称为顶点集,其元素称为顶点或结点( vertices, nodes)。
(2)E称为边集,它是无序积V&V的多重子集,其元 素称为无向边,简称边(edges)。 例1 (1) 给定无向图G=<V,E>,其中 V={v1,v2,v3,v4,v5},
握手定理(The Handshaking Theorem)
定理1 设G=<V,E>为任意无向图,V={v1,v2,…,vn},
|E|=m,则
d (v ) 2 m
i 1 i
n
说明 任何无向图中,各顶点度数之和等于边数的两倍。
证明 G中每条边(包括环)均有两个端点,所以在计算G中 各顶点度数之和时, 每条边均提供2度,当然,m条边 ,共提供2m度。
例2 判断下列各非负整数列哪些可图化的?哪些可简单图 化的? (1) (5,5,4,4,2,1) 不可图化。
(2) (5,4,3,2,2)
可图化,不可简单图化。若它可简单图化,
设所得图为G,则(G)=max{5,4,3,2,2}=5,这与定理矛盾
(3) (3,3,3,1)
可图化,不可简单图化。
假设可以简单图化,设G=<V,E>以该序列为度数列 设V={v1,v2,v3,v4}且 d(v1)=d(v2)=d(v3)=3,d(v4)=1, 由于d(v4)=1,因而v4只能与v1,v2,v3之一相邻,去掉 v4后,与v4关联的边也去掉,于是剩余的v1,v2,v3组成的
关联与关联次数、环、孤立点
设G=<V,E>为无向图,ek=(vi,vj)∈E,
称vi,vj为ek的端点,ek与vi或ek与vj是彼此相关联的。
若vi≠vj,则称ek与vi或ek与vj的关联次数为1。 若vi=vj,则称ek与vi的关联次数为2,并称ek为环。 任意的vl∈V,若vl≠vi且vl≠vj,则称ek与vl的关联次数 为 0。
E={(v1,v1),(v1,v2),(v2,v3),(v2,v3),
(v2,v5),(v1,v5),(v4,v5)}.
定义2 一个有向图( directed graph )是一个有序的 二元组<V,E>,记作D,其中
(1)V≠称为顶点集,其元素称为顶点或结点。
(2)E为边集,它是笛卡儿积V×V的多重子集, 其元素称为有向边,简称边。
设G=<V,E>为一个n阶无向图,V={v1,v2,…,vn},称 d(v1),d(v2),…,d(vn)为G的度数列。
对于顶点标定的无向图,它的度数列是唯一的。
类似地,设D=<V,E>为一个n阶有向图,V= {v1,v2,…,vn},称d(v1),d(v2),…,d(vn)为D的度数列 ,另外称d+(v1),d+(v2),…,d+(vn)与d-(v1),d-(v2), …,d-(vn)分别为D的出度列和入度列。
定义5 设G1=<V1,E1>,G2=<V2,E2>为两个无向图,
若存在双射函数f:V1→V2,对于vi,vj∈V1,(vi,vj)∈E1 当且仅当 (f(vi),f(vj))∈E2,
并且(vi,vj)与(f(vi),f(vj))的重数相同, 则称G1与G2是同构的(isomorphic),记做G1≌G2。 说明 (1) 点数、边数和度数列对影响等。