图
图是由顶点的有穷非空集合和顶点之间边的集合组成。
若用 G = ( V , E ) G=(V,E) G=(V,E) 表示一个图: V V V 表示顶点(数据元素)的有穷非空集合, E E E 表示两个顶点组成的边的有穷集合。
若顶点 v v v 到 w w w 之间的边是没有方向的,则称这条边为无向边,用无序偶对 ( v , w ) (v,w) (v,w) 表示。
每条边都是无向边的图称为无向图。
若顶点 v v v 到 w w w 之间的边是有方向的,则称这条边为有向边,也称为弧,用有序偶对 < v , w > <v,w> <v,w> 表示。
每条边都有向边的图称为有向图。
任意有向边 < v , w > <v,w> <v,w> 中,无箭头一端的顶点 v v v 称为弧尾,有箭头的顶点 v v v 称为弧头。
在无向图中边具有 ( v i , v j ) (v_i,v_j) (vi,vj) 关系,则称 v i v_i vi 和 v j v_j vj 互为邻接点。与顶点相关联的边的数目称为顶点的度。
在有向图中边具有 < v i , v j > <v_i,v_j> <vi,vj> 关系,则称 v i v_i vi 邻接到 v j v_j vj, v j v_j vj 邻接于 v i v_i vi。以顶点为终点的有向边的条数称为入度,以顶点为始点的有向边的条数称为出度,顶点的度等于该顶点的入度和出度之和。
由连续的边构成的顶点序列称为路径;
除路径起点和终点可以相同外,其余顶点均不相同的路径称为简单路径;
路径起点和终点相同的路径称为回路;
除路径起点和终点相同外,其余顶点均不相同的路径称为简单回路;
路径上的边或弧的数目/权值之和称为路径长度。
图的边或弧具有与它相关的数字,这种与图的边或弧相关的数叫做权。权可以表示从一个顶点到另一个顶点的距离或耗费。
边/弧带权的图称为网。
设有两个图, G = ( V , E ) G = (V,E) G=(V,E)、 G 1 = ( V 1 , E 1 ) G_1 = (V_1,E_1) G1=(V1,E1),若 V 1 ⊆ V V_1 \subseteq V V1⊆V, E 1 ⊆ E E_1 \subseteq E E1⊆E,则称 G 1 G_1 G1 是 G G G 的子图。
任意两个点都有一条边相连的无向图称为无向完全图。若无向完全图有 n n n 个顶点,则具有 n ( n − 1 ) 2 {n(n-1)}\over 2 2n(n−1) 条无向边。
任意顶点都有一条指向其他顶点的出度边和指向该顶点的入度边的有向图称为有向完全图。 若有向完全图有 n n n 个顶点,则具有 n ( n − 1 ) n(n-1) n(n−1) 条有向边。
有很少边或弧的图称为稀疏图;有较多边或弧的图称为稠密图。
若从顶点 v v v 到 u u u 有路径,则称 v v v 和 u u u 是连通的。
在无(有)向图 G = ( V , E ) G=(V,E) G=(V,E) 中,若对任何两个顶点 v v v、 u u u 都存在从 v v v 到 u u u 的路径,则称 G G G 是连通图(强连通图)。
子图 G 1 G_1 G