广度优先遍历

观察下面两个无向图：

 

 

这两个图其实是一样的，只是画法不同罢了。第一张图更有立体感，第二张图更有层次感，并且把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