八图论原理缩.ppt

图论 图论 图论是用图的方法研究客观世界的一门科学. 用“结点”表示事物, 用“边”表示事物之间联系, 而由结点与边所构成的图表示所研究的客观对象. 图论研究图的逻辑结构与性质，是研究图的抽象性质的一种数学. 图论 图论在语言学、逻辑学、物理学、化学、电气工程、计算机网络、计算机科学及数学的其他分支中有广泛应用. 在计算机科学中，图论在形式语言、数据结构、分布式系统、操作系统及数据库研究中均有很重要的应用. 本篇结构 第八章 介绍图论一般原理 第九章 介绍一些常用的图如平面图、两步图以及树等 第八章 图论原理 本章主要介绍图论的基本原理，包括图论中的基本概念、基本方法以及图论的矩阵计算等内容. 8.1.1 图 起源： 历史上图论曾经被好多位数学家各自独立地建立过。关于图论的文字记载最早出现在欧拉1736年的论着中，他所考虑的原始问题有很强的实际背景。 　　 8.1.1 图 著名的柯尼斯堡七桥问题。在柯尼斯堡的普莱格尔河上有七座桥将河中的岛及岛与河岸联结起来，如下图所示，A、B、C，D表示陆地。 问题是要从这四块陆地中任何一块开始，通过每一座桥正好一次，再回到起点。 8.1.1 图 欧拉在1736年解决了这个问题，他用抽象分析法将这个问题化为第一个图论问题：即把每一块陆地用一个点来代替，将每一座桥用联接相应的两个点的一条线来代替，从而相当于得到一个「图」。欧拉证明了这个问题没有解，并且推广了这个问题，给出了对於一个给定的图可以某种方式走遍的判定法则。这项工作使欧拉成为图论〔及拓扑学〕的创始人。 8.1.2 图的基本概念 定义 8.1 图G是由非空结点集合V={v1,v2,…,vn}以及边集合E={l1,l2,…,lm}所组成, 其中每条边可用一个节点对表示, 亦即 li = (vi1,vi2), i = 1,2,…,m 这样一个图G可用G = V,E表示 8.1.2 图的基本概念 例8.1 有4个城市: v1,v2,v3,v4, 其中v1与v2间; v1与v4间; v2与v3间有直达长话线路相连, 将此试试用图的方式表示 解: 图中的结点集为:V={v1,v2,v3,v4} 边集为E={l1,l2,l3} l1={v1,v2}, l2={v1,v4}, l3={v2,v3}, -------无序结点对 这个图可以用G=V,E表示 8.1.2 图的基本概念 例8.2 有4个程序p1,p2,p3,p4, 它们间有一些调用关系：p1调用p2；p2能调用p3；p1能调用p4, 试将此事实用图的方式表示. 解： 图中的结点集为:V={p1,p2,p3,p4} 边集为E={c1,c2,c3} c1={p1,p2}, c2={p2,p3}, c3={p1,p4}, -----有序结点对 这个图可以用G=V,E表示 8.1.2 图的基本概念 一般，用带有箭头的边表示有序结点对，而用不带箭头的边表示无序结点对. 8.1.2 图的基本概念 有序结点对所对应的边称为有向边，无序结点对所对应的边称为无向边 有向图：图中的所有边均为有向边 无向图：图中的所有边均为无向边 8.1.2 图的基本概念 有向边lk={vi,vj}中, vi称为lk的起点, vj称为lk的终点 不管lk是有向还是无向, 均称lk与vi和vj相关联, 而vi和vj称为邻接的. 若干条边关联于同一个结点, 则这些边称为邻接的. 8.1.2 图的基本概念 一条边若与两个相同的结点相关联, 则称为环, 即lk={vi,vi} 不与任何结点相邻的结点称为孤立点 8.1.2 图的基本概念 图G=V,E与G’=V’,E’间如果有V’?V, E?E’, 则称G’是G的子图. 如果有V’?V, E?E’, 则称G’是G的真子图. 如果有V’=V, E?E’, 则称G’是G的生成子图. 8.1.2 图的基本概念 (n,m)图: 一个具有n个结点、m条边所组成的图 零图: 由一些孤立点组成的图, 即(n,0)图 平凡图: 由一个孤立结点组成的图, 即(1,0)图 完全图: 一个(n,m)图G如果其n个结点(n≥2)中的每一个均与其中n-1个结点邻接, 可记为Kn. m=n(n-1)/2 8.1.2 图的基本概念 8.1.2 图的基本概念 补图： 设有一图G=(V,E), 对图G’=(V,E’), 如果有 是完全图且E∩E’= ? 则称G’是G的补图. 一个图与其补图是互补的 一个图的补图的补图还是自己 8.1.3 图的同构 定义8.2 设有图G=V,E与G’=V’,E’, 如果它们的结点间存在一一对应关系, 而且这种对应关系也反映在表示边的结点对中(如果是有向边, 则对应的结点对还保持相同的顺序), 则称此