2020数据结构-图之基本概念

一、图

1.图的基本概念

1.相关定义

• 图是由顶点的有穷非空集合以及顶点之间的边的集合组成的，通常表示为：G(V,E)，其中，G表示一个图，V是图中的顶点的集合，E是图G中边的集合。

• 线性结构中，元素仅有线性线性关系，每个元素仅有一个直接前驱和直接后继。

• 树形结构中，数据元素（结点）之间有着明显的层次关系，每层上的元素可能和下一层中多个元素相关，但只能和上一层中的一个元素相关。

• 图形结构中，数据元素（顶点）之间具有任意关系，图中任意两个数据元素之间都有可能相关。

• 无向边：若顶点Vi到Vj之间的边没有方向，则称这条边为无向边，用无序偶对（Vi，Vj）来表示，如下左图，G= (V1,{E1})，其中顶点集合V1={A，B，C，D}; 边集合E1={ (A,B) ，（B,C），(C,D)， (D,A) , (A,C) } 。

• 有向边：从顶点Vi到Vj之间有方向，则称这条边为有向边，也成为弧，用有序偶〈Vi,Vj>来表示， Vi称为弧尾， Vj称为弧头。 如果图中任意两个顶点之间的边都是有向边，则称该图为有向图。 连接顶点A到D的有向边就是弧，A是弧尾，D是弧头，<A, D>表示弧，注意不能写成<D， A>。如下右图，G= (V2,{E2})，其中顶点集合V2={A，B，C，D}; 弧集合E2={<A，D>，<B，A>，<C，A>，<B，C>}。
  

• 简单图：在图中若不存在顶点到其自身的边，且同一条便不重复出现，便是简单图。

• 目前讨论的都是简单图，在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。含有n个顶点的无向完全图有n*(n-1)/2条边。在有向图中，如果任意两个顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图。含有n个顶点的有向完全图有n* (n-1) 条边。

• 稀疏图：有很少条边，反之为稠密图。

• 有些图的边或弧具有与它相关的数字，这种与图的边或弧相关的数叫做权。这些权可以表示从一个顶点到另一个顶点的距离或耗费。这种带权的图通常称为网。如下图就是一张带权的图，即标识中国四大城市的直线距离的网，此图中的权就是两地的距离。
  

• 子集：假设有两个图G= (V，{E})和G’= (V’，{E’})，如果V’是V的子集，且E’是E的子集，则称G’为G的子图。如下图带底纹的图均为左侧无向图与有向图的子图。
  

• 对于无向图G= (V,{E})， 如果边(v,v’)属于E，则称顶点v和v‘互为邻接点，即v和v’相邻接、边(v,v’)依附于顶点v和v’，或者说(v,v’)与顶点v和v’相关联。顶点v的度是和v相关联的边的数目，记为TD(v)。如上图左侧上方的无向图，顶点A与B 互为邻接点，边(A，B) 依附于顶点A 与B上，顶点A的度为3。而此图的边数是5，各个顶点度的和=3+2+3+2=10，推敲后发现，边数其实就是各顶点度数和的一半，多出的一半是因为重复两次计数。

• 对于有向图G= (V,{E})，如果弧<v,v’>属于E，则称顶点v邻接到顶点v’，顶点v’邻接自顶点v的弧<v,v’>和顶点v， v’相关联。以顶点v为头的弧的数自称为v的入度 ，记为ID (v); 以v为尾的弧的数目称为v的出度，记为OD (v); 顶点v的度为TD(v) =ID(v) +OD (v)。上图 左侧下方的有向图，顶点A的入度是2 (从B到A的弧，从C到A的弧)，出度是1 (从A到D的弧)，所以顶点A 的度为2+1=3。此有向图的弧有4 条，而各顶点的出度和=1+2+1+0=4，各顶点的入度和=2+0+1+1=4。

• 从顶点v 到顶点v’的路径是一个顶点序列。路径的长度是路径上的边或弧的数目。有向图的路径也是有向的。第一个顶点到最后一个顶点相同的路径称为回路或环。 序列中顶点不重复出现的路径称为简单路径