周晓聪_zxc_g2basic基本概念解读.ppt

人工智能 2.1 图的概念 [有向图] 设V是一个非空有限集，A是V上的二元关系。二元组 G=(V,A) 称为（有向）图，V 中元素称为顶点，A 中元素称为弧（有向边）。 关系A的关系图就是图G的图解。 [自环] A中的自反性图解为环形，称为自环。 [多重边] 在表达实际问题的图解中可能出现重复的关系定义，称为多重边。 2.1 图的概念 [简单图]不出现自环或多重边图解形状的图称为简单图。 未加特别声明时，只讨论简单图。 [完全图]任何两个顶点之间都有弧相连的图称为完全图。顶点集为V的完全图 GV=(V,V?V)。 [零图] A=? 或 |A|=0 时，称G为零图。 [平凡图] |V|=1 时，称G为平凡图。 [图的阶] |V| 称为图的阶。 2.1 图的概念 [子图] G?=(V?, A?) 是 G=(V, A) 的一个子图当且仅当: ⑴ V? ? V ⑵ A? 是 V? 上的二元关系 ⑶ A? ? A 上述定义中，若对u, v?V?，u,v?A必有u,v?A?，则称G? 是G的一个极大子图。 G是G的子图； 若G? 是G的子图，则G? 的任何子图也是G的子图； 平凡图是任何图的子图 2.1 图的概念 [生成子图] G?=(V?, A?)是 G=(V, A) 的一个子图且 V? = V ，则称 G? 是 G 的一个生成子图或支撑子图。 [导出子图] G=(V, A) ，S ? V 且 S ? ?，则 G 中以 S 为顶点集的极大子图称为 G 中由 S 导出的子图。 [补图] 设图G=(V, A)，则 ~G = (V, V?V?A) 称为 G=(V, A) 的 补图。 2.1 图的概念 [无向图] 图G=(V, A) ，当A为对称关系时，在图解上用线段替换成对出现的弧，在集合上用 E={(u,v)|u ?V, v?V，u,v?A， 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)} ● 以为vi起点的所有边构成的集合 Inc?(vi)={ak |(?vj)(vj?V ? ak= vj, vi?A)} ● 以为vi终点的所有边构成的集合 Adj+(vi)={vj | vj?V?(?ak)(ak= vi, vj?A)} Adj?(vi)={vj | vj?V?(?ak)(ak= vj, vi?A)} ● 与vi相邻的顶点构成的集合 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)} [正负度] 对G=(V, A) ， vi ? V，分别定义其正度、负度、度如下：Deg+(vi) = |Inc+(vi)| Deg?(vi) = |Inc?(vi)| Deg(vi) = Deg+(vi) + Deg?(vi) 2.2 点和边的关联关系 [无向图的度] 对G=(V, E) ，vi ? V，定义其度如下： Deg(vi) = |Inc(vi)| 对简单图显然有： Deg(vi) |V| 。 [定理2-1] 对G=(V, E) ，有： 2.2 点和边的关联关系 [定义] 对无向图G=(V, E) ，若其任一顶点的度都为r，则称G为一个r?度正则图。 [例] n 阶完全图是 n?1 度正则图。 [推论2] 3?度正则图中有偶数个顶点。 2.3 同构 图解法具有不唯一性。例： 2.3 同构 [同构] 图 G=(V,A) 和 G?=(V?,A?)，若存在一一对应映射 g : V?V?，使得对 v1, v2 ?V，?v1, v2? ?A 当且仅当 ? g(v1), g(v2)? ?A?，则称 G 和 G? 同构。记为: G ? G? 2.3 同构 [自补图] 图 G=(V,A)