数据结构之图

1.图的定义

图（graph）是由一些点（vertex）和这些点之间的连线（edge）所组成的；其中，点通常称为顶点（vertex），而点到点之间的连线通常称之为边或者弧（edge）。通常记为G=（V,E）。

 

2.图的分类

图通常分为有向图和无向图，而其表示表示方式分为邻接矩阵和邻接链表。具体表示如下图。

对于无向图，其所有的边都不区分方向。G=(V,E)。其中，

<1>V={1,2,3,4,5}。V表示有”1,2,3,4,5”几个顶点组成的集合。

<2>E={(1,2),(1,5),(2,1),(2,5),(2,4),(2,3),(3,2),(3,4),(4,3),(4,2),(4,5),(5,1),(5,2),(5,4)}。E就是表示所有边组成的集合，如(1,2)表示由顶点1到顶点2连接成的边。

对于有向图，其所有的边都是有方向的。G=(V,E)。其中，

<1>V={1,2,3,4,5}。V表示有”1,2,3,4,5”几个顶点组成的集合。

<2>E={<1,2>,<2,5><5,4>,<4,2><3,5>,<3,6>,<6,6>}。E就是表示所有边组成的集合，如<1,2>表示由顶点1到顶点2连接成的边。注意又有向图边和无向图边表示方法的不同，有向图的边是矢量，而无向图只是普通的括号。

针对邻接矩阵和邻接链表两种不同的表示方式，有如下优缺点：

<1>邻接矩阵由于没有相连的边也占据空间，相对于邻接链表，存在空间浪费的问题；

<2>但是在查找的时候，邻接链表会比较耗时，对于邻接矩阵来说，它的查找复杂度就是O(1)。

 

用邻接表表示图的代码

#define MAX 100

typedef struct ENode   //邻接表中表对应的链表的顶点
{
    int ivex;          //该边所指向的顶点的位置
    int weight;       //该边的权值
    struct ENode *next_edge;   //指向下一条边的指针
}ENode,*PENode;

typedef struct VNode   //邻接表中表的顶点
{
    char data;       //顶点的数据
    struct VNode *first_edge;  //指向第一条依附该顶点的边
}VNode;

typedef struct LGraph  //邻接表
{
    int vexnum;    //图的顶点数
    int edgenum;   //图的边数
    VNode vexs[MAX];
}LGraph;

1. 3.度、权、连通图等概念

对于无向图来说，它的顶点的度就是指关联于该顶点的边的数目；而对于有向图来说，分为入度和出度，所谓入度就是进入该顶点边的数目，出度就是离开这个顶点边的数目，有向图的度就是入度加出度。

如下图有向图(a)所示，对于顶点3，它的入度为2，出度为1，度为3。

图还被分为有权图和无权图，所谓有权图就是每条边都具有一定的权重，通常就是边上的那个数字；而无权图就是每条边没有权重，也可以理解为权重为。如下图所示即为有权图，(A,B)的权就是13。

如果一个无向图中每个顶点从所有其他顶点都是可达的，则称该图是连通的；如果一个有向图中任意两个顶点互相可达，