运筹学 Ch5 图与网络规划.pptVIP

有向图的关联矩阵与图的关联矩阵有着类似的性质 : 1. M(D)的每一列恰好有两个非零元素, 一个1和一个-1. 2. M(D)的每一行中1的个数等于对应顶点的入度, 而-1的个数 等于对应顶点的出度 . 3. 将M(D)的两行或两列互换, 相当于在D中将两个对应的顶 点或边的标号互换. 4. 若 是D的所有连通分支, , 则M(D)可以写 成块对角形式 , 其中 为 的关联矩阵, . § 5.2 树 Def. 不含圈的图称为无圈图 , 连通的无圈图称为树. 称 连通分支都是树的非连通图为森林. 如果T是G的一个支撑子图, 且T是树, 则称T为 G的支撑树, 也称为生成树. Th. : 树的性质: 1 ) 树的顶点数比其边数多1 ; 2 ) 树是无环图且树的任意两个顶点之间有唯一的一条路经 ; 3 ) 在树中去掉任一条边, 即变成非连通图 ; 4 ) 在树中任两个不相邻顶点之间加上一条边, 则构成一个恰 有一个圈的图 ; 5 ) 在树中至少存在两个度数为1的顶点 . Proof: 2 ) 图G是树 任意两个顶点之间恰有一条链(路径) 必要性 : G连通 任两个顶点之间至少有一条链 若某两个顶点之间有两条链 G中含有圈 与树的定义矛盾 ∴任两个顶点之间恰有一条链 充分性 : 设图G中任两个顶点之间恰有一条链 G连通 若G中含有圈, 则这个圈上任两个顶点之间有两条链 与假设矛盾 ∴G不含圈, 于是G是树 . OR XJTU 第五章 图与网络规划 * CH 5 图与网络规划 图的基本知识 最小权支撑树问题 最大流问题 最短有向路问题 学习目的 § 5.1 图的基本知识 一. 图 Def. 一个图G是指由一集合V(G)和V(G)中某些元素的无序对的 集合E(G)所构成的二元组(V(G), E(G)). V(G)称为G的顶点集, 其中的元素称为G的顶点(node) . E(G)称为G的边集, 其中的元素称为G的边(edge) . 简计V=V(G) , E=E(G) . 如果V和E均为有限集合, 则称G为有限图, 否则称为无限图 . 若边集是空集, 则称该图为空图, 记为 ; 否则称其为非空 图. 只有一个顶点的图称为平凡图. 图中顶点的个数叫做图的阶. 连接同一对顶点的边的条数叫做边的重数(multiplicity), 若图G 中存在重数大于1的边, 则称G为一多重图(multigraph) . 对于图G, 设V= , E= . 若 , 则称顶点 与 是 相邻的(adjacent), 并称 , 为边e的端点, 也称e与 , 相关联(incident) . 如果 , 且 和 有公共的端点, 则称 与 是相邻的(邻接) . 若V中的某顶点和E中任何边均不关联, 则称该顶点为孤立点 . 两个端点重合的边称为环(loop) . 没有环及没有重数大于1的边的图称为 简单图(simple graph) . 设有两个图 , , 它们的顶点集间 有一一对应的关系, 且使得边之间有如下的关系: 设 , , , 如果 ,则 , 而且 的重数与 的重数相同, 这种对应关系叫作 同构(isomorphism) . 同构关系是图之间的一个等价关系, 故通常将同构的图 看作是相同的 . 每一对不同的顶点之间均有一条边相连的简单图称为 完全图(complete graph) . Th.1 : n阶完全图有 条边 . 图的每条边 有一个端点在 中, 另一个端点在 中. 如果图的顶点能分成二个集合 与 , 使得同一