离散数学-图论课件.pptVIP

图论 内容提要 起源于一些数学游戏：迷宫问题、博奕问题、马的行走路线等 在计算机科学等领域有广泛的应用 直观、简洁等特点 基本内容：图的基本概念、路径与回路、Euler图、Hamilton图、平面图、树等。 图论 抽象的图 一个图G是一个三元组〈V(G), E(G), φG〉，其中V(G)是一个非空的结点集合， E(G)是边集合， φG是从边集合到结点集合的函数。 如果把φG总是看成是结点之间的一种关联，并在E(G)中清楚地描述这种关联，那么一个图G通常简记为一个二元组序偶形式G=〈V，E〉，其中V是一个非空结点集合，E是连接结点的边的集合。 图论 图的抽象性及方向性 图的结点与连接都是一种抽象的表示，其位置与长度没有意义。 如果边是两个结点之间的有序偶，则称该边是有向边，记为〈vi, vj〉。包含有向边的图为有向图。 如果边是两个结点之间的无序偶，则称该边为无向边，记为（ vi, vj ）。包含无向边的图为无向图。 注意：既有有向边又有无向边的图称为混合图。 图论 邻接点与特殊的图 在一个图中，若两个结点由一条边关联，则称这两结点是邻接点。 不与其它任何结点相关联的结点称为孤立结点。 仅由孤立结点组成的图称为零图。 仅由一个结点组成的图称为平凡图。 任意两个结点都相邻的图称为完全图。 图论 思考 有n个结点的无向完全图Kn有多少条边？ 有向图的情形呢？ 图论 邻接边 关联于同一结点的两条不同的边则称为邻接边。 关联于同一结点的两条相同的边则称为 自回路或环。环既可以是有向的，也可以是无向的。 图论 有向图的度 设〈vi, vj〉是有向图G=〈V，E〉中的任意一条有向边， vi是该边的起始结点， vj是终止结点。 在有向图G=〈V，E〉中，以一结点为起始结点的边的个数称为该结点的出度；以一结点为终止结点的边的个数称为该结点的入度。 一结点的出度和入度之和称为该结点的度数，记作deg(v)。 图论 有向图度数的性质 在任何有向图中，所有结点的入度之和等于所有结点的出度之和，并等于图中边的个数。 孤立结点的入度和出度均为0 有向环的对应结点的入度和出度均增加1 图论 无向图的度 在无向图G=〈V，E〉中，与结点相关联的边的个数称为该结点的度数，记作deg(v)。 在无向图G=〈V，E〉中，结点度数的总和是边数的两倍。 在无向图G=〈V，E〉中，度数为奇数的结点必定是偶数个。 图论 补图 给定一个图G=〈V，E〉，构造另一个图，它的结点集合与G相同，而边的集合则为相同完全图中边集合与E的差集，称该图为原图G相对于完全图的补图，记作~G。 图论 子图 设G=〈V，E〉是一个图，如果有另一个图G‘=〈V’，E‘〉，使得V’是V的子集， E‘是E的子集，则称G‘是G的子图。 如果G的子图G‘包含G的所有结点，则称该子图为G的生成子图。 图论 差图 设G‘=〈V’，E‘〉是G=〈V，E〉的子图，若给定另外一个子图G“=〈V”，E“〉使得E“ =E- E‘ ，且V”中仅包含E“的边所关联的结点，则称G“是图G与子图G‘的差图，或称子图G‘相对于图G的补图，记作 G“ =G- G‘ 。显然，同时有G‘ =G- G“ 。 图论 图的同构 设G=〈V，E〉和G‘=〈V’，E‘〉都是图，且两个图的结点和边分别存在一一对应关系，且保持相应的关联，则称两个图同构。 两个图同构说明一个图的两种画法。 图论 路与回路 设G=〈V，E〉是图，v0, v1,…, vn ∈V，e1, e2,…, en∈E, 其中 ei= vi-1, vi , 交替序列v0e1v1e2…envn称为从v0连接到vn的路。 v0是此路的起点，vn是此路的终点。 路中边的数目是此路的长度。 当起点与终点相等时，此路称为回路。 注意：对于简单图的情形，可以仅用结点序列或边序列来表示路或回路。 图论 特殊的路与回路 迹：路中所有的边均不相同； 通路：路中所有的结点均不相同； 圈：回路中除起点与终点外的结点均不相同； 图论 路的性质 在一个具有n个结点的图中，如果从结点vj到结点vk存在一条路，则从结点vj到结点vk一定存在一条不多于n-1条边的路，即存在一条边数小于n的通路。 此结论对于有向图和无向图都适用吗？ 图论 无向图的连通性 在无向图G中，结点u和v之间如果存在一条路，则称这两个结点是连通的。 如果G中任意两个结点之间都连通，那么称图G为连通图。 图论 无向图的连通分支 如果无向图G不连通，而G1是G的子图，且G1是连通的，则称G1是G的一个连通子图。 如果连通子图G1是最大的连通子图，即增加任意一个G中的结点到G1，将使得G1成为不连通，那么称G1是G的一个连通分支。 G的连通分支的个数记为w(G)。 一个无向图G是连通的当且仅当w(G)=1。