扫雪模型课件.pptVIP

扫雪问题的数学模型;一、问题的提出; 该问题是要为驾驶员提供一种最佳方案，使扫雪车行驶的时间最短。由于问题没有给出扫雪车的有关信息，不妨假设两辆车的功率相同，行驶速度也相同，这样行驶时间就等价于行驶路程最短，实际上就是要避免车辆空驶，即要减少在已扫过的街道上行驶。 将街道看作边，街道与街道的交汇点看作点。这样就变成了一个无向图。因是双车道的，给连接两个点的边加上两条相反方向的边就变成了有向图。这一点对问题不是必须的（我们假设可以给某一条边加上两个相同的方??）。问题就化为在一个有向图上找到使行驶路程最短的最佳方案。;二、单车双车道的情形（Euler图模型）;5;定义 12.6 设G是一个有向图，若 为G中一个由顶点和有向边交错组成的序列， 且 ，则称Q为G中一条从v0到vk的有向路。 若Q中各有向边互不相同，则称Q为有向链。 定义12.7 若无向图G中存在一条包含G中所有边的闭链，则称它为欧拉闭链，简称为欧拉链，称G为欧拉图。若图G中存在一条包含G中所有边的开链，则称它为欧拉开链，称G为半欧拉图。;命题：设G是连通有向图，则G是欧拉图的充分必要条件为对G的每个顶点v，都有d+(v)=d-(v),即每个点的出度等于入度。 回到我们要解决的问题，现在考虑的是单车双车道的情形，容易知道在由街道组成的有向图中，每个顶点都是偶顶点，且其连接的边，一半是指向该点的，另一半是离开该点的，因此每个顶点的入度均等于出度，由 上述命题，它是欧拉图，存在欧拉回路。这样，扫雪车可以不重复地走遍每条有向边，这就是最优方案。;三、单车单车道的情形;2、问题求解;结论3： 如果存在两个解都满足下面两个条件： 没有重叠的重复边 在原图中的每个回路上，重复边的长度之和不超过这个回路长度的一半。 那么，这两个解的重复边的长度之和相等。 结论4：一个解是最优解的充分必要条件是 它满足结论3的条件(1)和(2)。;单车单车道寻找最优扫雪路线的步骤如下： 找出街道图中所有奇顶点。 添加重复边，把奇顶点成对地连接起来。 去掉所有重叠的重复边。 对图中所有回路反复进行修改，使回路中添加的重复边的长度之和小于回路长度的一半，直到不能修改。 将所得到的有重复边的无向图一笔画出。 ;四、双车双车道的情形;３、一个算法：在一个图Ｇ中找一条尽可能大的回路Ｃ S1：在Ｇ中找一条回路Ｃ1,令C=C1。如果Ｃ＝Ｇ，则算法终止，否则转Ｓ2。 S2：令G1=G-C，在Ｇ1中找一条回路Ｃ2。如果找不到这样的回路，则算法终止，否则转C=C1+C2。 S3：如果Ｃ＝Ｇ，则算法终止，否则重复Ｓ２，直到找不到回路或者Ｃ=G为止。 至此，只需要对G1=G-C进行枚举，将Ｇ１中的没一条街道的两个车道分派给同一辆车，保证成为Euler 图，从而不重复走。 可以保证总的扫雪时间短，但不能保证完成任务的时间短