图及其相关的定义
图( G r a p h Graph Graph):是由顶点的有穷非空集合和顶点之间边的集合组成,通常表示为 G ( V , E ) G(V,E) G(V,E),其中 G G G表示图, V V V表示顶点的集合, E E E表示图 G G G中边的集合。
Note:对于 G ( V , E ) G(V,E) G(V,E),强调 V V V有穷非空; V V V可以为空。
无向边:若顶点 v i v_i vi与 v j v_j vj之间的边没有方向,则称这条边为无向边 ( E d g e ) (Edge) (Edge),用无序偶对 ( v i , v j ) (v_i,v_j) (vi,vj)或 ( v j , v i ) (v_j,v_i) (vj,vi)来表示。
无向图 ( U n d i r e c t e d g r a p h s ) (Undirected\ graphs) (Undirected graphs):若图中任意两个顶点之间的边都是无向边,则称为无向图。在无向图中,如果任意两个顶点之间都存在边,则称为无向完全图。
有向边:若顶点 v i v_i vi与 v j v_j vj之间的边有方向,则称这条边为有向边 ( A r c ) (Arc) (Arc),用有序偶 < v i , v j > <v_i,v_j> <vi,vj>来表示。 v i v_i vi称为弧尾 ( T a i l ) (Tail) (Tail), v j v_j vj称为弧头 ( H e a d ) (Head) (Head)。
有向图 ( D i r e c t e d g r a p h s ) (Directed\ graphs) (Directed graphs):若图中任意两个顶点之间的边都是有向边,则称为有向图。在有向图中,如果任意两个顶点之间都存在方向互为相反的两条弧,则称该图为有向完全图。
简单图:在图中,若不存在顶点到其自身的边,且同一条边不重复出现。
稀疏图与稠密图:有很少条边或弧的图称之为稀疏图,反之为稠密图。
权 ( W e i g h t ) (Weight) (Weight):有些图的边或弧具有与它相关的数字,这些数叫做权。
网 ( N e t w o r k ) (Network) (Network):带权的图通常称作网。
子图 ( S u b g r a p h ) (Subgraph) (Subgraph):对于图 G ( V , E ) G(V,E) G(V,E)与图 G ′ ( V ′ , E ′ ) G'(V',E') G′(V′,E′),如果 V ′ ⊆ V V'\subseteq V V′⊆V , E ′ ⊆ E E'\subseteq E E′⊆E ,则称G’为G的子图。
邻接点 ( A d j a c e n t ) (Adjacent) (Adjacent):对于无向图 G ( V , E ) G(V,E) G