乔海燕-qhy-graph1图的概念.pptVIP

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