图的描述

图表述：G=(V,E),是一个V和E的有限集合，元素V称为顶点(vertice)，元素E称为边（edge）.用（i,j）来描述一条边，其中i和j是E所连接的两个顶点。

 1.有向图----抽象数据类型Graph

2.无向图---抽象数据类型Digraph

3.加权无向图----抽象数据类型WeightedGraph

4.加权有向图----抽象数据类型WeightedDigraph

图的描述方式：

1.邻接矩阵

   n个顶点则为nx n的矩阵。

   （1） 有向图

         A(i,j)=  1，如果（i,j）属于E

                      0，其它。

  （2）无向图

       A(i,j)=1,如果（i,j）属于E或（j,i）属于E

                  0，其它。

   （3）加权有向图

       A(i,j)=w,如果（i,j）属于E或（j,i）属于E，其中w为该边的耗费。

                      0，其它。      

   （4）加权有向图

     A(i,j)=w,如果（i,j）属于E,其中w为该边的耗费。

               0，其它。

邻接矩阵映射到数组

n个顶点映射矩阵为a[n][n]。

2.邻接压缩表

在G(G=(V,E),|V|=n,|E|=e)的邻接压缩表的定义中，两个一维数组h[0:n+1]和l[0:x],

若G是有向图，x=e-1,若G是无向图，x=2e-1。l数组存储各顶点对应的相邻的顶点，顺序是按顶点的顺序。

h数组存储的是相应的顶点在l中存储相邻顶点的起始点的在l中的序号。如h[i].first指向顶点i的邻接表中的第一个节点。如果x指向链表h[i]中的一个节点，那么（i,x->data）是图中的一条边。

然后利用Chain<int> 来实现各顶点相邻顶点的保存。

 

3.邻接链表

首先用一个Chain<int>类型的头节点数组h来跟踪这些邻接表。每个顶点的相邻顶点用Chain<int>来实现

程序的实现：

1.邻接矩阵

以加权有向图为根类，操作包括构造函数（创建二维数组，以描述一个n顶点、没有边的图的邻接矩阵）、bool Exist(int i,int j) const(判断边是否存在);等其他操作

然后以加权有向图为根类，创建加权无向图的邻接矩阵，及有向图，然后以加权无向图为根类创建无向图。

2.链表描述