图论第2章 基本概念.pptVIP

人工智能 2.1 图的概念 [有向图] 设V是一个非空有限集，A 是 V 上的二元关系。二元组 G=(V, A) 称为（有向）图，V 中元素称为顶点，A 中元素称为弧（有向边）。 关系 A 的关系图就是图 G 的图解。 [自环] A 中的自反性图解为环形，称为自环。 [多重边] 在表达实际问题的图解中可能出现重复的关系定义，称为多重边。 2.1 图的概念 [简单图]不出现自环或多重边图解形状的图称为简单图. 未加特别声明时，只讨论简单图。 [完全图]任何两个顶点之间都有弧相连的图称为完全图。顶点集为V的完全图 GV=(V, V?V)。 [简单完全图]顶点集为V的完全图 GV=(V, V?V-IV)。 [零图] A=? 或 |A|=0 时，称 G 为零图。 [平凡图] |V|=1 时，称 G 为平凡图。 [图的阶] |V| 称为图的阶。 2.1 图的概念 [子图] G?=(V?, A?) 是 G=(V, A) 的一个子图当且仅当: ⑴ V? ? V ⑵ A? 是 V? 上的二元关系 ⑶ A? ? A G 是 G 的一个子图； 若 G? 是 G 的子图，则 G? 的任何子图也是 G 的子图； 平凡图是任何图的子图。（零图无类似结论） 2.1 图的概念 [生成子图] G?=(V?, A?)是 G=(V, A) 的一个子图且 V? = V ，则称 G? 是 G 的一个生成子图或支撑子图。 [极大子图] G?=(V?, A?)是 G=(V, A) 的一个子图，若对 u, v?V?, u,v?A 必有 u,v?A?，则称 G? 是 G 的一个极大子图。 [导出子图] G=(V, A) ，S ? V 且 S ? ?，则 G 中以 S 为顶点集的极大子图称为 G 中由 S 导出的子图。 [补图] 设图 G=(V, A)，则 ~G = (V, V?V? IV? A) 称为 G=(V, A) 的补图。 2.1 图的概念 [图的并] 设图 G1=(V1, A1)，G2=(V2, A2)，令 G = (V, A)，其中V= V1?V2，A= A1?A2 。G 称为 G1和 G2的并图，记作 G= G1?G2 。 [图的交] 设图 G1=(V1, A1)，G2=(V2, A2)，令 G = (V, A)，其中 V= V1?V2，A= A1?A2 。G 称为 G1和 G2 的交图，记作 G= G1?G2 。 [图的对称差] 设图 G1=(V1, A1)，G2=(V2, A2)，令 G = (V, A)，其中 V= V1?V2，A= A1?A2 。G 称为 G1和G2 的对称差，记作 G= G1? G2 。 2.1 图的概念 [无向图] 图 G=(V, A) ，当 A 为对称关系时，在图解上用线段替换成对出现的弧，在集合上用 E={(u,v)|u, v?V，u,v,v, u ?A} 替换 A，得到无向图的形式，记为 G=(V,E)。 无向图的各种概念类似于有向图的相关定义。 n 阶无向完全图记作 Kn ，其边数 = n(n?1)/2。 图解中既有无向边，又有有向边的图，称为混合图。混合图可以化为有向图求解。 2.2 点和边的关联关系 [关联集与邻接集] 有向图 G=(V, A) , vi ?V 的正关联集、负关联集、正邻接集和负邻接集分别定义为： Inc+(vi)={ak |(?vj)(vj?V ? ak= vi, vj?A)} Inc?(vi)={ak |(?vj)(vj?V ? ak= vj, vi?A)} Adj+(vi)={vj |vj?V?(?ak)(ak=vi, vj?A)} (外邻接集) Adj?(vi)={vj |vj?V?(?ak)(ak=vj, vi?A)} (内邻接集) 2.2 点和边的关联关系 无向图 G=(V, E) , vi ?V 的关联集、邻接集分别定义为： Inc(vi)={ek |(?vj)(vj?V ? ek=(vi, vj)?E)} Adj(vi)={vj | vj?V?(?ek)(ek=(vi, vj)?E)} 2.2 点和边的关联关系 [正负度] 有向图 G=(V, A) ，vi ? V 的正度、负度、度分别定义为：Deg+(vi) = |Inc+(vi)| Deg?(vi) = |Inc?(vi)| Deg(vi) =