19-图的基本概念070101.ppt

课程安排 图中的顶点表示一项课程 弧表示两活动之间的先后次序 C0 C1 C2 C3 C4 C5 C0 —— 数据结构 C1 —— 操作系统 C2 —— 组成原理 C3 —— 数据库系统 C4 —— C语言 C5 —— 嵌入式系统 课程安排（Makefile文件编译） C4， C0， C3， C2， C1， C5 或 C2， C4， C0， C3， C1， C5 等 如何得到结果？ C0 C1 C2 C3 C4 C5 C0 —— 数据结构 C1 —— 操作系统 C2 —— 组成原理 C3 —— 数据库系统 C4 —— C语言 C5 —— 嵌入式系统 输油管道网，起点到终点有多条管道可用于运输，每条管道的输送能力已知，问应如何安排各管道输油量，才能使从到的总输油量最大？ 管道输送问题 最大流问题是一类应用极为广泛的问题，例如在交通运输 网络中有人流、车流、货物流、供水系统中有水流，金融 系统中有现金流，通信系统中有数据流，等等。 管道输送问题——网络流 我们班级成立了 3 个运动队:篮球队、排球队和足球队。今有张、王、李、赵、陈5位同学，若已知张、王为篮球队员；张、李、赵为排球队员；李、赵、陈为足球队员，问能否从这5人中选出3名不兼职的队长？ 篮 排 足 张 王 李 赵 陈 V1 V2 匹配 图的基本概念 信号处理中的数学方法 第2-1讲 图的基本概念 图的定义与表示 图中的关系 顶点的度数 子图与图的同构 完全图 正则图 r部图 图模型 Leonhard Euler(1707-83) “欧拉计算毫不费力，就象人呼吸，或者鹰在风中保持平衡一样”(阿拉 戈语), 这不是对欧拉无与伦比的数学才能的夸大，欧拉是历史上著作最多的数学家，被他的同代人称为“分析的化身”。甚至在他生 命的最后十年中的完全失明，也没有 妨碍他的无与伦比的多产；事实上， 失去视力有什么影响的话，那就是使 欧拉对他想象中的内部 世界的洞察力 更加敏锐。 ——贝尔：《数学精英》 K?nigsberg七桥问题 问题的抽象： 用顶点表示对象-“地块” 用边表示对象之间的关系-“有桥相连” 图的定义与表示 无向图的定义 图G是一个三元组：G =〈VG, EG, ?〉 VG和EG是集合，且VG?EG=?, ?:EG?{{vi, vj}| vi, vj?VG} 注意：{vi, vj}={vj, vi} G可以很方便地用图形表示：VG中的元素用空心小圆点表示，EG中的元素用连在两点之间的连线表示。 因此：VG称为顶点集，EG称为边集。 有向图的定义 只需将上述?定义为?:EG?VG?VG 注：这里的图形不是几何图形，位置、大小、线形均无意义，有意义的只是那些顶点之间有边。 图的定义并不依赖于图形 图中的关系 图中边与顶点之间的关系 关联关系 图中顶点之间的关系 相邻关系 利用上述关系可以用矩阵表示图。 5 0 4 6 1 3 2 28 10 25 14 24 22 16 18 12 边的邻接矩阵表示 C0 C1 C2 C3 C4 C5 C0 C1 C2 C3 ^ C4 C5 ^ 0 1 2 3 4 5 1 3 0 1 0 3 1 3 0 5 1 5 0 0 1 5 0 边的邻接链表表示 简单图 多重边与环 如果?不是单射，即存在ei, ej?EG, ei?ej, 但?(ei)=?(ej), 则ei, ej是多重边。 设ei?EG, 若?(ei)={vi, vi}={vi}, 则ei称为环。 简单图 既无环，又无多重边 的图称为简单图。 (简单图中可用uv?E表示边。) 顶点的度数 无向图中顶点的度数 dG(v) = 与v相关联的边的条数。 dG (v)是非负整数。 有向图中顶点的度数、出度和入度 dG+(v) = 以v为始点的边的条数。 dG-(v) = 以v为终点的边的条数。 顶点度数的数量特征 无向图中顶点度数的和是偶数。 m是图中的边的条数。 奇度顶点的个数是偶数 度数序列 图的度数序列及非负整数序列的可图化 非负整数序列(d1,d2,…,dn)是图的度数序列当且仅当其各项之和为偶数。 必要性显然。 可以用构造法证明充分性 注意：奇数顶点成对出现。构造图如下： 奇数顶点两两相连。度数还小于相应的 di 的顶点上加上相应数量的环。 子图 设 G=V,E, G’=V’,E’, 如果V’?V, E’?E, 则称G’是G的子