文章目录

5.1 无向图及有向图
- 5.1.1 无向图
- 5.1.2 有向图
- 5.1.3 无向图与有向图
- 5.1.4 顶点和边的关联与相邻
- 5.1.5 顶点的度数
- 5.1.6 握手定理
- 定理
- 证明
- 推论
- 应用
- 5.1.7 图的度数列
- 5.1.8 多重图与简单图
- 5.1.9 完全图
- 5.1.10 子图
- 5.1.11 补图
- 5.1.12 图的同构

5.1 无向图及有向图

5.1.1 无向图

多重集合：元素可以重复出现的集合

定义无向图G=<V,E>, 其中
(1) 顶点集V是非空有穷集合, 其元素称为顶点
(2) 边集E为V&V的多重子集，其元素称为无向边，简称边

5.1.2 有向图

定义有向图G=<V,E>D=<V,E>, 其中
(1)顶点集V是非空有穷集合, 其元素称为顶点
(2) 边集E为 V× V的多重子集，其元素称为有向边，简称边

D的基图:用无向边代替有向边

5.1.3 无向图与有向图

通常用G表示无向图, D表示有向图, 也常用G泛指无向图和有向图。
V(G), E(G), V(D), E(D): G和D的顶点集, 边集

n阶图: n个顶点的图

零图: E= ∅

平凡图: 1 阶零图

空图: V= ∅

5.1.4 顶点和边的关联与相邻

定义设e=(u,v)是无向图G=<V,E>的一条边, 称u,v为e的端点,e与u(v)关联。

若u≠v, 则称e与u(v)的关联次数为1;

若u=v, 则称e为环, 此时称e与u 的关联次数为2;

若w不是e端点, 则称e与w 的关联次数为0。

无边关联的顶点称作孤立点。

定义设无向图G=<V,E>, u,v∈V, e,e’∈E, 若(u,v)∈E, 则称u,v相邻;

若e,e’至少有一个公共端点, 则称e,e’相邻。

对有向图有类似定义。设e=<u,v>是有向图的一条边,又称u是e的始点,v是e的终点, u邻接到v, v邻接于u。

5.1.5 顶点的度数

设G=<V,E>为无向图, v ∈ V,

v的度数(度) d(v): v作为边的端点次数之和
悬挂顶点: 度数为1的顶点
悬挂边: 与悬挂顶点关联的边
G的最大度 △ (G)=max{d(v)|v∈V}
G的最小度 δ (G)=min{d(v)| v∈V}

右图中d(v₅)=3, d(v₂)=4, d(v₁)=4,△(G)=4, δ(G)=1,v₄是悬挂顶点, e₇是悬挂边, e₁是环

设D=<V,E>为有向图, v∈V,
v的出度d⁺(v) : v作为边的始点次数之和
v的入度d^-(v): v作为边的终点次数之和
v的度数(度)d(v) : v作为边的端点次数之和
d(v)= d⁺(v)+ d^-(v)

D的最大出度△⁺(D) =max{d⁺(v)|v∈V}
最小出度δ⁺(D) =min{d⁺(v)|v∈V}

最大入度△^-(D) =max{d^-(v)|v∈V}

最小入度δ^-(D) =min{d^-(v)|v∈V}

最大度 △ (D)=max{d(v)|v∈V}

最小度 δ (D)=min{d(v)|v∈V}

实例：

5.1.6 握手定理

定理

任意无向图和有向图的所有顶点度数之和都等于边数的2倍, 并且有向图的所有顶点入度之和等于出度之和等于边数。
证明

G中每条边（包括环）均有两个端点，所以在计算G中各顶点度数之和时，每条边均提供2度，m条边共提供2m度。

有向图的每条边提供一个入度和一个出度, 故所有顶点入度之和等于出度之和等于边数。
推论

任意无向图和有向图的奇度顶点个数必为偶数。

应用

5.1.7 图的度数列

设无向图G的顶点集V={v₁, v₂, …, v_n}

G的度数列: d(v₁), d(v₂), …, d(v_n)

如右图度数列:4,4,2,1,3

设有向图D的顶点集V={v₁, v₂, …, v_n}

D的度数列: d(v₁), d(v₂), …, d(v_n)

D的出度列: d⁺(v₁), d⁺(v₂), …, d⁺(v_n)

D的入度列: d^-(v₁), d^-(v₂), …, d^-(v_n)

如右图度数列:5,3,3,3

        出度列:4,0,2,1入度列:1,3,1,2

例题：

一个部门有25个人，由于意见不同，是否可能每个人恰好与其他5个人意见一致？

A 可能 B 不可能
唐氏夫妇邀请另外三对夫妇来家里吃饭，已知每个人都不和自己握手，不和自己的配偶握手，同时最多和一人握手一次。在大家吃完饭后，唐先生问大家握了几次手，每个人的回答都不相同。请问：唐太太握手几次？

A 0 B 1 C 2 D 3 E 4 F 5 G 6

答案：1. B 2. D

5.1.8 多重图与简单图

(1)在无向图中,如果有2条或2条以上的边关联同一对顶点, 则称这些边为平行边, 平行边的条数称为重数。
(2)在有向图中,如果有2条或2条以上的边具有相同的始点和终点, 则称这些边为有向平行边, 简称平行边, 平行边的条数称为重数。
(3) 含平行边的图称为多重图。
(4) 既无平行边也无环的图称为简单图。

注意:简单图是极其重要的概念。

实例：

5.1.9 完全图

n阶无向完全图K_n：每个顶点都与其余顶点相邻的n阶无向简单图。

简单性质：边数m=n(n-1)/2，Δ=δ=n-1

K₅：

n阶有向完全图：每对顶点之间均有两条方向相反的有向边的n阶有向简单图。

简单选择：边数m=n(n-1)，Δ=δ=2(n-1)

Δ⁺=δ⁺=Δ^-=δ^-=n-1

3阶有向完全图：

5.1.10 子图

设G=<V,E>，G’=<V’,E’>是两个图。

(1)若V’⊆V且E’⊆E，则称G’是G的子图，G是G’的母图，记作G’⊆G。

(2) 若G’⊆G 且V’=V，则称G’为G的生成子图。

(3) 若V’⊂V 或E’⊂E，称G’为G的真子图。

(4) 设V’⊆V 且V’≠∅, 以V’为顶点集, 以两端点都在V’中的所有边为边集的G的子图称作V’的导出子图，记作 G[V’]。

(5) 设E’⊆E且E’≠∅, 以E’为边集, 以E’中边关联的所有顶点为顶点集的G的子图称作E’的导出子图, 记作 G[E’]。

注意：每个图都是本身的子图。

生成子图的实例：

K₄的所有非同构的生成子图

导出子图的实例：

5.1.11 补图

定义：设G=<V,E>是n阶无向简单图，以V为顶点集,所有使G成为完全图K_n的添加边组成的集合为边集的图，称为G的补图。记作G’。若G≌G’，则G是自补图。

5.1.12 图的同构

定义:G₁=<V₁,E₁>, G₂=<V₂,E₂>为两个无向图(有向图), 若存在双射函数 f: V₁→V₂, 使得对于任意的v_i,v_j∈V₁, (v_i,v_j)∈E₁（<v_i,v_j>∈E₁）当且仅当 (f(v_i),f(v_j))∈E₂（<f(v_i),f(v_j)>∈E₂），并且, (v_i,v_j)（<v_i,v_j>）与 (f(v_i),f(v_j))（<f(v_i),f(v_j)>）的重数相同，则称G₁与G₂是同构的，记作G₁≌G₂。

同构实例：

左边上下两图是同构的，右边上下两图也是同构的。

说明：

图之间的同构关系具有自反性、对称性和传递性。
能找到多条同构的必要条件，但它们都不是充分条件：

①边数相同，顶点数相同

②度列数相同（不计度数的顺序）

③对应定点的关联集及领域的元素个数相同，等等
若破坏必要条件，则两图不同构
至今没有找到判断两个图同构的多项式时间算法

例题：

（1）

A 同构 B 不同构

（2）

A 同构 B 不同构

（3）

A 同构 B 不同构

答案：（1）A （2）A （3） B

5.1 无向图与有向图相关推荐

【学习笔记】无向图、有向图的三元环、四元环计数问题（根号分支+bitset）
三元环计数和四元环计数问题无向图三元环计数问题根号分治 bitset 无向图四元环计数问题有向图三四元环计数问题无向图三元环计数问题根号分治记 di:id_i:idi:i 在原图中的度数 ...
无向图的关联矩阵JAVA_图的矩阵表示无向图及有向图的关联矩阵.doc
图的矩阵表示 --无向图及有向图的关联矩阵作者邢雪芬摘要:图论的内容丰富多彩,应用广泛,在许多学科中都有涉及图论的内容,篇是关于图论的一些小诠释,图的矩阵表示,无向图及有向图定义的声明和部分例题 ...
Gephi画无向图和有向图（显示节点和边序号）
Gephi画无向图和有向图(显示节点和边序号) 数据形式如果画无向图只要把Type这一列设置成undirected,不填入数据默认是directed 导入数据以后就可以设计节点以及边的属性了,如下: ...
【数据结构】无向图与有向图的连通性及相关算法
I. 阅读前你所需的基础知识了解图 (graph) 的基本知识 (什么是顶点, 什么是边, 什么是路径等等) 了解图的深度优先遍历 (DFT, Depth-first Traversal) 了解有向 ...
图----无向图、有向图
1.无向图定义图的定义:图是由一组顶点和一组能够将两个顶点相连的边组成边:edge 顶点:vertex 连通图:如果从任意一个顶点都存在一条路径到达另外一个任意顶点,我们称这幅图是连通图. 非连通 ...
6.1图的定义、无向图、有向图、连通图、强连通图、带权图
1. 知识总览 2. 图的定义 3. 图逻辑结构的应用 4. 无向图.有向图 5. 简单图.多重图 6. 顶点的度.入度.出度 7. 连通图.强连通图 8. 研究图的局部–子图 9. 连通分量 10. ...
Python Network（三）案例（无向图，有向图，权重，点线分类与大小粗细）
有关Python Network前面已经写过两篇基础入门文章 Python Network(一) Python Network(二) 本文主要是代码实战的case,主要看一些小技巧的地方目录 1. ...
数据结构|连通图、完全图、无向图、有向图的边数计算问题
定义完全图也称简单完全图.一个图任意两个顶点之间都有边的话,该图就称为完全图. 连通图(一般都是指无向图) 如果图中任意俩顶点都连通,则该图为连通图. 有向图由点和弧所构成的图(强连通图必然是有 ...
使用邻接表创建无向图和有向图
图的邻接表表示法: 邻接表(Adjacency List) 是图的一种链式存储结构.在邻接表中,对图中每个顶点V建立一个单链表,把与 V相邻接的顶点放在这个链表中.邻接表中每个单链表的第一个结点存 ...

5.1 无向图与有向图

文章目录

5.1 无向图及有向图

5.1.1 无向图

5.1.2 有向图

5.1.3 无向图与有向图

5.1.4 顶点和边的关联与相邻

5.1.5 顶点的度数

5.1.6 握手定理

定理

证明

推论

应用

5.1.7 图的度数列

5.1.8 多重图与简单图

5.1.9 完全图

5.1.10 子图

5.1.11 补图

5.1.12 图的同构

5.1 无向图与有向图相关推荐

最新文章

热门文章