图
图的基本概念
图是数据结构G=(V,E)
V(G)是G中结点的有限非空集合
E(G)是G中边的有限集合
若图中代表一条边的偶对是有序的,则称为有向图,<u,v
>u称为该边的始点(尾)
,v称为边的终点(头)。有向边也称为弧。
如果边(u,u)或者<u,u
>被允许称为自回路。
如果两顶点间允许有多条相同边的图,称为多重图。
如果一个图有最多的边称为完全图。
子图:G=(V’,E’)其中V’(G)是V(G),E’(G)是E(G)子集。
路径:是一个顶点序列,其中一个回路是一条简单路径。
一个无向图中,若两个顶点之间存在一条路径,则称两个顶点之间连通。如果所有两个顶点都是连通的,此图称为连通图
一个有向图中,任意一对顶点,存在一个顶点到另一个顶点的路径,并且同时存在另一个顶点到这个顶点的路径,则称此图是强连通图。
无向连通图的生成树是一个极小连通子图,它包括图中全部顶点,但只有足以构成一棵树的n-1条边。
图ADT
//ADT Graph{
数据:
顶点的非空集合V和边的集合E,每条边由V中顶点的偶对<u,v>表示
运算:
Create():构造一个不包含任何边的有向图
Destroy():撤销一个有向图
Exist(u,v):如果图中存在边<u,v>,则函数返回true,否则返回false
Insert(u,v,w):向图中添加权为w的边<u,v>,若插入成功,则函数返回Success;若图中已存在边<u,v>,则函数返回Duplicate;其他情况函数返回Failure
Remove(u,v):从图中删除边<u,v>,若图中不存在边<u,v>,则返回NotPresent;若图中已存在边<u,v>,则从图中删除此边,函数返回Success;其他情况函数返回Failure.
Vertices():函数返回图中顶点数目
//Graph 类
template<class T>
class Graph
{
public:
Virtual ResultCode Insert(int u,int v,T& w)=0;
Virtual ResultCode Remove(int u,int v)=0;
Virtual bool Exist(int u,int v)const=0;
Virtual int Vertices()const{
return n;}
protected:
int n,e;
};