[工学]图论.ppt

总体介绍 基本概念 图在计算机中的表示 图的遍历 最小生成树问题 最短路径问题 基本概念 图的表示方法：G=(V, E), 即顶点集和边集组成的二元组，其中边集是它描述了顶点间的相互关系。图相关的知识可以用集合论的术语来描述。 无向图的数学表示 点: 用整数0, 1, 2, …, V-1表示（或者字母等） 边: 用无序数对(u, v)表示, 或者u-v或者uv 两种特殊的边 自环（self-loops）：两端是同一个顶点的边 重边（parallel edges）：两条边的两个顶点都相同 简单图 没有自环和重边的图 无特殊说明，后面讨论的都是简单图 一些术语 其他名称 结点=顶点: vertex, node 边=弧: edge, arc, link 对于边e=(u, v) u和v邻接(adjacent) e和u、v关联(incident) 点的度数(degree)是与它关联的边的数目 子图 子图(subgraph): 边的子集和相关联的点集 导出子图(induced graph): 点的子集和相关联的边集 图形表示图 已知图的点集为0-12，边集如下，怎样用图形来表示这个图？ 图形表达方式很多，但是这些图都是同构的。从图形的角度来说具体表现形式意义不大。 图的同构 同构(isomorphism)指的是一个保持结构的双射(bijection)。 同构的两个图的拓扑结构相同，它们可以表达同一个图。 下列图是否同构？ 路径和圈 一条路径(path)是一个结点序列, 路上的相邻结点在图上是邻接的. 如果结点和边都不重复出现, 则称为简单路径(simple path). 如果除了起点和终点相同外没有重复顶点和边, 称为圈(cycle). 不相交路(disjoint path)表示没有除了起点和终点没有公共点的路. 具体可分为： 任意点都不相同的叫严格不相交路(vertex-disjoint path) 同理定义边不相交路(edge-disjoint path) 连通性 如果任意两点都有路径, 则称图是连通(connected)的, 否则称图是非连通的. 非连通图有多个连通分量(connected component, cc), 每个连通分量是一个极大连通子图(maximal connected subgraph)。极大连通子图任意加一个结点以后都将成为非连通图。 树和生成树 树（Tree）是一种特殊的图：连通且没有圈。 一个图G是树当且仅当以下任意一个条件成立： G有V-1条边, 无圈 G有V-1条边, 连通 任意两点只有唯一的简单路径 G连通, 但任意删除一条边后不连通 一个图G的生成树（Spanning Tree）: G的子图 且是一个包含所有顶点的树 完全图和补图 每一个点对间都存在一条边的图称为完全图。 完全图又称为团（Clique）。 对图中任意两点，若邻接则改为非邻接, 若非邻接则改为邻接, 得到的图为原图的补图。 原图和补图的并就是完全图。 一些图列 二分图 如果能将图中所有顶点分成两部分, 每部分内部不存在边，这样的图叫做二分图。 二分图没有奇圈(odd-cycle), 即包含奇数条边的圈。 如何判断一个图是否为二分图？（线性时间） 相交图和区间图 相交图: 把物体看作顶点, 相交关系看为边。 区间图(interval graph)：一种特殊的交图，每个物体都是x轴上的一个区间如下图c。 是否同构？ 有向图 在有向图中，边(u,v)是有序数对. 边（u，v）和边（v，u）表示的是两条不同边 有时用弧(arc)专指有向边 在有向边(u, v)中, u和v分别叫 源(source)和目的(destination) 尾(tail)和头(head), 不过和数据结构有冲突 有向无环图(directed acyclic graph, DAG)不是树 图的基本表示方法 邻接矩阵(adjacency-matrix) 邻接表(adjacency-list) 邻接矩阵 A[i,j]=0表示(u,v)不邻接, 1表示邻接 邻接表 每个结点的邻居形成一个链表 图的遍历 图的遍历（traversing graph）是指从图中的某一顶点出发，对图中的所有顶点访问一次。图的遍历是图的一种基本操作，在搜索方面应用较大。 因为图在计算机中表示比较复杂，快速遍历图中所有点不是直观的。 二叉树 树是一种特殊的图，存在简单的遍历方法。 二叉树是每个结点最多有两个子树的有序树，有序指的是左右子树有区分。 树和二叉树的2个主要差别： 1. 树中结点的最大度数没有限制，而二叉树结点的最大度数为3 2. 树的结点无左、右之分，而二叉树的结点有左、右之分 二叉树的遍历 一棵非空的二叉树由根结点及左、右子树这三个基本部分组成。因此，在任一给定结