数据结构图小结

       数据结构中，图是很重要的一部分，比线性表和树型结构更加复杂。线性表中数据有很明显的前驱和后继关系；树型结构中数据有很明显的层次关系，父层和子层，千层饼一样；而图所表示的数据，任意两个之间都可以有关系。首先介绍一些图中的专用名词，下图表示一种常见的图。

                                                          

       图中数据元素叫做顶点（vertex），如上图中的A、B、C等，顶点之间的连线叫做弧（arc），如<a,b>可以表示从A点到B点的弧，如果是A指向B的弧，那么A为弧尾或初始点，B为弧头或终端点，这种有弧方向的图是有向图（digraph），若两个顶点之间只是用有无连接关系表示的话，就可以用边来表示，此时的图是无向图（undigraph）。假若弧或边上带有权值信息，那么图就称为网，所以图也可以分为无向图、有向图、无向网和有向网四类。对于无向图，相邻的两个顶点互为邻接点，顶点A的度是指和顶点A相关联的边的数目。对于有向图，度分为出度和入度，A的出度就是以A为弧尾的弧的个数，A的入度就是以A为弧头的弧的个数，常见的图中名词有以上这些。

       图的表示法有数组法、邻接表法和十字链表法。当然这些只是常见的，具体的图的存储结构还要跟实际情况结合起来，可以组合搭配使用，不能拘泥于一种方法，领悟其精华，学会变通即可。下面具体讲一下他们的表示方法和创建图的过程。

图的数组表示法

       图的存储结构用数组表示的话，C语言版本的结构如下所示：

#define MAX_VERTEX_NUM 10//最大顶点vertex数#define MAX_NAME 5//顶点向量字符最长数+1#define MAX_INIT 65535 //对于网，将值设为无限大表示没有弧存在typedef int VRType;       //表示顶点的关系类型，对于无权图，有0和1，对网可以表示其权值typedef char VertexType[MAX_NAME];//顶点名字信息typedef enum{DG, DN, UDG, UDN} GraphKind;//图的类型typedef struct ArcCell{VRType adj;//这里可以添加一些其他信息，用来表示弧相关其他信息}ArcCell, AdjMatrix[MAX_VERTEX_NUM][MAX_VERTEX_NUM];typedef struct {VertexType vexs[MAX_VERTEX_NUM];//顶点向量,就是顶点的名字，可以用字符串表示AdjMatrix arcs;//邻接矩阵int vexnum,arcnum;//顶点数和弧数GraphKind kind;//图的类型}Graph;

       上面都详细的描述了定义的结构体中各个的含义，其实用数组表示图最主要的就是那个矩阵，矩阵中存放着“权值”的信息，其他的就是顶点个数、弧个数、顶点名字等，用一个结构体也是可以的。创建图的话就要根据图的类型进行操作了，我主要创建了无向图和有向网，这两个可以的话剩下两个应该都不难。无向图的表示也最为简单，创建过程如下程序所示：

void CreateUDG(Graph *G)  {      int i, j, k;      VertexType  va, vb;  //临时变量，存储顶点A和Bprintf("Input the number of the vertex and arc:\n");scanf("%d %d",&G->vexnum, &G->arcnum);printf("input the name of the vertex:\n");for(i=0; i<G->vexnum; i++)scanf("%s",G->vexs[i]);    for (i = 0; i < G->vexnum; ++i)      // 初始化邻接矩阵          for (j = 0; j < G->vexnum; ++j)          {              G->arcs[i][j].adj  = 0;      // 无向图，所以都初始值为0          }  //根据顶点向量的信息判断两点之间有无连接    for (k = 0; k < G->arcnum; ++k)      {  printf("\nInput the first vertex:\n");        scanf("%s",va);        i = Locate(G, va);               //找出va在图中的位置          printf("\nInput the last vertex:\n");scanf("%s",vb);j = Locate(G, vb);          G->arcs[i][j].adj = G->arcs[j][i].adj = 1;    // 无向图 ，两个顶点是一样的    }      G->kind = UDG;  } 

       上述程序就是创建无向图的过程，这个只是简单的示范，所以比较简单。对于有向网，稍微复杂一点，就是加了权值，定了弧的方向，实现方式如下所示：

void CreateDN(Graph *G){int i,j,k;VertexType va,vb;printf("Please input the vertexnum and the arcnum:\n");scanf("%d %d",&G->vexnum,&G->arcnum);for(i=0;i<G->vexnum;i++){for(j=0;j<G->vexnum;j++){G->arcs[i][j].adj = MAX_INIT;//初始化为大数，表示达不到或者说没有A到B顶点的弧}}printf("\nInput the name of the vertex:\n");for(i=0;i<G->vexnum;i++){scanf("%s",G->vexs[i]);}for(k=0;k<G->arcnum;k++){printf("\nInput the first vertex:\n");scanf("%s",va);i = Locate(G, va);printf("\nInput the second vertex:\n");scanf("%s",vb);j = Locate(G, vb);printf("\nInput the weight of the vector:\n");VRType m;scanf("%d",&m);G->arcs[i][j].adj = m;}G->kind = DN;}

       需要指出的是，这两个创建过程都有用到locate函数，该函数是为了实现查找到顶点在图中的位置。具体实现如下：

int Locate(Graph *g, VertexType v){int i;for(i=0; i<g->vexnum; i++){if(strcmp(v, g->vexs[i]) == 0)return i;}return -1;}

        具体的实现方法，可以参见我的源码：https://github.com/clarkzhang56/useful-data-structure/blob/master/Graph/graphwitharray.c

图的邻接表表示法

       邻接表是图的一种链式存储结构。邻接表中，对每个顶点建一个单链表，单链表中的结点表示依附于顶点的边或弧。每个结点包括三部分，该顶点的位置、所指向的下一个结点和弧相关的信息，比如权值。每个链表都有一个表头结点，表头结点包含指向链表的第一个结点的链域和存储顶点名的数据域，具体的结构如下所示：

#define MAX_VEXTEX 10#define MAX_LEN 5typedef enum{UDG,UDN,DG,DN} GraphKind;typedef char VertexType[MAX_LEN];typedef struct ArcNode{int adjvex;//弧指向的顶点的位置信息struct ArcNode *nextArc;//下一个结点int weight;//权值，当然也可以是其他信息}ArcNode;typedef struct VNode{//表头结点VertexType data;//数据域，存储顶点名称ArcNode *firstArc;//链域，指向第一个结点}VNode,AdjList[MAX_VEXTEX];typedef struct Graph{int vextexnum,arcnum;AdjList vertices;GraphKind kind;}Graph;

       我用邻接表创建了有向网，有向网的实现，最困难的地方在于增加结点信息的时候，比如添加完firstarc，只要让其指向一个新增加的内存即可，但是如果其后面还有结点呢？我最开始的想法是使用双指针，发现效果还不错，这样可以修改firstarc指向的后一个结点的内存信息，即修改其值等，我发现效果还不错。我写的错误程序如下所示（可以在看完整个程序后再看这个也行）：

ArcNode **tmpnextarc = &G->vertices[i].firstArc->nextArc;while(*tmpnextarc != NULL){*tmpnextarc = (*tmpnextarc)->nextArc;}*tmpnextarc = tmp;(*tmpnextarc)->nextArc = NULL;

       可是，当我尝试再增加第三个结点的时候，问题出现了，我在print图的时候只能显示第一个和第三个结点的信息，不会显示第二个，我就纳闷了，怎么会没有呢，第二个被我吃了？想了很久，终于想明白了。当firstarc新增一个结点的时候，双指针可以指向新结点的地址，同时修改其地址的内容，但是再增加一个结点的时候，双指针指向的内存地址没有变化，即使让它指向另一个地址，其也不能修改那一个地址的内容，因为指向另一个地址的时候，它就不再是双指针了。修改的地址还是原来的地址，所以这种方法行不通。后来我又看了一下书本（基础都在书本啊），发现可以用指针的nextarc指向firstarc，然后赋值给firstarc就行了。这种方法是将结点加在了firstarc的头部，而不是尾部，比较厉害。具体的创建有向网的程序如下所示：

void CreateDN(Graph *G){printf("Create the Digraph Net:\n");int i,j,k;VertexType vf,vl;printf("Please input the vextexnum and the arcnum:\n");scanf("%d %d",&G->vextexnum,&G->arcnum);printf("Please input the name of the vextexnum:\n");for(i=0;i<G->vextexnum;i++){//初始化scanf("%s",G->vertices[i].data);G->vertices[i].firstArc = NULL;}for(k=0;k<G->arcnum;k++){printf("Please input the first vertex:\n");scanf("%s",vf);printf("Please input the last vertex:\n");scanf("%s",vl);i = Locate(G,vf);//寻找顶点的位置，和数组表示图那里一样j = Locate(G,vl);if(i != -1 && j != -1){ArcNode *tmp = (ArcNode*) malloc (sizeof(ArcNode));tmp->adjvex = j;printf("Please input the weight:\n");scanf("%d",&tmp->weight);/*以下实现方法比较方便，易懂还方便*/tmp->nextArc = G->vertices[i].firstArc;G->vertices[i].firstArc = tmp;}}G->kind = DN;}

       有向网就创建成功了。另外三个都比这个要简单，我就不写了。具体文档可以参考如下链接：https://github.com/clarkzhang56/useful-data-structure/blob/master/Graph/graphwithadjacencylist.c

图的十字链表表示法

       虽然数组和邻接表都可以作为图的存储结构，但是它们都有一些弊端：数组表示法要浪费很多的空间；邻接表可以容易查找到某一顶点的出度，但是很难找到该顶点的入度。为了解决这个问题，可以使用十字链表。十字链表其实就是邻接表的升级版。它只针对有向图（因为无向图的话没有入度-_-!），每一条弧都有一个结点，对应每一个顶点也有一个结点，弧结点包括：弧头、弧尾、同一弧头的弧、同一弧尾的弧和弧信息（比如权值），顶点结点包括：顶点名字、以该顶点为弧头的第一个结点和以该顶点为弧尾的第一个结点。具体结构定义如下所示：

#define MAX_NUM 5#define MAX_VEX_NUM 20typedef char VexType[MAX_NUM]; typedef struct AcrBox{int tailvex,headvex;//弧尾和弧头的位置struct AcrBox *hlink;//相同弧头的下一结点struct AcrBox *tlink;int weight;}ArcBox;typedef struct VexNode{VexType data;ArcBox *firstin;//指向以该顶点为弧头的第一个结点ArcBox *firstout;}VexNode;typedef struct {VexNode xlist[MAX_VEX_NUM];int vexnum, arcnum;}GraphDN;

       这里我只以有向网为例子，因为有向网的稍微复杂一点，创建有向网的难点也在于增加结点的部分，所以这里也采用了和邻接表法相同的方法，即加在头部而不是尾部的方法。具体创建有向网的过程如下：

void CreateDNgraph(GraphDN *G){int i,j,k;VexType tail,head;printf("Creating the Diagraph Net with orthogonal list......\n");printf("Input the num of the vextex and arc:\n");scanf("%d %d",&G->vexnum, &G->arcnum);printf("Input the vextex name:\n");for(i=0; i<G->vexnum; i++){//初始化scanf("%s",G->xlist[i].data);G->xlist[i].firstin = G->xlist[i].firstout = NULL;}for(k=0; k<G->arcnum; k++){printf("Input the tailvex name:\n");scanf("%s",tail);printf("Input the headvex name:\n");scanf("%s",head);i = Locate(G, tail);j = Locate(G, head);if(i != -1 && j != -1){ArcBox *arcbox = (ArcBox *)malloc(sizeof(ArcBox));arcbox->tailvex = i;arcbox->headvex = j;printf("Input the weight:\n");scanf("%d",&arcbox->weight);/*难点和精华，搞清楚头和尾很重要*/arcbox->tlink = G->xlist[i].firstout;G->xlist[i].firstout = arcbox;arcbox->hlink = G->xlist[j].firstin;G->xlist[j].firstin = arcbox;}else{printf("Not the vextex name.\n");--k;}}}

       具体可以参考右边链接：https://github.com/clarkzhang56/useful-data-structure/blob/master/Graph/graphwithorthogonallist.c

图的遍历

       图的遍历有深度优先搜索（Deepth first search）和广度优先搜索（Breadth first search），二者效率是一样的，时间复杂度为O（n+e）。

深度优先搜索

       顾名思义，就是一步一步先搜“深”的，再回过头来搜“浅”的，这就要用到迭代了。搜索就是遍历整个图，把所有顶点遍历完，这就需要先定义一个数组，用来表示该顶点是否访问过。如果没访问过，就进行搜索，可以通过打印顶点名字表示搜索了，搜索后还要把该顶点表示为搜索过了。数组表示法有向网的深度优先搜索如下所示：

#define true 1#define false 0typedef int bool;bool visited[MAX_VERTEX_NUM];void DFS(Graph *g, int v){int i;visited[v] = true;printf("%s  ",g->vexs[v]);for(i=0; i<g->vexnum; i++){if(g->arcs[v][i].adj != 65535 && visited[i] == false)//为最大数表示没有弧存在DFS(g, i);}}void DFSgraph(Graph *G){int i;for(i=0; i<G->vexnum; i++){visited[i] = false;}for(i=0; i<G->vexnum; i++){if(!visited[i]) DFS(G, i);}}

       需要说明的是，在C语言中木有bool，true和false，所以都要自己定义。图的另外两种表示法的深度优先搜索和这个都类似。

广度优先搜索

       这种搜索方式就和树的逐层遍历一样，先搜索A指向的所有顶点，然后搜索A指向的第一个顶点所指向的所有顶点，直到遍历完图，如果还有未搜索的，就再搜索它，和深度优先搜索的不同之处仅仅在于顶点的访问顺序不同。