图的定义
图(Graph)G由两个集合V(vertex)和E(Edge)组成,记为G=(V,E),其中V是顶点的有限集合,记为V(G),E是连接V中两个不同顶点(顶点对)的边的有限集合,记为E(G)。
就是图是由很多边很多顶点构成的。
无向图及有向图
在图G中,如果代表边的顶点对是无序的,则称G为无向图,无向图中代表边的无序顶点对通常用圆括号括起来,用以表示一条无向边。
如果表示边的顶点对是有序的,则称G为有向图,在有向图中代表边的顶点对通常用尖括号括起来 。
就是顶点a与顶点b有方向的连接叫有向图,记作<a,b>;没有方向的连接叫无向图,记作(a,b)。
端点和邻接点
在一个无向图中,若存在一条边(i,j),则称顶点i和顶点j为此边的两个端点,并称它们互为邻接点。
在一个有向图中,若存在一条边<i,j>,则称此边是顶点i的一条出边,同时也是顶点j的一条入边;称顶点i和顶点j分别为此边的起始端点(简称为起点)和终止端点(简称终点);称顶点i 和顶点j 互为邻接点。
就是一条边的两个端点成为邻接点。
顶点的度、入度和出度
在无向图中,顶点所具有的边的数目称为该顶点的度。
在有向图中,以顶点i为终点的入边的数目,称为该顶点的入度。以顶点i为始点的出边的数目,称为该顶点的出度。一个顶点的入度与出度的和为该顶点的度。
比如(a)中的1号端点有度为3;比如(b)中的1号入度1,出度2。
若一个图中有n个顶点和e条边,每个顶点的度为di(1≤i≤n),则有:
就是 所有顶点的度之和 等于 图的边*2(握手定理)。
例.一个无向连通图中有16条边,所有顶点的度均小于5,度为4的顶点有3个,度为3的顶点有4个,度为2的顶点有2个,则该图有 个顶点。
A.10 B.11 C.12 D.13
解:设该图有n个顶点,图中度为i的顶点数为ni(0≤i≤4),显然n0=0,n=3+4+2+n1+n0=9+n1,而度之和=4×3+3×4+2×2+n1=28+n1,而度之和=2e=32,所以有28+n1=32,得n1=4,n=9+n1=13。本题答案为D。
完全图
若无向图中的每两个顶点之间都存在着一条边,有向图中的每两个顶点之间都存在着方向相反的两条边,则称此图为完全图。
显然,完全无向图包含有n(n+1)/2条边,完全有向图包含有n(n-1)条边。例如,图(a)所示的图是一个具有4个顶点的完全无向图,共有6条边。图(b)所示的图是一个具有4个顶点的完全有向图,共有12条边。
稠密图、稀疏图
当一个图接近完全图时,则称为稠密图。相反,当一个图含有较少的边数(即当e<<n(n-1))时,则称为稀疏图。
子图
设有两个图G=(V,E)和G’=(V’,E’),若V’是V的子集,即V’ÍV,且E’是E的子集,即E’ÍE,则称G’是G的子图。例如图(b)是图(a)的子图,而图(c)不是图(a)的子图。
注意:G中V的子集和E的子集并不一定构成G的子图。
路径和路径长度
在一个图G=(V,E)中,从顶点i到顶点j的一条路径是一个顶点序列(i,i1,i2,…,im,j),若此图G是无向图,则边(i,i1),(i1,i2),…,(im-1,im),(im,j)属于E(G);若此图是有向图,则<i,i1>,<i1,i2>,…,<im-1,im>,<im,j>属于E(G)。
无向图用圆括号,有向图用尖括号。
路径长度是指一条路径上经过的边的数目。若一条路径上除开始点和结束点可以相同外,其余顶点均不相同,则称此路径为简单路径。例如,有图中,(0,2,1)就是一条简单路径,其长度为2。
回路或环
若一条路径上的开始点与结束点为同一个顶点,则此路径被称为回路或环。开始点与结束点相同的简单路径被称为简单回路或简单环。
例如,下图中,(0,2,1,0)就是一条简单回路,其长度为3。
连通、连通图和连通分量
在无向图G中,若从顶点i到顶点j有路径,则称顶点i和j是连通的。
若图G中任意两个顶点都连通,则称G为连通图,否则称为非连通图。
无向图G中的极大连通子图称为G的连通分量。显然,任何连通图的连通分量只有一个,即本身,而非连通图有多个连通分量。
如上图(a)为连通图,(b)为非连通图。
强连通图和强连通分量
在有向图G中,若从顶点i到顶点j有路径,则称从顶点i到j是连通的。
若图G中的任意两个顶点i和j都连通,即从顶点i到j和从顶点j到i都存在路径,则称图G是强连通图。
有向图G中的极大强连通子图称为G的强连通分量。显然,强连通图只有一个强连通分量,即本身,非强连通图有多个强连通分量。
如上图(a)为强连通,(b)为非连通图。
权和网
图中每一条边都可以附有一个对应的数值,这种与边相关的数值称为权。权可以表示从一个顶点到另一个顶点的距离或花费的代价。边上带有权的图称为带权图,也称作网。
例.有n个顶点的有向强连通图最多需要多少条边?最少需要多少条边?
解:有n个顶点的有向强连通图最多有n(n-1)条边(构成一个有向完全图的情况);最少有n条边(n个顶点依次首尾相接构成一个环的情况)。