1、图是由顶点的有穷非空集合和顶点之间边的集合组成。G(v,E),其中G表示一个图,V是图G中顶点的集合,E是图G中边的集合。
2、在图中我们将数据元素称之为顶点。在图中不允许没有顶点,若V是顶点的集合,则V是有穷非空。在图中,任意两个顶点之间都可能有关系,逻辑关系用边来表示(边集可以为空)。
3、图按照有无方向分为无向图和有向图。
无向图:由顶点和边组成(A,D)或(D,A)。
有向图:由顶点和弧构成。弧有弧头和弧尾<B,C>(由b到c)。
4、简单图:无重复的边或顶点到自身的边。
无向完全图:任意两个顶点之间都存在边,n*(n-1)/2条边。
有向完全图:任意两个顶点存在方向相反的两条弧,n*(n-1)。
5、很少的边或弧的图简称为稀疏图,反之为稠密图。
6、与图的边或弧相关的数叫做权(weight)。带权的图通常称为网(network)。
7、无向图:
(1)边的两个顶点互为邻接点(adjacent)。
(2)两顶点相连接,边依附(incident)于两顶点,或者说边与顶点相关联。
(3)顶点v的度(degree)是和v相关联的边的数目,记为TD(v)。
8、有向图:
(1)弧<v,t>,称v邻接到t,t邻接自v,弧和顶点相关联。
(2)入度:以v为头的弧的数目叫做v的入度(indegree),ID(v)。
出度:以v为尾的弧的数目叫做v的出度(outdegree),OD(v)。
(3)TD(v)= ID(v)+OD(v)。
9、
(1)路径的长度是路径上的边或弧的数目。
(2)第一个顶点到最后一个顶点相同的路径称为回路或环(cycle)。
(3)序列中顶点不重复出现的路径简称为简单路径。
(4)除了第一个顶点和最后一个顶点之外,其余顶点不重复出现的回路,称为简单回路或简单环。
9、无向图中,v到t有路径,则为连通的,任意两个顶点都是连通的,那么称为连通图。
10、无向图中,极大连通子图称为连通分量。强调:是子图,要连通,含有极大顶点数,有极大顶点数的连通子图包含所有边。
11、在有向图中,每一对顶点都存在路径,则称为是强连通图,它的极大强连通子图称做有向图的强连通分量。
12、
无向图中连通且n个顶点n-1条边叫生成树。
有向图中一顶点的入度为0,其余顶点的入度为1的叫有向树。
一个有向图由若干棵有向树构成生成森林。
13、邻接矩阵:用两个数组来表示图。一个一维数组存储图中顶点信息,一个二维数组(称为邻接矩阵)存储图中的边或弧的信息。
14、
无向图:关于对角线对称,边若存在就为1,0代表不存在到自身的边。
有向图:不对称,横向为出度,纵向为入度,存在即用权值代表,不存在就用无限符号代表,0代表不存在到自身的边。
15、邻接表:数组与链表相结合的存储方法。
16、邻接表表示出度,逆邻接表表示入度。可再加上权值。