运筹学第7章 图与网络优化.ppt

第七章 图与网络优化 图是最直观的模型 图论 Graph Theory 哥尼斯堡七桥问题 (K?nigsberg Bridge Problem) Leonhard Euler (1707-1783) 在1736年发表第一篇图论方面的论文，奠基了图论中的一些基本定理 很多问题都可以用点和线来表示，一般点表示实体，线表示实体间的关联 7.1 图与网络的基本概念 1 图与网络图 节点 (Vertex) 物理实体、事物、概念 一般用 vi 表示 边 (Edge) 节点间的连线，表示有关联 一般用 eij 表示 图 (Graph) 节点和边的集合 一般用 G(V,E) 表示 点集 V={v1,v2,…, vn} 边集E={eij } 2 无向图与有向图 所有边都没有方向的图称为无向图，如图7.2 在无向图中 eij=eji，或 (vi, vj)=(vj, vi) 当所有边都有方向时，称为有向图，用D(V,A)表示 在有向图中，有向边又称为弧，用 aij表示，i, j 的顺序是不能颠倒的，图中弧的方向用箭头标识 图中既有边又有弧，称为混合图 3 端点，关联边，相邻，次 图中可以只有点，而没有边；而有边必有点 若节点vi, vj 之间有一条边 eij，则称 vi, vj 是 eij 的端点(end vertex)，而 eij 是节点 vi, vj 的关联边(incident edge) 同一条边的两个端点称为相邻(adjacent)节点，具有共同端点的边称为相邻边 一条边的两个端点相同，称为自环(self-loop)；具有两个共同端点的两条边称为平行（多重）边(parallel edges) 既没有自环也没有平行边的图称为简单图(simple graph) 在无向图中，与节点相关联边的数目，称为该节点的“次”(degree)，记为 d ；次数为奇数的点称为奇点(odd),次数为偶数的点称为偶点(even)；图中都是偶点的图称为偶点图(even graph) 3 端点，关联边，相邻，次 有向图中，由节点向外指的弧的数目称为正次数，记为 d+，指向该节点的弧的数目称为负次数，记为 d– 次数为 0 的点称为孤立点(isolated vertex) ，次数为 1 的点称为悬挂点(pendant vertex) 定理 1：图中点的次数和是边数个2倍 定理 2：图中奇点的个数总是偶数个 4 链，圈，初等链，初等圈，简单链（圈） 相邻节点的序列 {v1? ,v2? ,…, vn?} 构成一条链(link)p178； 在无向图中，节点不重复出现的链称为初等链； 首尾相连的链称为圈(loop) ；首尾相连的初等链称为初等圈； 边不重复出现的链（圈）称为简单链（圈） 5 完全图，偶图 简单图中任意两点间都有边相连，则称为完全图。 n个点的完全图有n（n-1）/2条边 若图的顶点能分成两个互不相交的非空集合V1、V2，其在同一个集合中任意两点间都没有边相连，则称为偶图（二部图）。 若偶图的顶点集合V1、V2之间的每一对不同顶点都有一条边相连，则称为完全偶图。 在完全偶图中，若顶点分别为n1、n2，有n1?n2条边 6 子图，部分图；连通图，成分 设有两个图 G1(V1, E1), G2(V2, E2), 若V2 ?V1, E2 ?E1， 则 G2 是 G1 的子图。若V2 =V1, E2 ?E1， 则 G2 是 G1 的部分图（支撑子图）。 无向图中，若任意两点间至少存在一条链，则称为连通图(connected graph)，否则为非连通图( discon-nected graph)；非连通图中的每个连通子（分）图称为成分 (component) 链，圈，路径(简称路)，回路都是原图的子图 支撑子图也是子图，子图不一定是支撑子图。 平面图(planar graph)，若在平面上可以画出该图而没有任何边相交 7基础图，路，回路，欧拉回路 在有向图D(V,A)中去掉箭头，称为D的基础图，G（D） 在有向图中，链 路 圈 回路 走过图中所有边且每条边仅走一次的闭行走称为欧拉回路 定理 ：偶点图一定存在欧拉回路(一笔画定理) 7.2 树图与最小支撑树 一般研究无向图 树图：倒置的树，根(root)在上，树叶(leaf)在下 多级辐射制的电信网络、管理的指标体系、家谱、分类学、组织结构等都是典型的树图 7.2.1 树的定义及其性质 任两点之间有且只有一条链的图称为树(tree)。 无圈的连通图称为树(tree)p180。 记为T（V，E） 树的性质：p180-181 任何树必存在次数为 1 的点 具有 n 个节点的树 T 的边恰好为 n?1 条，反之