运筹学-7、图与网络分析.ppt

运 筹 学;运 筹 学 ?Operations? Research ; 图论是专门研究图的理论的一门数学分支，属于离散数学范畴，与运筹学有交叉，它有200多年历史，大体可划分为三个阶段： 第一阶段是从十八世纪中叶到十九世纪中叶，处于萌芽阶段，多数问题围绕游戏而产生，最有代表性的工作是所谓的Euler七桥问题，即一笔画问题。;第二阶段 从十九世纪中叶到二十世纪中叶，这时，图论问题大量出现，如Hamilton问题，地图染色的四色问题以及可平面性问题等，这时，也出现用图解决实际问题，如Cayley把树应用于化学领域，Kirchhoff用树去研究电网络等.;第三阶段 二十世纪中叶以后，由生产管理、军事、交通、运输、计算机网络等方面提出实际问题，以及大型计算机使大规模问题的求解成为可能，特别是以Ford和Fulkerson建立的网络流理论，与线性规划、动态规划等优化理论和方法相互渗透，促进了图论对实际问题的应用。; 哥尼斯堡（现名加里宁格勒）是欧洲一个城市，Pregei河把该城分成两部分，河中有两个小岛，十八世纪时，河两边及小岛之间共有七座桥，当时人们提出这样的问题：有没有办法从某处（如A）出发，经过各桥一次且仅一次最后回到原地呢？; 数学家Euler在1736年巧妙地给出了这个问题的答案，并因此奠定了图论的基础，Euler把A、B、C、D四块陆地分别收缩成四个顶点，把桥表示成连接对应顶点之间的边，问题转化为从任意一点出发，能不能经过各边一次且仅一次，最后返回该点。这就是著名的Euler问题。;例:有7个人围桌而坐，如果要求每次相邻的人都与以前完全不同，试问不同的就座方案共有多少种？;假定第一次就座方案是 （1，2，3，4，5，6，7，1），那么第二次就座方案就不允许这些顶点之间继续相邻，只能从图中删去这些边。;1;1;1;1;1;1;1;1;假定第二次就座方案是 （1，3，5，7，2，4，6，1），那么第三次就座方案就不允许这些顶点之间继续相邻，只能从图中删去这些边。;1;1;1;1;1;1;1;1;假定第三次就座方案是 （1，4，7，3，6，2，5，1），那么第四次就座方案就不允许这些顶点之间继续相邻，只能从图中删去这些边，只留下7点孤立点，所以该问题只有三个就座???案。;1;1;1;1;1;1;1;1;例10-3：哈密顿（Hamilton）回路是十九世纪英国数学家哈密顿提出，给出一个正12面体图形，共有20个顶点表示20个城市，要求从某个城市出发沿着棱线寻找一条经过每个城市一次而且仅一次，最后回到原处的周游世界线路（并不要求经过每条边）。;;;;;;;;;;;;;;;;;;例10-4：一个班级的学生共计选修A、B、C、D、E、F六门课程，其中一部分人同时选修D、C、A，一部分人同时选修B、C、F，一部分人同时选修B、E，还有一部分人同时选修A、B，期终考试要求每天考一门课，六天内考完，为了减轻学生负担，要求每人都不会连续参加考试，试设计一个考试日程表。;解：以每门课程为一个顶点，共同被选修的课程之间用边相连，得图，按题意，相邻顶点对应课程不能连续考试，不相邻顶点对应课程允许连续考试，因此，作图的补图，问题是在图中寻找一条哈密顿道路，如C—E—A—F—D—B，就是一个符合要求的考试课程表。;A;A;A;A;A;A;A;A; 图论是专门研究图的理论的一门数学分支，主要研究点和线之间的 几何关系。;说明： （1）V非空，即没有顶点的图不讨论； （2）E无非空条件，即允许没有边； （3）条件（2）是指点只在边的端点 处相交； （4）任一条边必须与一对顶点关联， 反之不然。;6.1 最小(支撑)树问题 Minimal (Spanning)Tree Problem;5;边用[vi,vj]表示或简记为[i，j]，集合记为;6.1.1树的概念 ;6.1.2 最小部分树;5;加边法：取图G的n个孤立点｛v1，v2，…， vn}作为一个支撑图，从最短边开始往支撑图中添加，见圈回避，直到连通（有n－1条边） ;下一节：最短路问题;6.2 最短路问题 Shortest Path Problem;最短路问题在实际中具有广泛的应用，如管道铺设、线路选择等问题，还有些如设备更新、投资等问题也可以归结为求最短路问题 ;①;【解】 设xij为选择弧(i，j)的状态变量，选择弧(i，j)时xij＝1，不选择弧(i，j)时xij＝0，得到最短路问题的网络模型：;6.2.2有向图的狄克斯屈拉(Dijkstra)标号算法;②;从上例知，只要某点已标号，说明已找到起点vs到该点的最短路线及最短距离，因此可以将每个点标号，求出vs