7-图论基本-天津大学.ppt

* * * * * * * * * * * * * * * * * * * * 图的路径 – 连通性 图的路径 – 连通性 图的路径 – 最短路径问题 在一个边带权图中，如何找到两点间的最短路径？ 1 2 3 4 5 7 4 2 1 3 4 2 5 s 人脉分析 图的路径 – 最短路径问题 在一个边带权图中，如何找到两点间的最短路径？ 1 2 3 4 5 7 4 2 1 3 4 2 5 s 小世界问题 图的路径 – 传播模型 图的路径 – 遍历 类似于确定图中是否存在欧拉回路的问题，哈密顿（W.Hamilton）于 1859年提出确定一个图中是否存在哈密顿回路的问题。 哈密顿（回）路： 图G中一条包含了所有顶点的路称为哈密顿路，如果该路是一条回路，则称为哈密顿回路。 正12面体-“环游世界” 平面展开 - 哈密顿路 图的路径 – 遍历 对于有36个顶点的完全图，要从中找到最优哈密顿回路。 回路总数：32！/64 ? 1039 “天河”的峰值速度? 1016/s 计算所需时间 > 1023s ?1015年 = 10000 * 宇宙的寿命（ ? 1011 年） 完全图的最优哈密顿路问题是一个NP完全问题. 某人m带一条狗d，一只猫c和一只兔子r过河。m每次游过河时只能带一只动物，而没人管理时，狗与兔子不能共处 (d,r)，猫和兔子也不能共处 (c,r)。问m怎样把三个动物带过河去？ 图的路径 – 问题的解决与判定 010?10 01(01)?10 图的路径– 串识别与有穷自动机 图就是用点和线来表示对象及对象间关系的抽象模型 图论就是研究图中的规律的理论 图的定义 P107 定义7.1 设A,B为两个集合，称{{a,b}|a?A ? b?B}为A与B的无序积。记做A&B 图的定义 (简单无向图)： V是一个非空有限集合, E ? V&V,二元组(V,E)称为一个简单无向图。 V中的元素称为无向图的顶点，V为顶点集 E中的元素称为无向图的边，E为边集 若{u,v}?E，则称顶点u与v邻接。 A B C (V, E) V = { A, B, C } E = { { A, B }, { A, C }, { B, C } } 无向图与有向图 图是用来表示事物及其之间的关系 无向图可以表示对称的二元关系，但是二元关系不都是对称的： 父?子? 父?子? 父 子 有向图是对集合上二元关系的完整描述 朋友 朋友 朋友关系 父子关系 父子关系 有向图的定义 P107 定义7.2 有向图描述了定义在有限集合上的不对称的二元关系： 图的定义 (简单无向图)： 设V是一个非空有限集合, E ? V&V,二元组(V,E)称为一个简单无向图。 V中的元素称为无向图的顶点 E中的元素称为无向图的边 若{u,v}?E，则称顶点u与v邻接。 图的定义 (有向图)： 设V为一个非空有限集，E ? V?V，二元组 (V,E)称为一个有向图 V中的元素称为有向图的顶点 E中的元素(u,v)称为从u到v的弧或者有向边 若x=(u,v)?A，则称顶点u为x的起点，v为x的终点。 一些术语（点边关系） 有边相连的两个顶点称为邻接点 点与边相连称为相关联 不与任何顶点相邻接的点称为孤立点 关联于同一顶点的两条边称为邻接边 关联于同一顶点的边称为环 连接同一对顶点的边称为平行边 一些术语（特殊图） 仅由孤立点组成的图称为零图 仅由一个孤立点构成的图称为平凡图 含有平行边的图称为多重图 不含平行边和环的图称为简单图 将一个有向图的有向边变为无向边，得到该有向图的基图 小问题： 一个无向图，无重边，由若干个彼此分开的完全图组成，且每个顶点都有一个环，这个图代表了一种什么样的二元关系？ 顶点的度 P109 定义7.6 定义： 设v为图G=(V,E)中的一个顶点，G中与v相关联的边的数目称为v的度， 记为deg(v)。 对于有向图而言，可以进一步区分出度和入度。 Δ（G）：最大度 δ（G）：最小度 小问题： 在至少有两个人的团体中，必定存在两个人在此团体中有相同个数的朋友。 图的基本定理 所有顶点度数之和 = 边数X2 出度的总和 = 入度的总合 = 边数 任何图中，奇度顶点的个数为偶数个 小问题： 若无向图中恰好有两个度数为奇数的顶点，那么这两个顶点必然连通 小问题： 空间中是否存在有奇数个面且每个面均有奇数条棱的多面体？ 补图 P116-7.12 设图G=<V, E>为n阶简单图，称以V为顶点集，以使G成为 n阶完全图所需要添加的边为边集的图为G的补图。 补图 P116-7.12 设图G=<V, E>为n阶简单图，称以V为顶点集，以