图论基本概念

最新推荐文章于 2023-12-20 19:12:26 发布

原创最新推荐文章于 2023-12-20 19:12:26 发布 · 1.3k 阅读

4 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#图论基础知识

这篇博客介绍了图论的基本概念，包括无向图与有向图的区别，完全图的定义，顶点的度、邻接顶点、路径长度以及连通图与强连通图的概念。同时提到了生成树在无向连通图中的应用。

数据的逻辑结构主要分两类：

线性结构：线性表（数组和链表）
非线形结构：树和图

这是一篇关于图论的基础知识的整理的笔记。

图的基本概念：图是由顶点集合（vertex）及顶点间的关系组成的一种数据结构：Graph=(V,E)。其中，顶点集合V={x|x属于某个数据对象集}是有穷非空集合；E={(x,y)|x,y属于V}是顶点间关系的有穷集合，叫做边集
有向图与无向图：在有向图中，顶点对<x,y>是有序的，成为从顶点x到顶点y的一条有向边。注意，<x,y>与<y,x>是两条不同的边。此时，对于有向边<x,y>而言，x是始点，y是终点。在无向图中，顶点对(x,y)是无序的，是连接顶点x和顶点y的一条边。这条边没有方向，(x,y)和(y,x)是同一条边。注意无向边与有向边各自的记发。
完全图：在由n个顶点组成的无向图中，若有n(n-1)/2条边（ $C_{n}^{2}\textrm{}$ ），则称为无向有向图。在由n个顶点组成的有向图，若有n(n-1)( $A_{n}^{2}\textrm{}$ )条边，则称之为有向完全图。完全图中的边数达到最大值。
权：在某些图中，边具有与之相关的数值，成为权重。权重可以表示从一个顶点到另一个顶点的距离、花费的代价、所需的时间、次数等。这种带权图也叫做网络。
邻接顶点：如果(u,v)是E(G)中的一条边，则u与v互为邻接顶点。
子图：设图G=(V,E)和图 ${G}'$ =( ${V}'$ , ${E}'$ )。若 ${V}'$ $\subseteq$ V且 ${E}'$ $\subseteq$ E，则称图 ${G}'$ 是图G的子图
度：与顶点v关联的边数，称作v的度，记作deg(v)。在有向图中，顶点的度等于其入度和出度之和。其中顶点v的入度是以v为终点的有向边的条数，记作indeg(v)；顶点v的出度是以v为始点的边的条数，记作outdeg(v)。顶点v的度deg(v)=indeg(v)+outdeg(v)。一般地，若图G中有n个顶点，则 $e=\frac{1}{2}\sum_{i=1}^{n}deg(v_{i})$ ,握手定理的应用。
路径：在图G=(V,E)中，若从顶点 $v_{i}$ 出发，沿一些边经过若干顶点 $v_{p1},v_{p2},...v_{pm}$ 到达顶点 $v_{j}$ ,则称顶点序列（ $v_{I},v_{p1},v_{p2},...v_{pm},v_{j}$ ）为顶点 $v_{i}$ 到顶点 $v_{j}$ 的一条路径。
路径长度：对于不带权的图，路径长度为路径上边的条数。对于带权图，路径长度是指路径上各边上的权重之和。
连通图与连通分量：在无向图中，若从顶点 $v_{i}$ 到顶点 $v_{j}$ 有路径，则称顶点 $v_{i}$ 与 $v_{j}$ 是连通的。如果图中任意一对顶点都是连通的，则称此图为连通图。非连通图的极大连通子图叫做连通分量。
强连通图与强连通分量：在有向图中，若在每一对顶点 $v_{i}$ 和 $v_{j}$ 之间都存在一条从 $v_{i}$ 到 $v_{j}$ 的路径，也存在一条从 $v_{j}$ 到 $v_{i}$ 的路径，则称此图为强连通图。非强连通图的极大强连通子图叫做强连通分量。
生成树：一个无向连通图的生成树是它的极小连通图，若图中含有n个顶点，则其生成树由 n-1条边构成。若是有向图，则可能得到它的若干有向图组成的森林。