离散数学之图论.pptVIP

第1页，共25页，星期日，2025年，2月5日内容图的基本概念通路、回路、连通性欧拉图汉密尔顿图图的矩阵表示第2页，共25页，星期日，2025年，2月5日图论图论已有二百多年历史，近四五十年来发展十分迅速，成为一个新兴的数学分支计算机科学中许多概念、算法需要图论支持（如二叉树）为计算机应用建模提供数学工具图论研究图的逻辑结构与性质，不关注图的具体几何形态第3页，共25页，星期日，2025年，2月5日图的基本概念哥尼斯堡桥问题第4页，共25页，星期日，2025年，2月5日图的基本概念结点：用来表示事物边：表示事物的联系（与结点对相关）定义：图G是由非空结点集合V={v1,v2,…vn}和边集合E={e1,e2,…em}组成，其中ek用结点对表示即(vi,vj)一个图可表示为G=V，E第5页，共25页，星期日，2025年，2月5日图的基本概念图有两种类型：有向图和无向图有向图中结点对(vi,vj)有方向性，称为有向边无向图中结点对(vi,vj)没有方向性，称为无向边，也常表示为{vi,vj}第6页，共25页，星期日，2025年，2月5日图的基本概念一个有n个结点、m条边的图称为(n,m)图零图：即（n,0）图平凡图：即（1,0）图其他概念自圈(环)：(vi,vi)孤立点：不与任何结点相连（包括自己）平行边：(vi,vj)和(vi,vj)第7页，共25页，星期日，2025年，2月5日图的基本概念有向图的关联与邻接e=(vi,vj)，则结点vi,vj与e关联，vi,vj分别是e的起点和终点，结点vi,vj是邻接的无向图的关联与邻接e=(vi,vj)，则结点vi,vj与e关联，结点vi,vj是邻接的e1，e2跟同一个结点关联，则称e1，e2是邻接的第8页，共25页，星期日，2025年，2月5日图的基本概念结点的次数（度数）无向图结点的度数等于与之关联的边的条数若有自圈，该结点的度数等于与之关联的边的条数+1有向图结点的出度：以之为起点的边的条数结点的入度：以之为终点的边的条数定理：图中所有结点的度数之和必为偶数，且是边数的两倍所有结点的度数均为d的图称为d度正则图第9页，共25页，星期日，2025年，2月5日图的基本概念子图：若有图G=V,E和G’=V’,E’，若V’?V且E’?E，则称G’是G的子图真子图：E’?E生成子图：V’=V完全图完全无向图：一个(n,m)图，若为n-1度正则图，且无自圈、无平行边完全有向图：一个(n,m)图，每个结点的出度和入度均为n-1，且无自圈、无平行边第10页，共25页，星期日，2025年，2月5日图的基本概念补图有图G=V,E及其生成子图G’=V,E’，若V,E’∪E是完全图，且E’∩E=?，则称G’是G的补图G的补图的补图是其自身第11页，共25页，星期日，2025年，2月5日图的基本概念图的同构有图G=V,E和G’=V’,E’，若结点间存在一一对应关系，且这种对应关系也体现在表示边的结点对中，则G、G’同构有图G=V,E和G’=V’,E’，若存在双射f：V→V’和双射g：E→E’,使得对于任意e∈E及v1,v2∈V都有：g(e)=(f(v1),f(v2)),若e=(v1,v2)P.120,图8.10,图8.11第12页，共25页，星期日，2025年，2月5日图的基本概念多重图含平行边的图叫做多重图不含平行边且不含自圈的图叫做简单图P.122图8.13带权图（加权图）描述边的一些性质，因为边只代表结点间的连接关系；举例：物流求最短路径第13页，共25页，星期日，2025年，2月5日通路、回路、连通性先讨论有向图，若G=V,E中有一个边的序列为(v1,v2)(v2,v3)…(vk-1,vk)，即其中每条边均首尾相连，可简写为(v1,v2,v3…vk-1,vk)，这是图G中的一个通路，其中v1叫起点、vk叫终点允许出现相同的结点和边各边全不同的通路叫做简单通路各点全不同的通路叫做基本通路基本通路必是简单通路，反之不然第14页，共25页，星期日，2025年，2月5日通路、回路、连通性一条通路，若起点终点是同一个结点，则称之为回路；各边全不同的回路叫做简单回路各点全不同的回路叫做基本回路一个通路，若删除其中所有回路，则得基本通路；一个回路，若删除除自己外的所有回路，则得基本回路定理：对于有向(n,m)图中，任何基本通路长度均小于等于n-1，任何基本回路的长度小于或等于n第15页，共25页，星期日，2025年，2月5日