离散图论精要.pptVIP

离散数学 第三部分 图论 七桥问题 普鲁士的哥尼斯堡(现名加里宁格勒, 属于俄罗斯共和国)被普雷格尔河支流分成四部分. 这四部分包括河两岸, 河中心岛以及两条支流之间的部分. 在18世纪这四部分用七座桥连接起来. 镇上的人们在周日里穿过镇子进行长距离的散步. 他们想弄明白是否可能从镇里某个位置出发不重复地经过所有桥并且返回出发点. 七桥问题 瑞士数学家列昂哈德.欧拉解决了这个问题, 他的解答发表在1736年, 这也许是人们第一次使用图论. 欧拉利用多重图来研究这个问题, 其中用顶点表示四个部分, 用边表示桥. 不重复地经过每一座桥来旅行的问题可以利用这个模型来重新叙述. 问题变成: 在这个多重图里是否存在着包含每一条边的简单回路? 概述 图是由顶点和连接顶点的边构成的离散结构. 几乎可以想到的每个学科中的问题都可以运用图模型来求解. 例如 生态环境里不同物种的竞争 组织中谁影响谁 循环锦标赛的输出 人们之间的相识关系 人员之间的合作关系 电话号码间的呼叫关系 网站之间的链接关系 地图 一个组织内员工的工作指派 图模型应用 确定能不能遍历一个城市的所有街道而不在任一条街道上走两遍 找出对地图上的区域着色所需要的颜色数 确定某一个电路是否能在平面电路板上实现 区分两种有着同样的分子式但结构不同的两种化合物 确定两台计算机是否由通信链路连接 对其边赋予了权重的图可以求解诸如在运输网络中寻找两个城市间的最短路径之类的问题 安排考试和指定电视台的频道 例 生态学里栖息地重叠图 用在涉及不同种类的动物在一起活动的许多模型里. 为生态系统里物种之间的竞争建模: 用顶点表示每个物种, 若两个物种竞争(即它们共享某些食物来源), 则用无向边连接表示它们的顶点. 栖息地重叠图是简单图, 因为在此模型中不需要环和多重边. 例 熟人关系图 用来表示人与人之间的各种关系. 可用图来表示两个人是否互相认识, 即他们是否是熟人: 用顶点表示具体人群里的每个人, 当两个人互相认识时, 用无向边连接这两个人. 一般不使用多重边, 也不使用环. 世界上所有人的熟人关系图有超过60亿个顶点和可能超过1万亿条边! 例 影响图 在对群体行为的研究里, 可以观察到某些人能够影响其他人的思维. 一种称为影响图的有向图可以用来为这样的行为建模: 用顶点表示群体的每个人, 当顶点u表示的人影响到顶点v表示的人时, 就有从顶点u到顶点v的有向边. 例 好莱坞图 用顶点表示演员, 并且当两个顶点所表示的演员共同出演一部电影时, 就用一条无向边连接这两个顶点. 这个图是简单图, 因为它的边是无向边, 不包含多重边和环. 例 循环赛 每个队都与其他每队恰好比赛一次的联赛称为循环赛. 用其中顶点表示每个队的有向图来为这样的比赛建模. 注意若u队击败v队, 则u,v是边. 该图是简单有向图, 不包含环和多重有向边. 例 合作图 可用来为学术论文的合作者关系建模. 在合作图中, 顶点表示人(可能限制为某个学术圈子的成员), 如果两个人合写论文, 则用边连接这两个人. 已经发现在数学研究论文上合作者的合作图有超过400 000个顶点和675 000条边. 例 呼叫图 可用来为网络(比如长途电话网)里的电话呼叫建模. 用有向图来为呼叫建模, 其中用顶点表示每个电话号码, 用有向边表示每次电话呼叫. 表示呼叫的边是以发出呼叫的电话号码为起点, 以接受呼叫的电话号码为终点. 这里需要有向边, 因为其表示的通话方向是有意义的; 也需要多重有向边, 因为需要表示每一个从特定号码拨到第二个号码的通话. 例 网络图 万维网可用有向图来建模, 其中用顶点表示每个网页, 并且若有从网页u指向网页v的链接, 则有以u为起点以v为终点的边. 因为几乎每秒钟都有新页面在网络上某处产生并且有其他页面被删除, 所以网络图几乎是连续变化的. 目前网络图有超过30亿个顶点和200亿条边. 许多人正在研究网络图的性质, 以便更好地理解网络的特性; 网络爬虫(搜索引擎用它来产生网页的索引)需要用到网络图. 例 优先图与并发处理 通过并发地执行某些语句, 计算机程序可以执行得更快. 重要的是避免语句执行时还要用到尚未执行语句的结果. 语句与前面语句的相关性可以表示成有向图. 用顶点表示每个语句, 若在执行完第一个顶点所表示的语句之间不能执行第二个顶点所表示的语句, 则从第一个顶点到第二个顶点有一条边. 这样的图称为优先图. 例 路线图 可以用图对路线图建模. 在这样的模型中, 顶点表示交叉点, 而边表示路, 无向边表示双向通路, 有向边表示单行道; 多重无向边表示连接相同交叉点的多条双向道路, 多重有向边表示从一个交叉点开始, 到第二个交叉点结束的多条单行道; 环表示环形路.