图(Graph)的定义
图形结构属于复杂的非线性结构
图由顶点的集合和边的集合构成
图的形式化定义:G=(V,E)
集合 V(vertex):顶点的有限集合,记为V(G)
对于n个顶点的图,对每个顶点连续编号,即顶点的编号为0~n-1。
通过编号唯一确定一个顶点。
集合E(Edge):连接V中两个不同顶点(顶点对)的边的有限集合,记为E(G)。
有向图和无向图
无向图
边之间的“顶点对”是无序的,则称图G为无向图。
(i,j)表示一条无向边,和(j,i)是同一条边。
无向图的形式化定义:若
<v,w>E(G),有<w,v>E(G),则G是无向图。
V(G1)={0,1,2,3,4}
E(G1)={(1,2), {1,3),(1,0),(2,3),(3,0),(2,4),(3,4),(4,0)}
有向图
边之间的顶点对是有序的,则称G为有向图。
<i,j>E(G)表示由i到j方向有一条边。
V(G2)={0,1,2,3,4}
E(G2)={<1,2>,<1,3>,<0,1>,<2,3>,<0,3>,<2,4>,<4,3>,<4,0>}
若不存在顶点到其自身的边,且同一条边不重复出现,则称这样的图为简单图。
图的存储结构
邻接矩阵存储方法
邻接表存储方法
邻接矩阵结构:
#define OK 1
#define ERROR 0
#define TRUE 1
#define FALSE 0
#define MAXVEX 100 /* 最大顶点数,应由用户定义 */
#define INFINITY 65535
typedef int Status; /* Status是函数的类型,其值是函数结果状态代码,如OK等 */
typedef char VertexType; /* 顶点类型应由用户定义 */
typedef int EdgeType; /* 边上的权值类型应由用户定义 */
typedef struct
{
VertexType vexs[MAXVEX]; /* 顶点表 */
EdgeType arc[MAXVEX][MAXVEX];/* 邻接矩阵,可看作边表 */
int numNodes, numEdges; /* 图中当前