图的基本概念

图是由一个顶点集 V 和一个边集 E构成的数据结构。Graph=(V,E)

图中代表一条边的顶点的偶对如果无方向性,即无序,则称此图为无向图。

例:

 

V={V1,V2,V3,V4,V5};

E={(V1,V2),(V1,V4), (V2,V3),(V3,V4), (V2,V5)}

在无向图中,(x, y)与(y, x)表示同一条边。

图中代表一条边的顶点的偶对如果有序的,则称此图为有向图。在有向图中,用<x, y>表示一条有向边,在有向图中也称边为“弧”,x称为边的弧尾或始点,称此边为顶点x 的一条出边;y称为边的弧头或终点,称此边为顶点y 的一条入边。

例:

 

V={V1,V2,V3,V4};

E={<V1,V2>,<V1,V3>,<V3,V4>,<V4,V1>}

有向图中<x,y>与<y,x>是方向相反的两条弧。

顶点的度

一个顶点V的度是和顶点V关联的边的数目,记作D(V)。 在有向图中,一个顶点依附的弧头数目,称为该顶点的入度,记作ID(V)。一个顶点依附的弧尾数目,称为该顶点的出度,记作OD(V)。 某个顶点的入度和出度之和称为该顶点的度,即D(V)=ID(V)+OD(V)

网(带权图)

在一个图中,每条边或弧可以标上具有某种含义的数值,此数值称为该边的权(weight)。弧或边带权的图分别称作有向网或无向网****。

 

图的存储结构

邻接矩阵

邻接矩阵是表示顶点之间相邻关系的矩阵。设G=(V,E)是具有n个顶点的图,则G的邻接矩阵是具有如下性质的n阶方阵。

 

无向图的邻接矩阵是对称的,有向图的邻接矩阵不一定是对称的。

例如(网的邻接矩阵):

 

 

c语言实现:

typedef int VertexType; /*图中结点的数据类型为整型*/
typedef struct  
{
    VertexType v[MAX_VERTEX_NUM];     /*顶点表*/
    int A[MAX_VERTEX_NUM][MAX_VERTEX_NUM];   /*邻接矩阵*/
    int vexnum,arcnum; /*图的顶点数和弧数*/
}MGraph;

邻接矩阵法优点:

容易实现图的操作,如:求某顶点的度、判断顶点之间是否有边(弧)、找顶点的邻接点等等。

邻接矩阵法缺点:

n个顶点需要n*n个单元存储边(弧);空间效率为O(n2)。 对稀疏图而言尤其浪费空间。

邻接表

邻接表是图的一种链式存储结构。类似于树的孩子链表表示法。

1)为每个顶点建立一个单链表,

2)第i个单链表中包含顶点Vi的所有邻接顶点。

 

例如

无向图的邻接表:

 

无向图中邻接表所有边结点的度数总和等于边数的2倍。

有向图的邻接表

 

 

在有向图的邻接表中,链接的是每个结点的出边。

在有向图的邻接表中,第i个链表中边结点的个数是顶点Vi的出度;但不容易计算该顶点的入度。

有向图的逆邻接表

 

有向图的逆邻接表中,连接的是每个结点的入边。

在有向图的逆邻接表中,第i个链表中边结点的个数是顶点Vi的入度。

有向图的邻接表(或逆邻接表)中所有边结点的个数总和等于边数。

带权图的邻接表存储形式

 

 

邻接表c语言实现

/*边结点结构*/
typedef struct ArcNode {  
    int    adjvex;  /*该弧所指向的顶点的位置*/
    struct ArcNode  *nextarc; /*下一条弧*/
    //InfoType   info;   /*该弧上的权值*/
} ArcNode;

 /*顶点的结点结构*/
typedef int VertexType; 
typedef struct VNode { 
    VertexType  data;   
    ArcNode  *firstarc; //边表头指针
}VNode;

typedef struct {  
    VNode  vertices[MAX_VERTEX_NUM]; 
    int   vexnum, arcnum; /*图的顶点数和弧数*/
}ALGraph;

邻接表的优点:

空间效率高;容易寻找顶点的邻接点;

邻接表的缺点:

判断两顶点间是否有边或弧,需搜索两结点对应的单链表,没有邻接矩阵方便。

图的两种存储方式比较