刘汝佳图结构及基本问题.pdfVIP

图结构和基本问题 刘汝佳 目录 一、预备知识 二、图的遍历及其应用 三、有向图：强连通分量和传递闭包 四、无向图：割顶、桥和双连通分量 五、强连通化和支配点 六、特殊图类介绍 七、经典问题列表 1 预备知识 1.1 图的基本概念 1.2 路径、圈和连通性 1.3 生成树、完全图和补图 1.4 特殊图类 1.5 有向图和带权图 1.6 图的ADT 1.7 邻接矩阵 1.8 邻接表和前向星 图的基本概念 • 图G=(V, E), 即顶点集和边集组成的二元组, 它 描述了顶点集的相互关系 • 本文只考虑简单图 – 边的两端不是同一个顶点(没有自环self-loops) – 一对结点最多被一条边连接(没有重边parallel edges) • 注意: 自环和重边在有些情况(见后)很有用 • 图的数学表示 – 点: 用整数0, 1, 2, …, V-1表示 – 边: 用无序数对(u, v)表示, 或者表示成u-v • 边数E不超过V(V-1)/2 图形表示 • 此二图是同一个图的 不同表示. 图中并不定 义各个结点的位置以 及边的形态(直线? 曲 线?), 关键是有哪些 点，哪些点相连 • 所有边如下表 其他术语 • 其他名称 – 结点=顶点: vertex, node – 边=弧: edge, arc, link • 对于边e=(u, v) – u和v邻接(adjacent) – e和u、v关联(incident) – 点的度数(degree)是与它关联的边的数目 • 子图 – 子图(subgraph): 边的子集和相关联的点集 – 导出子图(induced graph): 点的子集和相关联的边集 图绘制 • 图绘制(Graph Drawing): 顶点赋予几何坐标, 边绘制成直线或者曲线 • 平面图(planar graph): 可以绘制成边不相交 的形式 • 欧几里得图(euclidean graph)的绘制中,顶 点的位置和边是有意义的, 例如地图或者电 路图 • 本文的多数算法不使用几何信息 同构 • 上面两个图同构, 但不和下面的图同构 路径和圈 • 一条路径(path)是一个结点序列, 路上的相邻结点 在图上是邻接的. • 如果结点和边都不重复出现, 则称为简单路径 (simple path). 如果除了起点和终点相同外没有重 复顶点和边, 称为圈(cycle). • 不相交路(disjoint path)表示没有除了起点和终点 没有公共点的路. 更严格地 – 任意点都不相同的叫严格不相交路(vertex-disjoint path) – 同理定义边不相交(edge-disjoint path)路 • 注意: 汉语中圈和环经常混用(包括一些固定术语). 由于一般不讨论自环(self-loop), 所以以后假设二 者等价而不会引起混淆 连通性 • 如果任意两点都有路径, 则称图是连通 (connected)的, 否则称图是非连通的. • 非连通图有多个连通分量(connected component, cc), 每个连通分量是一个极大 连通子图(maximal connected subgraph), 因为任意加一个结点以后将成为非连通图 生成树 • 连通去圈图成为树(tree) • 树的集