图的基本概念
图是由顶点集合及顶点间的关系集合组成的一种数据结构
Graph=(V,E);
其中V={x|x<-某个数据对象}
是顶点的有穷非空集合;
是顶点之间的有穷集合,也叫边集合。
Path(x,y)表示从x到y的一条单向通路,他是有方向的
有向图中,顶点对<x,y>是有序的,在无向图中,顶点对中<x,y>是无序的
完全图:
若有n个顶点的无向图有n(n-2)/2条边,则此图为完全无向图
若有n个顶点的无向图有n(n-2)条边,则此图为完全有向图
若边或弧的个数e<nlogn,则称作稀疏图,否则称为稠密图;
邻接顶点:
如果(u,v)是E(G)中的一条边,则称为u,v互为邻接顶点
权:
某些图的边具有与他相关的数,称之为权,这种带权图叫做网络。
子图:
设有两个图G=(V,E)和G'=(V',E')。若V'<-V且E'<-E,则称图G'是图G的子图。
顶点的度
一个顶点v的度是与它相关联的边的条数。记作TD(v)。
入度与出度
在有向图,顶点的度分为入度和出度。顶点的度=该顶点的入度+出度。
入度 ID(v),出度 OD(v);TD(v)=ID(v)+OD(v);
路径。。。。
路径长度:
路径上边的数目称为路径长度
简单路径
若路径上各点v1,v2,v3...均不互相重复,则称这样的路径为简单路径
非简单路径
若路径上的各顶点存在互相重复,则称这样的路径为非简单路径
回路
若路径第一个顶点v1与最后一个顶点vm重合,则称这样的路径为回路或者环。
连通图与连通分量
在无向图中,若从顶点v1到顶点v2有路径,则称v1,v2是连通。如果图中任意一对顶点都是连通的,则称此图是连通图,非连通图的极大连通子图叫做连通分量
强连通图与强连通分量:
在有向图中,若对于每一对顶点vi和vj,都存在一条从vi到vj和vj到vi的路径,则称此图是强连通图
非强连通图的极大强连通子图叫做强连通分量
生成树:
假设一个连通图(无向图)有n个顶点和e条边,其中n-1条边和n个顶点构成一个极小连通子图(不存在回路),称改极小连通子图为此连通图的生成树。
生成森林:
对非连通图,则称由各个连通分量的生成树的集合为此非连通图的生成森林。