【笔记】图的存储结构

最新推荐文章于 2021-01-27 07:22:44 发布

Time-space

最新推荐文章于 2021-01-27 07:22:44 发布

阅读量485

点赞数

分类专栏：数据结构数据结构文章标签：图的存储结构邻接矩阵邻接表十字链表邻接多重链表

本文链接：https://blog.csdn.net/cbwem/article/details/78671286

版权

数据结构同时被 2 个专栏收录

42 篇文章 5 订阅

订阅专栏

数据结构

24 篇文章 1 订阅

订阅专栏

邻接矩阵法
邻接表法
十字链表法
邻接多重链表法

1.邻接矩阵法

图的邻接矩阵可以利用两个数组实现，一个是一维数组，用来存储图中的顶点信息；另一个是二维数组，用来存储图中顶点之间的关系，该二维数组称为邻接矩阵。如果一个图是无权图，则邻接矩阵表示为：

A [i] [j] = {1, 0, 当 < v i, v j > \in E 或 (v i, v j) \in E 反 之

$A[i][j]= \left\{\begin{array}{cc} 1, & 当<v_i,v_j> \in E或(v_i,v_j) \in E\\ 0, & 反之 \end{array}\right.$

对于带权图，有

A [i] [j] = {w i j, 0, 当 < v i, v j > \in E 或 (v i, v j) \in E 反 之

$A[i][j]= \left\{\begin{array}{cc} w_{ij}, & 当<v_i,v_j> \in E或(v_i,v_j) \in E\\ 0, & 反之 \end{array}\right.$

其中 $w_{ij}$ 表示顶点i与顶点j构成的弧或边的权值，如果顶点之间不存在弧或边，则用 $\infty$ 表示。

这里写图片描述

带权图的邻接矩阵表示为如下图所示：

图的邻接矩阵存储结构为：

typedef char VertexType[4];
typedef char InfoPtr;
typedef int VRType;
#define INFINITY 65535          /*定义一个无限大的值*/
#define MaxSize 50              /*最大顶点个数*/
typedef enum{DG,DN,UG,UN}GraphKind;     /*图的类型：有向图、有向网、无向图和无向网*/
typedef struct
{
    VRType adj;                 /*对于无权图，用1表示相邻，0表示不相邻；对于带权图，存储权值*/
    InfoPtr *info;              /*与弧或边的相关信息*/
}ArcNode,AdjMatrix[MaxSize][MaxSize];
typedef struct                  /*图的类型定义*/
{
    VertexType vex[MaxSize];    /*用于存储顶点*/
    AdjMatrix arc;              /*邻接矩阵，存储边或弧的信息*/
    int vexnum,arcnum;          /*顶点数和边（弧）的数目*/
    GraphKind kind;             /*图的类型*/
}MGraph;

源码详情参见

2.邻接表法

邻接表是图的一种链式存储方式。采用邻接表表示图一般需要两个表结构：边表和表头结点表。

在邻接表中，对图中的每个顶点都建立一个单链表，第i个单链表中的结点表示依附于顶点 $v_i$ 的边，（对有向图来说是以顶点 $v_i$ 为尾的弧），这种链表称为边表，其中结点称为弧结点。弧结点由3个域组成，分别为邻接点域、数据域和指针域，邻接点域表示与相应的表头顶点相邻接顶点的位置，数据域存储与边或弧的信息，指针域用来指示与表头相邻接的下一个顶点。
在每个链表前面设置一个头结点，除了设有存储各个顶点信息的数据域外，还设有指向对应边表中第一个结点的链域，这种表称为表头结点表。相应地，结点称为表头结点。通常情况下，表头结点采用顺序存储结构实现，这样可以随机地访问任意顶点。

前述图 $G_1$ 和 $G_2$ 用邻接表表示如下所示：

带权图的邻接表表示如下所示：

图的邻接表存储结构为：

typedef char VertexType[4];
typedef char InfoPtr;
typedef int VRType;
#define MaxSize 50              /*最大顶点个数*/
typedef enum{DG,DN,UG,UN}GraphKind;     /*图的类型：有向图、有向网、无向图和无向网*/
typedef struct ArcNode          /*边结点的类型定义*/
{
    int adjvex;                 /*弧指向的顶点的位置*/
    InfoPtr *info;              /*与弧相关的信息*/
    struct ArcNode *nextarc;    /*指示下一个与该顶点相邻接的顶点*/
}ArcNode;
typedef struct VNode            /*头结点的类型定义*/
{
    VertexType data;            /*用于存储顶点*/
    ArcNode *firstarc;          /*指示第一个与该顶点邻接的顶点*/
}VNode,AdjList[MaxSize];
typedef struct                  /*图的类型定义*/
{
    AdjList vertex;
    int vexnum,arcnum;          /*图的顶点数目与弧的数目*/
    GraphKind kind;             /*图的类型*/
}AdjGraph;

如果无向图G中有n个顶点和e条边，则图采用邻接表表示，需要n个头结点和2e个表结点。在e远小于n(n-1)/2时，采用邻接表存储表示显然要比用邻接矩阵表示更能节省空间。
在图的邻接表存储结构中，某个顶点的度正好等于该顶点对应李娜表中的结点个数。对于有向图的邻接表来说，某顶点对应链表的结点个数等于某个顶点的出度。
有时为了便于求某个顶点的入度，需要建立一个有向图的逆邻接链表，也就是为每个顶点 $v_i$ 建立一个以 $v_i$ 为弧头的链表。在邻接表中，边表结点的邻接点域的值为i的个数，就是顶点 $v_i$ 的入度。因此如果要求某个顶点的入度，则需要对整个邻接表进行遍历。有向图的 $G_1$ 的逆邻接链表如下图所示。

源码详情参见

3.十字链表法

十字链表是有向图的另一种链式存储结构，它可以看作将有向图的邻接表与逆邻接表结合起来的一种链表。在十字链表中，同样包括表头结点和边结点。在十字链表中，将表头结点称为顶点结点，边结点称为弧结点。其中，顶点结点包含三个域：一个数据域和两个指针域。数据域存放顶点的信息。两个指针域中，一个指向以顶点为弧头的顶点，另一个指向以顶点为弧尾的顶点。在十字链表存储表示的图中，很容易找到以某个顶点为弧尾和弧头的弧。
弧结点包含五个域：尾域tailvex、头域headvex、infor域、两个指针域hlink与tlink。其中，尾域tailvex用于表示弧尾顶点在图中的位置，头域headvex表示弧头顶点在图中的位置，infor域表示弧的相关信息，指针域hlink指向弧头相同的下一条弧，tlink指向弧尾相同的下一条弧。
有向图 $G_1$ 的十字链表存储表示如下所示：

有向图的十字链表存储结构为：

typedef char VertexType[4];
typedef char InfoPtr;
#define MaxSize 50              /*最大顶点个数*/
typedef struct ArcNode
{
    int headvex,tailvex;        /*弧的头顶点和尾顶点的位置*/
    InfoPtr *info;              /*与弧相关的信息*/
    struct *hlink,*tlink;       /*指示弧头和弧尾相同的结点*/
}ArcNode;
typedef struct VNode            /*顶点结点的类型定义*/
{
    VertexType data;            /*用于存储顶点*/
    ArcNode *firstin,*firstout; /*分别指向顶点的第一条入弧与出弧*/
}VNode;
typedef struct                  /*图的类型定义*/
{
    VNode vertex[MaxSize];
    int vexnum,arcnum;          /*图的顶点数目与弧的数目*/
}OLGraph;

4.邻接多重链表法

邻接多重链表表示是无向图的另一种链式存储结构。在无向图的邻接表存储表示中，虽然可以很容易对邻接表进行操作，但是图的每一条边在邻接表中需要存储两个结点，如果要检查某条边是否被访问过，则需要在邻接表中找到两个结点。而邻接多重表是将图的一条边用一个结点表示。邻接多重表与十字链表非常类似，它的存储结构如下所示：

顶点结点由两个域构成：data域和firstedge域。数据域data用于存储顶点的数据信息，firstedge域指示依附于顶点的第一条边。边结点包含六个域：mark域、ivex域、ilink域、jvex域、jlink域和info域。其中，mark域用来表示边是否被检索过，ivex域和jvex域表示依附于边的两个顶点在图中的位置，ilink域指向依附于顶点ivex的下一条边，jlink域指向依附于顶点jvex的下一条边，info域表示域边的相关信息。
无向图 $G_2$ 的多重链表表示如下所示：

无向图的多重链表存储结构表示为：

typedef char VertexType[4];
typedef char InfoPtr;
#define MaxSize 50              /*最大顶点个数*/
typedef struct EdgeNode         /*边结点的类型定义*/
{
    int mark,ivex,jvex;         /*访问标志和边的两个顶点位置*/
    InfoPtr *info;              /*与边相关的信息*/
    struct *ilink,*jlink;       /*指示与边顶点相同的结点*/
}EdgeNode;
typedef struct VNode            /*顶点结点的类型定义*/
{
    VertexType data;            /*用于存储顶点*/
    EdgeNode *firstedge;        /*指向依附于顶点的第一条边*/
}VexNode;
typedef struct                  /*图的类型定义*/
{
    VexNode vertex[MaxSize];
    int vexnum,edgenum;         /*图的顶点数目与边的数目*/
}AdjMultiGraph;