图与网络分析剖析ppt课件.ppt
《图与网络分析剖析ppt课件.ppt》由会员分享,可在线阅读,更多相关《图与网络分析剖析ppt课件.ppt(263页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、2022-7-261运筹学运筹学OPERATIONS RESEARCH2022-7-262 1图的基本概念与图的基本概念与模型模型 2树图和图的树图和图的最小部分树最小部分树 3最短路最短路问题问题 4网络的网络的最大流最大流第六章第六章 图与网络分析(图论)图与网络分析(图论)Graph Theory and Network Analysis Graph Theory and Network Analysis 2022-7-263 图论图论是应用非常广泛的运筹学分支,它已经广泛地应用于是应用非常广泛的运筹学分支,它已经广泛地应用于物理学控制论、信息论、工程技术、交通运输、经济管理、物理学控制
2、论、信息论、工程技术、交通运输、经济管理、电子计算机等各项领域。电子计算机等各项领域。对于科学研究、市场和对于科学研究、市场和社会生活中社会生活中的许多问题,的许多问题,可以用图论可以用图论的理论和方法来加以解决。例如,的理论和方法来加以解决。例如,各种通信线路的架设,输油管道的铺设,铁路或者公路交通各种通信线路的架设,输油管道的铺设,铁路或者公路交通网络的合理布局等问题,都可以应用图论的方法,简便、快网络的合理布局等问题,都可以应用图论的方法,简便、快捷地加以解决。捷地加以解决。 随着随着科学技术的进步,特别是电子计算机技术的发展,图科学技术的进步,特别是电子计算机技术的发展,图论的理论获得
3、了更进一步的发展,应用更加广泛。如果将复论的理论获得了更进一步的发展,应用更加广泛。如果将复杂的工程系统和管理问题用图的理论加以描述,可以解决许杂的工程系统和管理问题用图的理论加以描述,可以解决许多工程项目和管理决策的最优问题。因此,图论越来越受到多工程项目和管理决策的最优问题。因此,图论越来越受到工程技术人员和经营管理人员的重视。工程技术人员和经营管理人员的重视。 引言引言2022-7-264 德国的哥尼斯堡城有一条普雷格尔河,河中有德国的哥尼斯堡城有一条普雷格尔河,河中有两个岛屿,河的两岸和岛屿之间有七座桥相互连接,两个岛屿,河的两岸和岛屿之间有七座桥相互连接,如下图所示。如下图所示。20
4、22-7-265BACD 当地的居民热衷于这当地的居民热衷于这样一个问题:样一个问题:一个漫步者一个漫步者如何能够走过这七座桥,如何能够走过这七座桥,并且每座桥只能走过一次,并且每座桥只能走过一次,最终回到原出发地。最终回到原出发地。 大家都没有成功,但大家都没有成功,但不知道为什么。不知道为什么。2022-7-266 为了寻找答案,为了寻找答案,17361736年欧拉把年欧拉把陆地缩为一点,把桥作为连接点的陆地缩为一点,把桥作为连接点的边,将这个问题抽象成图形的一笔边,将这个问题抽象成图形的一笔画问题。即画问题。即能否从某一点开始不重能否从某一点开始不重复地一笔画出这个图形,最终回到复地一笔
5、画出这个图形,最终回到原点。原点。欧拉在他的论文中证明了这是欧拉在他的论文中证明了这是不可能的,因为不可能的,因为这个图形中每一个这个图形中每一个顶点都与奇数条边相连接,不可能顶点都与奇数条边相连接,不可能将它一笔画出将它一笔画出。(。(每个结点关联的每个结点关联的边数要均为偶数)。边数要均为偶数)。欧拉的论文题欧拉的论文题目是目是“依据几何位置的解题方法依据几何位置的解题方法”,欧拉被公认为图论的创始人。,欧拉被公认为图论的创始人。这这就是古典图论中的第一个著名问题就是古典图论中的第一个著名问题。ABCDBACD2022-7-267A AC CD DB B简捷表示事物之间的本质联系,归纳事物
6、之间的简捷表示事物之间的本质联系,归纳事物之间的一般规律。一般规律。ABCD2022-7-2682022-7-269环球旅行问题:环球旅行问题:2022-7-26102022-7-26112022-7-26122022-7-26132022-7-26142022-7-26152022-7-26162022-7-26172022-7-26182022-7-26192022-7-26202022-7-26212022-7-26222022-7-26232022-7-26242022-7-26252022-7-26262022-7-2627环球旅行问题的另一解环球旅行问题的另一解2022-7-262
7、82022-7-2629情侣问题:情侣问题: 已知已知有有M M个男士,个男士,N N个女士。每个男(女)士都对一些女个女士。每个男(女)士都对一些女(男)士倾慕,现问在这群人士中如何搭配,使较多的(男)士倾慕,现问在这群人士中如何搭配,使较多的有情有情人终成眷属。人终成眷属。城市交通城市交通改善问题:改善问题: 随着随着私家车的不断出现,城市交通状况越来越拥挤,虽私家车的不断出现,城市交通状况越来越拥挤,虽然城市在不断改善,但堵车现象仍然越来越多,出行难已成然城市在不断改善,但堵车现象仍然越来越多,出行难已成为一个社会问题。假设你是该城市的交通局长,在投资最少为一个社会问题。假设你是该城市的
8、交通局长,在投资最少(或有限)的条件下应采用何种方法使交通状况得到好转。(或有限)的条件下应采用何种方法使交通状况得到好转。(交通网络不做大的变化)(应从交通瓶颈入手)(交通网络不做大的变化)(应从交通瓶颈入手) 另外,这另外,这一时期,还有许多,诸如迷宫问题、博弈问题、一时期,还有许多,诸如迷宫问题、博弈问题、棋盘上马的行走路线等问题,吸引了许多学者,这些看起来无棋盘上马的行走路线等问题,吸引了许多学者,这些看起来无足轻重的游戏引出了许多有实际意义的新问题,开辟了新的足轻重的游戏引出了许多有实际意义的新问题,开辟了新的学学科。科。2022-7-2630 在实际的生产和生活中,人们为了反映事物
9、之间的关在实际的生产和生活中,人们为了反映事物之间的关系,常常在纸上用点和线来画出各式各样的示意图。系,常常在纸上用点和线来画出各式各样的示意图。例例:有六支球队进行足球比赛,我们分别用点:有六支球队进行足球比赛,我们分别用点v v1 1v v6 6 表示这六支球队,它们之间的比赛情况,也可以用图表示这六支球队,它们之间的比赛情况,也可以用图反映出来,已知反映出来,已知v v1 1 队战胜队战胜v v2 2 队,队,v v2 2 队战胜队战胜v v3 3队,队,v v3 3 队队战胜战胜v v5 5 队,如此等等。这个胜负情况,可以用下图所队,如此等等。这个胜负情况,可以用下图所示的有向图反映
10、出来。示的有向图反映出来。2022-7-26316.1 6.1 图的基本概念与模型图的基本概念与模型 图图(graphgraph)是由一些是由一些结点或顶点结点或顶点( nodesnodes or or verticesvertices )以及连接点的以及连接点的边边(edgesedges)构成。记做构成。记做G G = = V V, ,E E ,其中其中 V V 是顶点的集合,是顶点的集合,E E 是边的集合。是边的集合。一、一、 基本概念基本概念 给图中的点和边赋以具体的给图中的点和边赋以具体的含义和权值,我们称这样的图为含义和权值,我们称这样的图为网络图网络图(赋权图),(赋权图),记作
11、记作N。2022-7-2632 图中的点用图中的点用 v v 表示,边用表示,边用 e e 表示,对每条边可用它所表示,对每条边可用它所联结的点表示,如图,则有:联结的点表示,如图,则有:e1 = v1 , v1,e2 = v1 , v2或或e2= v2 , v1 用点和点之间的线所构成的图,反映实际生用点和点之间的线所构成的图,反映实际生产和生活中的某些特定对象之间的特定关系。通产和生活中的某些特定对象之间的特定关系。通常用常用点点表示研究对象表示研究对象, ,用用点与点之间的线点与点之间的线表示研究表示研究对象之间的特定关系。一般情况下,图中点的相对象之间的特定关系。一般情况下,图中点的相
12、对位置如何,点与点之间线的长短曲直,对于反对位置如何,点与点之间线的长短曲直,对于反映研究对象之间的关系,显的并不重要,因此,映研究对象之间的关系,显的并不重要,因此,图论中的图与几何图,工程图等本质上是不同的图论中的图与几何图,工程图等本质上是不同的。 图图G G区别于几何学中的图。这里只关心图中有多少个点以及区别于几何学中的图。这里只关心图中有多少个点以及哪些点之间有连线。哪些点之间有连线。V = v1 , v2 , v3 , v4 , v5,E = e1 , e2 , e3 , e4 , e5 , e6 , e7, e8,2022-7-2633(v1)赵赵(v2)钱钱孙孙(v3) 李李(
13、v4)周周(v5)吴吴(v6)陈陈(v7)e2e1e3e4e5(v1)赵赵(v2)钱钱(v3)孙孙(v4)李李(v5)周周(v6)吴吴(v7)陈陈e2e1e3e4e5可见图论中的图与几何图、工程图是不一样的。可见图论中的图与几何图、工程图是不一样的。例如:在一个人群中,对相互认识这个关系我们可以用图来例如:在一个人群中,对相互认识这个关系我们可以用图来表示。表示。2022-7-2634端点,关联边,相邻端点,关联边,相邻 若边若边 e e 可表示为可表示为e e = = v vi i , , v vj j ,称称 v vi i 和和 v vj j 是边是边 e e 的的端点端点(end ver
14、tex) ;同时称边;同时称边 e e 为点为点 v vi i 和和 v vj j 的的关联边关联边(incident edge); ;若点若点 v vi i , , v vj j 与同一条边关联,称点与同一条边关联,称点 v vi i 和和 v vj j 相邻相邻;若边;若边 e ei i 与与 e ej j 有公共端点,称边有公共端点,称边 e ei i 和和 e ej j 相邻相邻点相邻:点相邻:同一条边的两个端点称为相邻同一条边的两个端点称为相邻(adjacent)(adjacent)节点;节点;边相邻:边相邻:具有共同端点的边称为相邻边具有共同端点的边称为相邻边2022-7-2635
15、 环环, 多重边多重边, 简单图简单图如果边如果边e的两个端点相重,称该边的两个端点相重,称该边为为环环(loop) 。如右图中边。如右图中边e1为环。为环。如果两个点之间多于一条,称为如果两个点之间多于一条,称为多多重边重边(parallel edges) ,如右图中的,如右图中的e4和和e5,对无环、无多重边的图称,对无环、无多重边的图称作作简单图简单图(simple graph) 。含多重。含多重边的图称为边的图称为多重图多重图。v3e7e4e8e5e6e1e2e3v1v2v4v5简单图简单图多重图多重图环环多重边多重边2022-7-2636次,奇点,偶点,孤立点次,奇点,偶点,孤立点
16、与某个点相关联的边的数目,称为该点的与某个点相关联的边的数目,称为该点的次次(或(或度、线度、线度度,degreedegree),记作),记作 d d( (v vi i) )。次为奇数的点称为次为奇数的点称为奇点奇点(odd),(odd), 次为偶数的点称为次为偶数的点称为偶点偶点( (even)even);次为零的点称为;次为零的点称为孤立点孤立点 (isolated vertex) (isolated vertex) ;次数为次数为 1 1 的点称为悬挂点的点称为悬挂点(pendant (pendant vertex)vertex),与悬挂点关联的边称为悬挂边。,与悬挂点关联的边称为悬挂边
17、。 图中可以只有点,而没有边;而有边必有点图中可以只有点,而没有边;而有边必有点如图:如图:奇点为奇点为 v v5 5 , v v3 3偶点为偶点为 v v1 1 , , v v2 2 , , v v4 4 , , v v6 6孤立点为孤立点为 v62022-7-2637v2v1v5v3v4e2e1e3e4e5e6d(v1)=4d(v2)=3悬挂点悬挂点孤立点孤立点悬挂边悬挂边偶点偶点奇点奇点2022-7-2638定理定理1 任何图中,顶点次数之和等于所有边数的任何图中,顶点次数之和等于所有边数的2倍。倍。定理定理2 任何图中,次为奇数的顶点必为偶数个。任何图中,次为奇数的顶点必为偶数个。证明
18、:由于每条边必与两个顶点关联,在计算点的次时,每条边证明:由于每条边必与两个顶点关联,在计算点的次时,每条边均被计算了两次,所以顶点次数的总和等于边数的均被计算了两次,所以顶点次数的总和等于边数的2倍。倍。证明:设证明:设V1和和V2分别为图分别为图G中奇点与偶点的集合。由定理中奇点与偶点的集合。由定理1可得:可得:mvdvdvdVvVvVv2)()()(21 2m为偶数,且偶点的次之和为偶数,且偶点的次之和 也为偶数,所以也为偶数,所以 必为偶必为偶数,即奇数点的个数必为偶数。数,即奇数点的个数必为偶数。 2)(Vvvd 1)(Vvvd推论:图的各顶点的次的和是偶数。推论:图的各顶点的次的和
19、是偶数。2022-7-2639 例:以下各序列能不能是某个简单图的各顶点的次的序列?例:以下各序列能不能是某个简单图的各顶点的次的序列?为什么?为什么?(a a)7 7,6 6,5 5,4 4,3 3,3 3,2 2(b b)6 6,6 6,5 5,4 4,3 3,3 3,1 1(c c)6 6,5 5,5 5,4 4,3 3,2 2,1 1(b b)1 1,1 1,2 2,3 3,2 22022-7-2640n(a a)7 7,6 6,5 5,4 4,3 3,3 3,2 2n不能。不能。7 7个顶点的简单图,每个顶点的次不会超过个顶点的简单图,每个顶点的次不会超过6 6;n(b b)6 6,
20、6 6,5 5,4 4,3 3,3 3,1 1n不能。若有两个次为不能。若有两个次为6 6的点,则其中的每一个必定都与其的点,则其中的每一个必定都与其余的余的6 6个点相邻,因此除这两个为个点相邻,因此除这两个为6 6的点以外的的点以外的5 5个点,每个点,每个点的次都至少是个点的次都至少是2 2,而不会有次为,而不会有次为1 1的点的点n(c c)6 6,5 5,5 5,4 4,3 3,2 2,1 1n不能。若去掉次为不能。若去掉次为1 1的点及其关联边,剩下的图有的点及其关联边,剩下的图有6 6个顶个顶点,次的序列为点,次的序列为5 5,5 5,5 5,4 4,3 3,2 2,类似上题,是
21、不可,类似上题,是不可能的。能的。n(d d)1 1,1 1,2 2,3 3,2 2n不能。各点的次的和为奇数。不能。各点的次的和为奇数。2022-7-2641链,圈,路,回路,连通图链,圈,路,回路,连通图 图中存在点和边的交替序列图中存在点和边的交替序列=v v0 0, ,e e1 1, ,v v1 1, ,e e2 2, , ,e ek k, ,v vk k ,点相点相邻邻,没有重复的边,只有重复的点没有重复的边,只有重复的点 ,称,称为为链链(link),起点和终点,起点和终点重合的链称为重合的链称为圈圈(loop) ; 特殊特殊的链的链,链中顶点不相同,边也不相同链中顶点不相同,边也
22、不相同的交替序列称为的交替序列称为路路(path);起点和终点重合的路称为起点和终点重合的路称为回路回路(circuit)(此处链的定义即此处链的定义即欧拉链;路为哈密尔顿问题欧拉链;路为哈密尔顿问题)。)。 任意两点之间至少有一条链相连任意两点之间至少有一条链相连的图,称为的图,称为连通图连通图(没有孤立(没有孤立的点、边),的点、边),否则称该图为不连通的。否则称该图为不连通的。 35264734221,vevevevevev链链4734221,vevevev路路,1335264734221vevevevevevev圈圈2022-7-2642说明:说明: 一般来说,链和路的定义没有此要求(
23、无向图来说,路一般来说,链和路的定义没有此要求(无向图来说,路与链、圈和回路意义相同)与链、圈和回路意义相同)。此处链的定义应该叫简单链,此处链的定义应该叫简单链,即欧拉链;路的定义应该叫初等链,为哈密尔顿问题即欧拉链;路的定义应该叫初等链,为哈密尔顿问题。2022-7-2643完全图,偶图完全图,偶图 一个简单图中若任意两点之间均有边相连,称这样的图为一个简单图中若任意两点之间均有边相连,称这样的图为完全图,含有完全图,含有 n n 个顶点的个顶点的完全图完全图,其边数有,其边数有 条。条。 如果图的顶点能分成两个互不相交的非空集合如果图的顶点能分成两个互不相交的非空集合 V V1 1 和和
24、V V2 2 , , 使在同一集合中任意两个顶点均不相邻,称这样的图为使在同一集合中任意两个顶点均不相邻,称这样的图为偶图偶图(也称(也称二分图二分图),如果偶图的顶点集合),如果偶图的顶点集合V V1 1 和和V V2 2 之间的每一对之间的每一对顶点都有一条边相连,称这样的图为顶点都有一条边相连,称这样的图为完全偶图完全偶图,完全偶图中,完全偶图中V V1 1 含含m m 个顶点,个顶点,V V2 2 含有含有 n n 个顶点,则其边数共个顶点,则其边数共 m m n n 条。条。2) 1( nn2022-7-2644 二分图(偶图)二分图(偶图)图图G=(V,E)的点集的点集V可以分为两
25、个非空子集可以分为两个非空子集X,Y,集,集XY=V,XY=,使得同一集合中任意两个顶点均不使得同一集合中任意两个顶点均不相邻,称这样的图为相邻,称这样的图为二分图二分图(偶图)。(偶图)。v1v3v5v2v4v6v1v2v3v4v1v4v2v3(a)(b)(c)(a)明显为二分图,明显为二分图,(b)也是二分图,但不明显,改画为也是二分图,但不明显,改画为(c)时可以清楚看出。时可以清楚看出。2022-7-2645 子图、部分图子图、部分图 设设 G G1 1= =V V1 1 , E , E1 1,G,G2 2= =V V2 2 ,E ,E2 2 子图定义:如果子图定义:如果 V V2 2
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 网络分析 剖析 ppt 课件
限制150内