图
知识框架
图的基本概念
有向图
若E是有向边(也称为弧)的有限集合时,则图G为有向图。弧是顶点的有序对,记为<v, w>,其中v、w是顶点,v称为弧尾,w称为弧头,称为从顶点v到顶点w的弧,也称v邻接到w,或w邻接自v。
如上有向图可表示为:
G
1
=
(
V
1
,
E
1
)
G_1 = (V_1, E_1)
G1=(V1,E1)
V
1
=
V_1=
V1= {1, 2, 3}
E
1
=
E_1=
E1= {<1, 2>, <2, 1>, <2, 3>}
无向图
若E是无向边的有限集合时,则图G是无向图。边是顶点的无序对,记作(v,w)或者(w, v)。表示方法与有向图类似。
简单图
一个图G如果满足:①不存在重复边;②不存在顶点到自身的边,则称图G为简单图。
多重图
若图G中某两个节点之间的边数多于一条,又允许顶点通过同一条边和自己关联,则图G为多重图。多重图的定义和简单图是相对的。
完全图(也称简单完全图)
在无向图中,如果任意两个顶点之间都存在边,则称该图为无向完全图。含有n个顶点的无向完全图有(n(n-1))/2 条边,在有向图中,如果任意两个顶点之间都存在方向相反的两条弧,则称该图为有向完全图。含有n个顶点的有向完全图有n(n-1)条有向边。
子图
设有两个图 G = ( V , E ) G=(V, E) G=(V,E)和 G ′ = ( V ′ , E ′ ) G'=(V', E') G′=(V′,E′),若V’是V的子集,且E’是E的子集,则称G’是G的子图。若满足V(G’)=V(G)的子图G’,则为G的生成子图。
连通、连通图和连通分量
在无向图中,若从顶点v到顶点w有路径存在,则称v和w是连通的。若图G中任意两个顶点都是连通的,则称此图为连通图。无向图中的极大连通子图称为连通分量。如果一个图有n个顶点,并且有小于n-1条边,则此图必是非连通图。
强连通图、强连通分量
在有向图中,若从顶点V到顶点W和从顶点W到顶点V之间都有路径,则称这两个顶点是强连通的。若图中任意一对顶点都是强连通的,则称此图为强连通图。有向图中的极大强连通子图称为有向图的强连通分量。
生成树、生成森林
连通图的生成树是包含图中全部顶点的一个极小连通子图,若图中顶点数为n,则它的生成树中含有n-1条边。对于生成树而言,若砍去它的一条边 ,则会变成非连通图,若加上一条边则会形成一个回路。在非连通图中,连通分量的生成树构成了非连通图的生成森林。
顶点的度、入度和出度
图中每个顶点的度定义为以该顶点为一个端点的边的数目。
对于无向图,顶点V的度是指依附于该顶点的边的条数,记为TD(v)。
在具有n个顶点e条边的无向图中,度为2e。即无向图的全部顶点的度之和等于边数的两倍。
对于有向图,顶点v的度分为入度和出度,入度是以顶点v为终点的有向边的数目,记作ID(v);而出度是以顶点v为起点的有向边的数目,记作OD(v)。顶点v的度等于其入度和出度之和,即TD(v)=ID(v)+OD(v)。在具有n个顶点e条边的有向图中,有向图的全部顶点的入度之和与出度之和相等并且等于边数。
边的权和网
在一个图中,每条边都可以标上具有某种含义的数值。该数值称为该边的权值。这种边上带有权值的图称为带权图,也称作网。
稠密图、稀疏图
边数很少的图称为稀疏图,反之,称为稠密图。一般当图G满足 ∣ E ∣ < ∣ V ∣ ∗ l o g ∣ V ∣ |E|<|V|*log|V| ∣E∣<∣V∣∗log∣V∣时,可以将G看成是稀疏图。
路径、路径长度和回路
顶点 V p V_p Vp到顶点 V q V_q Vq之间的一条路径是指顶点序列 V p , V i 1 , V i 2 , . . . , V i m , V q 。 V_p, V_{i1}, V_{i2}, ..., V_{im},V_q。 Vp,Vi1,Vi2,...,Vim,Vq。路径上边的数目称为路径长度。第一个顶点和最后一个顶点相同的路径称为回路或环。如果一个图有n个顶点,并且有大于n-1条边,则此图一定有环。
简单路径、简单回路
在路径序列中,顶点不重复出现的路径称为简单路径。除第一个顶点和最后一个顶点之外,其余顶点不重复出现的回路称为简单回路。
距离
从顶点u出发到顶点v的最短路径若存在,从此路径的长度称作从u到v的距离。若从u到v根本不存在路径,则记该距离为无穷。
有向树
有一个顶点的入度为0,其余顶点的入度均为1的有向图称为有向树。