ch9--图.ppt

第9章 图 9.1 图的定义和基本概念 9.2 图的存储结构 4.3 链队列 图是一种直观、简洁、优美的数学工具。 这里所谓的“图”不是指图形、图像和数码照片。 图仅有两个构成要件顶点（vertex）和边（edge）。 但却能描述和表达自然界和人类社会生活中许多复杂的事物和关系。 例如： 人类一个群体中的“同学关系”和“认识关系”，计算机网络，web，城市交通网络，电力供应网络，城市自来水管网，神经网络等等，凡此种种都可以用图的形式来进行抽象表示。 数据结构中用它来描述和表示多对多的复杂数据结构。目前图已经被广泛应用到语言学、逻辑学、物理、化学、通信、计算机科学、人工智能、数学的其它分支等众多学科和领域。 图结构相比前面介绍的其它数据结构更为复杂，线性结构中，结点之间是线性关系，一个结点最多只有一个直接前驱和一个直接后继；树型结构呈现明显的层次关系，每个结点最多只有一个双亲结点，但可以有多个孩子结点；而在图结构中，任意两个顶点之间都可能发生邻接关系，每个顶点都可能有多个直接前驱和多个直接后继。 本章先介绍图的定义和基本概念，然后讨论图结构在计算机中的两种最常用的存储形式。遍历算法是图结构最基本的运算，有两种遍历图的运算，即深度优先搜索遍历和广度优先搜索遍历，有关图结构上的许多运算都可借助于这两个运算的变化来实现。不仅如此，这也是软件设计中常用的经典的运算，许多其它结构上的运算也可借助这两个运算的思想来实现。 在其后所介绍的内容是图结构的应用，也就是将图应用于某一具体问题的描述及其求解实现，通过对这些问题的背景、模型抽象、求解方法的实现等的理解，可进一步掌握图结构运用于实际问题的实现，从而为应用于实际问题奠定基础。 9.1.1 图的定义 图（Graph）G由两部分构成：顶点集合V和边（弧）的集合E， 记作 G =（V，E）。其中： 顶点（vertex）用来表示和描述各种对象。数据结构中用顶点表示数据元素，相当于前面各章中所介绍的元素、结点等，在图中都表示为一个顶点。 例如：一个图的顶点集合V=｛v1, v2, v3, v4｝。 边（edge）是顶点集V中的顶点对（偶对），表示两个顶点之间的关系。边可以加方向区分，这样边就可分为无向边和有向边（弧）。 无向边，简称边，由两个顶点的无序偶构成，用“（顶点1，顶点2）”形式表示，两个顶点位置可以互换。例：边e1=(v1, v2)，表示由顶点v1 和v2构成一条边e1，交换顶点v1 和v2的位置，即变为(v2, v1)，仍表示同一条边e1。 弧（arc），或有向边，由两个顶点的有序偶构成，用“顶点1，顶点2”形式表示，顶点位置不能互换，交换后将表示另一条弧。例：弧e2=v1, v3，表示由顶点v1 和v3构成一条弧e2。如果交互顶点v1 和v3的位置，即变为v3,v1，则表示另外一条弧。 有些教材规定无向边叫边，有向边叫弧，请读者阅读时注意。其中弧表示单向关系，而边表示相互关系，用离散数学中的术语来说，则分别表示为非对称关系和对称关系。如“A和B是同学”是相互关系，而“A认识B”则是单向关系，因为B不一定认识A。 图的图形化表示 上面定义的图（graph）是一种数学工具，而不是指图像或图形，这个工具只有顶点和边两种要素，但它却有着强大的形式化表达能力，在科学和工程上有许多的实际应用，是一种“简单、直观、优美、强大”的数学工具。图的图形化表示是指用图形方式来表示图的顶点和边。就是用图形上画的一个点，再加上顶点的名称表示图中的一个顶点；用图形上画出的连接两个顶点的连线表示图中的一条边；如果是弧（有向边）就在连接顶点的线条上加箭头表示。 【例6.1】 已知图G1=(V1, E1)，其中：V1={v1, v2, v3, v4, v5}，E1={(v1,v2), (v1,v4), (v2,v3), (v3,v4), (v4,v5)}，画出G1的图形表示。 【解】 从给出的条件可知图有5个顶点，5条边。我们可以先画出5个顶点，再根据边集，在每条边关联的两个顶点之间画线条连接即可得到对应图形表示，如下图所示。 【例6.2】 已知图G2=(V2,E2)，其中：V2={v1, v2, v3, v4}，E2={v1,v2, v2,v3, v3, v1, v3,v4, v4,v1}，画出图G2的图形表示。 【解】 由给出的条件可知G2有4个顶点，5条边，且每条边都是弧（有向边）。与上题一样先画出4个顶点，再根据边集，在每条边关联的两个顶点之间画线条连接，且给线条加上箭头表示边的方向，如下图所示。 我们在后面的介绍中经常会直接给出图的图形表示，以此表示一个图，而不再给出顶点集合和边的集合。 9.1.2 图的基本概念和术语 1. 无向图和有向图 无向图：每条边都是无向边。 有向图：每条边都是弧（有