广度优先遍历

观察下面两个无向图：

 

 

 

这两个图其实是一样的，只是画法不同罢了。第一张图更有立体感，第二张图更有层次感，并且把A点置为顶点（事实上图的任何一点都可以做为顶点）。

一、用数组来存放顶点

vexs[0] = ‘A’
vexs[1] = ‘B’
vexs[2] = ‘C’
vexs[3] = ‘D’
vexs[4] = ‘E’
vexs[5] = ‘F’
vexs[6] = ‘G’
vexs[7] = ‘H’
vexs[8] = ‘I’

二、用邻接矩阵来表示边

 

 

 

上面这个矩阵中，0表示每个顶点没有到达自己的路径。1表示两个顶点之间有路径，无穷大表示两个顶点之间没有路径。
假如按照程序计数习惯，行或列都从0数起。
第0行第0列为0，表示A到它本身之间没有路径（这是人为规定的，因为A到它自身不需要路径）。
第0行第1列为1，表示顶点A和B之间有路径。
第0行第5列为1，表示顶点A和顶点F之间有路径。
第0行其他列为无穷大，表示A到其它点之间没有路径。
……
因为是无向图，邻接矩阵必然有两个特点：
① 对角线（左上角到右下角）上的元素值全为0.表示每个点到它自身没有（或不需要）路径。
② 其它的元素关于对角线对称。

如果不同的顶点之间没有路径，也是用0来表示，则邻接矩阵为

 

上面的邻接矩阵，在编程时可以用二维数组来实现：

 arc[0][1] = arc[1][0] = 1;
 arc[0][5] = arc[5][0] = 1;

 arc[1][2] = arc[2][1] = 1;
 arc[1][6] = arc[6][1] = 1;
 arc[1][8] = arc[8][1] = 1;

 arc[2][3] = arc[3][2] = 1;
 arc[2][8] = arc[8][2] = 1;

 arc[3][4] = arc[4][3] = 1;
 arc[3][6] = arc[6][3] = 1;
 arc[3][7] = arc[7][3] = 1;
 arc[3][8] = arc[8][3] = 1;

 arc[4][5] = arc[5][4] = 1;
 arc[4][7] = arc[7][4] = 1;

 arc[5][6] = arc[6][5] = 1;

 arc[6][7] = arc[7][6] = 1;

三、广度优先遍历

广度优先遍历需要借助于另外的数据结构队列。当把图中的顶点放到队列中时，表示这个顶点被遍历了（可以把顶点的值打印出来）。
用图1中的右图来分析广度优先遍历更方便，因为右图的层次结构更明显。

 

 

 

起初，把点A放入队列中，A被遍历。如上图中的（1）所示。
接着把队首元素A出队，把A的下一层的顶点B和F移进队列，B和F被遍历。如上图中的（2）所示。
队首元素B出队，B的下一层顶点C，G，I相继入队，C、G和I被遍历。如上图中的（3）所示。
队首元素F出队，F的下一层顶点E入队，E被遍历。如上图中的（5）所示。
队首元素C出队，C的下一层顶点D入队，D被遍历。如上图中的（6）所示。
队首元素G出队，G的下一层有两个顶点：D和H。D已在队列里，H入队，H被遍历。如上图中的（4）所示。
队首元素I出队，I的下一层顶点D已在队列里，没有新顶点入队。如上图中的（7）所示。
队首元素E出队，E的下一层顶点D和H都已在队列里，没有新顶点入队。如上图中的（8）所示。
队首元素D出队，D没有下一层顶点，所以没有新顶点入队。如上图中的（9）所示。
队首元素H出队，H没有下一层顶点，所以没有新顶点入队。此时队列为空，遍历结束。
最终，广度优先遍历的顺序即入队列（或出队列）的顺序：A B F C G I E D H

四、广度优先遍历代码实现

#include "stdio.h" #define OK 1 #define ERROR 0 #define TRUE 1 #define FALSE 0 #define MAXVEX 9 #define MAXSIZE 9 typedef int Status; /* Status 是函数的类型,其值是函数结果状态代码，如 OK 等 */ typedef int Boolean; /* Boolean 是布尔类型,其值是 TRUE 或 FALSE */ typedef int EdgeType; /* 边上的权值类型应由用户定义 */ // 图的结构 struct Graph { char vexs[MAXVEX]; // 顶点，字符类型，比如顶点'A'，顶点'B'... int arc[MAXVEX][MAXVEX];// 边或路径，0表示两个顶点之间没有路径，1表示两个顶点之间有路径 int vexNum; // 顶点数量 int arcNum; // 边（路径）的数量 }; /* 用到的队列结构与函数********************************** */ /* 循环队列的顺序存储结构 */ typedef struct { int data[MAXSIZE]; int front; /* 头位置标识，相当于头指针 */ int rear; /* 尾位置标识，相当于尾指针。若队列不为空，指向队列尾元素的下一个位置 */ }Queue; /* 初始化一个空队列 Q */ void InitQueue(Queue *Q) { Q->front = 0; Q->rear = 0; } /*若队列 Q 为空队列,则返回 TRUE,否则返回 FALSE 这里只判断队列是否为空，而不改变队列的结构，所以参数不需用指针*/ Status QueueEmpty(Queue Q) { if(Q.front == Q.rear) /* 队列空的标志 */ { return TRUE; } return FALSE; } /* 若队列未满，则插入元素 e 为 Q 新的队尾元素 */ Status EnQueue(Queue *Q, int e) { if ((Q->rear + 1) % MAXSIZE == Q->front) /* 队列满的判断 */ { return ERROR; } Q->data[Q->rear] = e; /* 将元素 e 赋值给队尾 */ Q->rear = (Q->rear + 1) % MAXSIZE;/* rear 指针向后移一位置，若到最后则转到数组头部 */ return OK; } /* 若队列不为空，则删除 Q 中队头元素，用e返回其值 */ Status DeQueue(Queue *Q, int *e) { if (Q->front == Q->rear) /* 队列空的判断 */ { return ERROR; } *e = Q->data[Q->front]; /* 将队头元素赋值给 e */ Q->front = (Q->front + 1) % MAXSIZE; /* front 指针向后移一位置，若到最后则转到数组头部 */ return OK; } void CreateGraph(Graph *G) { G->arcNum = 15; G->vexNum = 9; // 读入顶点信息，放到数组里 G->vexs[0] = 'A'; G->vexs[1] = 'B'; G->vexs[2] = 'C'; G->vexs[3] = 'D'; G->vexs[4] = 'E'; G->vexs[5] = 'F'; G->vexs[6] = 'G'; G->vexs[7] = 'H'; G->vexs[8] = 'I'; int i, j; for(i = 0; i < G->vexNum; i++)/* 初始化图 */ { for (j = 0; j < G->vexNum; j++) { G->arc[i][j] = 0; } } G->arc[0][1] = 1; G->arc[0][5] = 1; G->arc[1][2] = 1; G->arc[1][6] = 1; G->arc[1][8] = 1; G->arc[2][3] = 1; G->arc[2][8] = 1; G->arc[3][4] = 1; G->arc[3][6] = 1; G->arc[3][7] = 1; G->arc[3][8] = 1; G->arc[4][5] = 1; G->arc[4][7] = 1; G->arc[5][6] = 1; G->arc[6][7] = 1; for(i = 0; i < G->vexNum; i++) { for(j = i; j < G->vexNum; j++) { G->arc[j][i] = G->arc[i][j]; } } } Boolean visited[MAXVEX]; /* 访问标志的数组 */ /* 邻接矩阵的广度遍历算法 */ void BFSTraverse(Graph G) { int i, j; Queue Q; for(i = 0; i < G.vexNum; i++) { visited[i] = FALSE; } InitQueue(&Q); /* 初始化一辅助用的队列 */ for(i = 0; i < G.vexNum; i++) /* 对每一个顶点做循环 */ { if (!visited[i]) /* 若是未访问过就处理 */ { visited[i] = TRUE; /* 设置当前顶点访问过 */ printf("%c ", G.vexs[i]);/* 打印顶点，也可以其它操作 */ EnQueue(&Q, i); /* 将此顶点入队列 */ while(!QueueEmpty(Q)) /* 若当前队列不为空 */ { DeQueue(&Q, &i); /* 将队对元素出队列，赋值给 i */ for(j = 0; j < G.vexNum; j++) { /* 判断其它顶点若与当前顶点存在边且未访问过 */ if(G.arc[i][j] == 1 && !visited[j]) { visited[j] = TRUE; /* 将找到的此顶点标记为已访问*/ printf("%c ", G.vexs[j]); /* 打印顶点 */ EnQueue(&Q, j); /* 将找到的此顶点入队列 */ } } }//while } }//for } int main(void) { Graph graph; CreateGraph(&graph); printf("广度遍历："); BFSTraverse(graph); return 0; } 

运行结果：

广度遍历：A B F C G I E D H