离散数学导论(盘) 教学课件 作者 王元元 张桂芸 第八章演示文稿-支持高清浏览.pptxVIP

消 解 原 理*第第 三八章章图

图的基本知识路径、回路及连通性欧拉图与哈密顿图图的矩阵表示第八章图

第八章 图图的基本知识图的定义及有关术语结点的度图运算及图同构

第八章 图路径、回路及连通性路径与回路连通性连通度

第八章 图8. 3 欧拉图与哈密顿图8.3.1 欧拉图与欧拉路径8.3.2 哈密顿图及哈密顿通路

第八章 图图的矩阵表示关联矩阵邻接矩阵

第八章 图图的基本知识图的定义及有关术语定义8.1图（graph）G由三个部分所组成：非空集合V(G)，称为图G的结点集，其成员称为结点或顶点（nodesorvertices集合E(G)，称为图G的边集，其成员称为边(edges)。函数ΨG：E(G)→(V(G)，V(G))，称为边与顶点的关联映射（associatvemapping）

第八章 图图的基本知识图的定义及有关术语定义8.2设图G为V，E，Ψ。（l）当V和E为有限集时，称G为有限图，否则称G为无限图。本书只讨论有限图。（2）当ΨG为单射时，称G为单图；当ΨG为非单射时，称G为重图，又称满足Ψ(e1)=Ψ(e2)的不同边e1，e2，为重边,或平行边。

第八章 图图的基本知识图的定义及有关术语定义8.2设图G为V，E，Ψ。当Ψ(e)＝(v,v)（或v,v）时，称e为环（lo无环和重边的无向单图称为简单图。当G为有限简单图时，也常用（n，m）表示图G，其中n=V，m=EΨ为双射的有向图称为有向完全图；对每一(uv)，uv，均有e使Ψ(e)＝(u,v)的简单图称为无向图，简称完全图，n个顶点的完全图常记作Kn。

第八章 图图的基本知识图的定义及有关术语定义8.2设图G为V，E，Ψ。在单图G中，Ψ(e)＝(u,v)（或u，v）时，也用(u,v)(或u,v)表示边e，这时称u，v邻接的，u,v是e的端点（称u为e的起点，v为e的终点）;也称e关联结点u,v。不与任何边关联的结点称为孤立结点，仅由孤立结点构成的图（E= ）称为零图。当给G赋予映射f：V→W，或g：E→W，W为任意集合，常用实数集或其子集,即每个结点或边都被赋予一个值，此时称G为赋权图，常用V,E,Ψ,f或V,E,Ψ,g或V,E,Ψ表示之。对于u V，常称f(u)为结点u的权；对于e E，常称g(e)为边e的权。

第八章 图8.1 图的基本知识8.1.2 结点的度定义8.3在任何图中，结点v的度（degree）d(v)是v所关联边的数目。而在有向图中，结点v的出度（out-degree）d+(v)是v作为有向边起点的数目，v的入度（in-degree）d-(v)是v作为有向边终点的数目这时结点v的度是它的出度与入度的和；结点v的环使其度增加2。

第八章 图8.1 图的基本知识8.1.2 结点的度√定理8.1对于任何图G，设其边数为m,顶点集为{v1，v2，…，vn}，那么(8-1)√定理8.2 图的奇数度顶点必为偶数个。

第八章 图8.1 图的基本知识8.1.2 结点的度√定理8.3自然数序列（a1,a2,…,an）称为一个度序列如果它是一个图的顶点的度的序列。（a1,a2,…为一度序列，当且仅当为一偶数。

第八章 图8.1 图的基本知识8.1.2 结点的度定义8.4一度的顶点称为悬挂点（pendantnodes）定义8.5各顶点的度均相同的图称为正则图（regulargraph）。各顶点度均为k的正则图称为k-正则图。

第八章 图8.1 图的基本知识8.1.3 图运算及图同构定义8.6?设图G1＝V1，E1，Ψ1，G2＝V2，E2，Ψ2，称G1为G2的子图（subgraph），如果V1V2，E1E2，Ψ1 Ψ2。称G1为G2的真子图，如果G1是G2的子图，且G1 G2。称G1为G2的生成子图（spanningsubgraph），如果G1是G2的子图，且V1=V2。

第八章 图8.1 图的基本知识8.1.3 图运算及图同构定义8.7设图G1＝V1，E1，Ψ1，G2＝V2，E2，Ψ2，且Ψ1与Ψ2是相容的，即对任一x，若Ψ1(x)=y1,Ψ2(x)=y2，则y1=y2，从而Ψ1Ψ2为一函数。其中V3=V1 V2，E3=E1（1）G1与G2的并，记为G1 G2＝G3＝V3，E3，Ψ3E2，Ψ3=Ψ1 Ψ2。（2）G1与G2的交,记为G1G2=G3=V3，E3，Ψ3，其中V3=V1 V2，E3=E1 E2，Ψ3=Ψ1 Ψ2。

第八章 图8.1 图的基本知识8.1.3 图运算及图同构定义8.7（3）若G1为G2的子图，则可定义G2对G1的差，记为G2－G1＝G3＝V3，E3，Ψ3，其中E3=E2–E1，V3＝V2，Ψ3