图论.pptVIP

图论 侯越先，yxhou@tju.edu.cn，25楼B-1223室 一般性参考： 《离散数学》，左孝凌等，上海科学技术出版社 《现代图论》英文版，Bollobas等，科学出版社 《算法导论》英文版，Cormen等，高教出版社 本ppt下载： acm.tju.edu.cn/lab/people/hyx.html 1.图的基本概念 引入：实体和实体之间的关系是现实世界的两个基本要素。图论（Graph Theory，GT）有效地刻画了实体与实体之间的关系，是研究现实世界的有力数学工具，在算法理论、人工智能、软件理论和软件工程、计算机网络等计算机科学的不同分支中均有重要应用。 例子：聚会握手问题 例子：柯尼斯堡7桥问题 1 图的基本概念 定义1：一个图G是一个序偶V(G)，E(G)，其中V(G)是一个非空的结点（vertex）集合，E(G)是边（edge）集合，且E(G)?V×V。通常，可以将图G简记为V，E。 例：{a，b，c，d } ，{a，bb，cc，dd，a} 注: 1.若边ei与结点的序偶vj,vk相关联，称该边为有向边。 2.若边ei与结点的无序偶 (vj,vk) 相关联，称该边为无向边；若无需区别边的方向，可以用(vj,vk)指代有向边或者无向边。 3. 邻接点：由一条边关联的两个结点。 4. 孤立结点：不与任何结点相邻接的点。 5. 零图：仅由孤立结点组成的图。 6. 平凡图：仅由一个孤立结点组成的图。 7. 邻接边：关联于同一结点的两条边。 1 图的基本概念 8. 环（loop）：关联于同一结点的边，也称为自回路 9. 有向图、无向图和混合图：本课程只涉及有向图和无向图 定义2：设G=V,E是一个图，则|V|称为G的阶数（order），|E|称为G的规模（size）。 定义3：在图G= V,E中，与结点v (v ∈ V)关联的边数，称为该结点的度数（degree），记作deg(v)。 1.图的基本概念 注：1 每个环在其对应的结点上增加两度。 2 记△(G)=max{deg(v)|v∈V｝ δ(G)=min{deg(v)|v∈V｝ △(G)和δ(G)分别称为图G的最大度和最小度 定理1：每个图中，结点度数的总和等于边数的两倍。 定理2：在任何图中，度数为奇数的结点必定是偶数个。 定义4：在有向图中，射入一个结点的边数称为该结点的入度，由一个结点射出的边数称为该结点的出度。结点的出度与入度的和就是该结点的度数。 1.图的基本概念 定理3：在任何有向图中，所有结点的入度之和等于出度之和。 定义5：连接同一对结点的边称为平行边（parallel edge），含有平行边的图称为多重图（multigraph）；不含有平行边和自回路的图称为简单图(simple graph)。 定义6：简单图G＝V,E中，若每一对结点间都有边相连，称该图为完全图（complete graph）。通常将有n个结点的无向完全图记作Kn。 例子 定理4：Kn的边数为n(n-1) /2 1.图的基本概念 定义7：设图G＝V,E，如果图G’＝V’,E’满足E’ ? E，V’ ? V，则G’称为G的子图（subgraph） 若G’包含了E中所有连接了V’中任意两个点的边，则G’称为V’的导出子图（induced subgraph） 若V’=V，则称G’为G的一个生成子图（spanning subgraph） 例子 1.图的基本概念 定义10：给定一个图G，由G中所有结点和所有能使G成为完全图的添加边组成的图，称为G相对于完全图的补图，简称G的补图，记作 问题：G相对于完全图的补图是否可能是G的生成子图？ 定义11：设G’=V’,E’是G=V,E的子图，若给定另外一个图G”=V”,E”使得E”=E-E’，且V”中仅包含E”的边所关联的结点。则称G”是子图G’的相对于G的补图。 注：相对于完全图的补关系是对称的；相对于任意图G的补关系则不是对称的。 例子 1. 图的基本概念 定义12：设图G=V,E 及图G’=V’,E’，如果存在双射f：V→V’ ，使得e=(vi ,vj ) 是G的一条边，当且仅当e’ = (f(vi), f(vj)) 是G’的一条边，则称G与G’同构，记作G G’。 例子 图同构的必要条件：结点数相同；边数相同；度数相同的结点数目相同。 问题：可否用代数系统之间的同构来表达图之间的同构？反之呢？ 1. 图的基本概念 定理5：设G＝V,E是简单图，