数据结构之图1

图是由顶点的有穷非空集合和顶点的边的集合组成，通常表示为：G(V,E),其中G是一个图，V是图G中顶点的集合，E是图G中边的集合。

图中的数据元素称为顶点。

注意：顶点是有穷非空集合。

在图中，任意两个顶点之间都可能有关系，顶点之间的逻辑关系用边来表示。

边集可以是空的。

无向边：若顶点vi到vj之间的边没有方向，则称这条边为无向边，用无序偶（vivj）来表示。

如果任意两个顶点之间的边都是无向边，则该图称为无向图。

有向边：若顶点vi到vj的边是有方向的，则这条边称为有向边，也称为弧。

用有序弧（vi,vj）来表示，vi称为弧尾，vj称为弧头。

如果任意两个顶点之间的边都是有向边，则该图称为有向图。

无向边用（）表示，有向边用<>表示。

在图中，若不存在顶点到自身的边，且同一条边不重复出现，则称这样的 图称为简单图。

在无向图中，如果任意两个顶点之间都存在边，则该图称为无向完全图。n个顶点的边数为n(n-1)/2

在有向图中，如果任意两个顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图。含有n个顶点的有向图的边数n(n-1)。

有很少条边或弧的图称为稀疏图，反之称为稠密图。

与图的边或弧相关的数字叫做权，这种带权值的图称为网。

假设有两个图G(V,{E})和G1(V1,{E1}),如果V1属于V且E1属于E，则称G1是G的子图。

边数是各顶点度数之和的一半。

以顶点v为头的弧的数目称为入度，以顶点v为尾的弧的数目称为出度。

度=入度+出度。

树中根结点到任意结点的路径都是唯一的，而图中那顶点与顶点之间的路径是不唯一的。

路径的长度是路径上的边或弧的数目。

第一个顶点到最后一个顶点相同的路径称为回路或环。

序列中顶点不重复出现的路径称为简单路径。

除了第一个顶点和最后一个顶点，其他顶点不重复出现的回路称为简单回路。

在无向图G中，如果从顶点v到顶点v1有路径，则称v和v1是连通的，如果对于图中任意两个顶点，vi，vj属于E，vi和vj都是连通的，则称G为连通图。

无向图中极大来连通子图称为连通分量。

强调：要是子图、子图要是连通的、连通子图含有极大顶点数、具有极大顶点数的连通子图包含依附于这些顶点的所以边。

在有向图G中，如果对于每一对vi和vj，vi不等于vj，从vi到vj和从vj到vi都有路径，则称G为强连通图。

有向图中极大的强连通子图称为强连通分量。

如果一个有向图恰好有一个顶点入度为0，其他顶点入度为1则是一棵有向树。

ADT 图(Graph)
Data
    顶点的有穷非空集合和边的集合
Operation
    CreateGraph(*G,V,VR):按照顶点集V和边弧集VR的定义构造图G
    DestroyGraph(*G):图G存在则销毁
    LocateVex(G,u):若图G中存在顶点u，则返回图中的位置。
    GetVex(G,v):返回图G中顶点v的值。
    PutVex(G,v,value):将图G中顶点v赋值value
    FirstAdjVex(G,*v):返回顶点v的一个邻接顶点，若顶点在G中无邻接顶点返回空。
    NextAdjVex(G,v,*w):返回顶点v相对于顶点w的下一个邻接顶点，若w是v的最后一个邻接点则返回“空”。
    InsertVex(*G,v):在图中增添新顶点v
    DeleteVex(*G,v):删除图G中顶点v及其相关的弧。
    InsertArc(*G,v,w):在图G中增添弧<v,w>,若G是无向图，还需要增添堆成弧<w,v>
    DeleteArc(*G,v,w):在图G中删除弧<v,w>,若G是无向图，则还删除对称弧<w,v>
    DFSTraverse(G):对图G中进行深度优先遍历，在遍历过程中对每个顶点调用。
    HFSTraverse(G):对图G中进行广度优先遍历，在遍历过程对每个顶点调用。
endADT

图的邻接矩阵存储方式是两个数组来表示图，一个一维数组存储图中顶点信息，一个二维数组（邻接矩阵）存储图中边和弧的 信息。

//图的邻接矩阵的存储结构
typedef char VertexType;        //顶点类型应由用户定义
typedef int EdgeType;           //边上的权值类型应由用户定义
#define MAXVEX 100              //最大顶点数，应由用户定义
#define INFINITY 65535          //用65535来代表无穷
typedef struct 
{
    VertexType vexs[MAXVEX];    //顶点表
    EdgeType arc[MAXVEX][MAXVEX];//邻接矩阵，可看作边表
    int numVertexes,numEdges;   //图中当前的顶点数和边数
}MGraph;


//建立无向网图的邻接矩阵表示，时间复杂度为O(n+n*n+e),G->arc初始化O(n*n)
void CreateMGraph(MGraph *G)
{
    int i,j,k,w;
    printf("输入顶点数和边数：\n");
    scanf("%d,%d",&G->numVertexes,&G->numEdges);//输入顶点数和边数
    for(i = 0;i < G->numVertexes;i++)   //读入顶点信息，建立顶点表
        scanf(&G->vexs[i]);
    for(i = 0;i < G->numVertexes;i++)
        for(j = 0;j < G->numVertexes;j++)
            G->arc[i][j] = INFINITY;        //邻接矩阵初始化
    for(k = 0;k < G->numEdges;k++)      //读入numEdges条边，建立邻接矩阵
    {
        printf("输入边（vi,vj）上的下标i下标j和权w:\n");
        scanf("%d,%d,%d",&i,&j,&w); 
        G->arc[i][j] = w;
        G->arc[j][i] = G->arc[i][j];    //因为是无向图，矩阵对称
    }
}

数组和链表相结合的存储方法称为邻接表。

//邻接表
typedef char VertexType;        //定点类型应由用户定义
typedef int EdgeType;           //边上的权值类型应由用户定义

typedef struct EdgeNode     //边表结点
{
    int adjvex;             //邻接点域，存储该顶点对应的下标
    EdgeType weight;        //用于存储权值，对于非网图可以不需要。
    struct EdgeNode *next;  //链域，指向下一个邻接点
}EdgeNode;

typedef struct VertexNode   //顶点表结点
{
    VertexType data;        //顶点域，存储顶点信息
    EdgeNode *firstedge;     //边表头指针
}VertexNode,AdjList[MAXVEX];

typedef struct 
{
    AdjList adjList;
    int numVertexes,numEdges;       //图中当前顶点数和边数
}GraphAdjList;

//建立图的邻接表结构
void CreateALGraph(GraphAdjList *G)
{
    int i,j,k;
    EdgeNode *e;
    printf("输入顶点数和边数：\n");
    scanf("%d,%d",&G->numVertexes,&G->numEdges);    //输入顶点数和边数
    for(i = 0;i < G->numVertexes;i++)   //读入顶点信息，建立顶点表
    {
        scanf(&G->adjList[i].data);     //输入顶点信息
        G->adjList[i].firstedge = NULL; //将边表置为空表
    }
    for(k = 0;k < G->numEdges;k++)  //建立边表
    {
        printf("输入边（vi,vj)上的顶点序号：\n");
        scanf("%d,%d",&i,&j);   //输入边（vi,vj)上的顶点序号
        e = (EdgeNode*)malloc(sizeof(EdgeNode));//向内存申请空间，生成边表结点

        e->adjvex = j;      //邻接序号为j
        e->next = G->adjList[j].firstedge;  //将e指针指向当前结点指向的结点
        G->adjList[i].firstedge = e;// 将当前结点的指针指向e

        e = (EdgeNode*)malloc(sizeof(EdgeNode));//向内侧申请空间，生成边表结点
        e->adjvex = i;      //邻接序号为i
        e->next = G->adjList[j].firstedge;//将e指针指向当前顶点指向的结点
        G->adjList[j].firstedge = e;//将当前点点的指针指向e
    }
}