图论及其算法数模精品文稿.ppt





《图论及其算法数模精品文稿.ppt》由会员分享,可在线阅读,更多相关《图论及其算法数模精品文稿.ppt(117页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、图论及其算法数模第1页,本讲稿共117页七桥问题的分析 七桥问题看起来不难,很多人都想试一试,但没有人找到答案.后来有人写信告诉了当时的著名数学家欧拉.千百人的失败使欧拉猜想,也许那样的走法根本不可能.1876年,他证明了自己的猜想.Euler把南北两岸和两个岛抽象成四个点,将连接这些陆地的桥用连接相应两点的一条线来表示,就得到如下一个简图:SNAB第2页,本讲稿共117页欧拉的结论欧拉的结论欧拉指出欧拉指出:一个线图中存在通过每边一次仅一次一个线图中存在通过每边一次仅一次回到出发点的路线的充要条件是回到出发点的路线的充要条件是:1)1)图是连通的图是连通的,即任意两点可由图中的一些边连即任意
2、两点可由图中的一些边连接起来接起来;2)2)与图中每一顶点相连的边必须是偶数与图中每一顶点相连的边必须是偶数.由此得出结论由此得出结论:七桥问题无解七桥问题无解.欧拉由七桥问题所引发的研究论文是图论的开欧拉由七桥问题所引发的研究论文是图论的开篇之作篇之作,因此称欧拉为图论之父因此称欧拉为图论之父.第3页,本讲稿共117页4.4.图的作用图的作用 图是一种表示工具.改变问题的描述方式,往往是创造性的启发式解决问题的手段.一种描述方式就好比我们站在一个位置和角度观察目标,有的东西被遮挡住了,但如果换一个位置和角度,原来隐藏着的东西就可能被发现.采用一种新的描述方式,可能会产生新思想.图论中的图提供
3、了一种直观,清晰表达已知信息的方式.它有时就像小学数学应用题中的线段图一样,能使我们用语言描述时未显示的或不易观察到的特征、关系,直观地呈现在我们面前,帮助我们分析和思考问题,激发我们的灵感.第4页,本讲稿共117页5.5.图的广泛应用图的广泛应用图的应用是非常广泛的图的应用是非常广泛的,在工农业生产、交通运在工农业生产、交通运输、通讯和电力领域经常都能看到许多网络输、通讯和电力领域经常都能看到许多网络,如如河道网、灌溉网、管道网、公路网、铁路网、电河道网、灌溉网、管道网、公路网、铁路网、电话线网、计算机通讯网、输电线网等等话线网、计算机通讯网、输电线网等等.还有许还有许多看不见的网络多看不见
4、的网络,如各种关系网如各种关系网,像状态转移关系、像状态转移关系、事物的相互冲突关系、工序的时间先后次序关系事物的相互冲突关系、工序的时间先后次序关系等等等等,这些网络都可以归结为图论的研究对象这些网络都可以归结为图论的研究对象-图图.其中存在大量的网络优化问题需要我们解决其中存在大量的网络优化问题需要我们解决.还有象生产计划、投资计划、设备更新等问题也还有象生产计划、投资计划、设备更新等问题也可以转化为网络优化的问题可以转化为网络优化的问题.第5页,本讲稿共117页6.基本的网络优化问题 基本的网络优化问题有:最短路径问题、最小生成树问题、最大流问题和最小费用问题.图论作为数学的一个分支,已
5、经有有效的算法来解决这些问题.当然这当中的有些问题也可以建立线性规划的模型,但有时若变量特别多,约束也特别多,用线性规划的方法求解效率不高甚至不能在可忍受的时间内解决.而根据这些问题的特点,采用网络分析的方法去求解可能会非常有效.第6页,本讲稿共117页 例如,在1978年,美国财政部的税务分析部门在对卡特尔税制改革做评估的过程中,就有一个100,000个约束以上,25,000,000个变量的问题,若用普通的线性规划求解,预计要花7个月的时间.他们利用网络分析的方法,将其分解成6个子问题,利用特殊的网络计算机程序,花了大约7个小时问题就得到了解决.第7页,本讲稿共117页图的基本概念(1)定义
6、定义1 图G是一个三元组,记作其中(1)V(G)=v1,v2,vn=,称为图G的结点集.(2)E(G)=e1,e2,em是G的边集合,其中ei为vj,vt或.若ei为vj,vt,称ei为vj和vt为端点的无向边;若ei为,称ei为vj 为起点,vt为终点的有向边;(3)称为关联函数.第8页,本讲稿共117页 图的基本概念(2)定义定义2 2.邻接结点邻接结点:关联于同一条边的两个结点.孤立结点:不与任何结点相连接的结点.邻接边邻接边:关联于同一顶点的两条边.环环:两端点相同的边称为环或自回路.平行边平行边:两个结点间方向相同的若干条边称为平行边或重边对称边对称边:两端点相同但方向相反的两条有向
7、边.第9页,本讲稿共117页图的基本概念(3)定义定义3 无向图无向图:每条边都是无向边的图.有向图有向图:每条边都是有向边的图.混合图混合图:图中不全是有向边,也不全是无向边的图.平凡图平凡图:只有一个孤立结点的图.定义定义4 多重图多重图:含有平行边的图.简单图简单图:无环且无平行边的图.完全图完全图:任何不同结点之间都有边相连的简单无向图.第10页,本讲稿共117页图的基本概念(4)说明:(1)在简单图 中,以x为起点y为终点的边至多有一条,因此,图中的边可直接用顶点对表示,而关联函数 就可以直接表示在其边集中,故可简记为G=.(2)对无向图G,将G中的每条边用两条与e有相同端点对称边e
8、和e来代替后得到一个有向图D,这样得到的有向图D称为G的对称有向图的对称有向图.由此可见,无向图可视为特殊的有向图.第11页,本讲稿共117页(3)n个结点的完全图记为Kn,完全图Kn有 条边.完全图的对称有向图称为完全有向图,记作 .(4)图G的顶点个数称为图图G G的阶的阶.(5)对于有向图D,去掉边上的方向得到的无向图G称称为为D D的基础图的基础图.反之,任一个无向图G,将G的边指定一个方向得到一个有向图D,称D D为为G G的一个定向图的一个定向图.第12页,本讲稿共117页例 证明:在任意六个人的聚会上,要么三个曾相识,要么三个不曾相识.证明:用A,B,C,D,E,F代表这六个人,
9、若两人曾相识,则在代表该两人的顶点间连一条红边;否则连一条蓝边.于是,原问题等价于证明所得图中必含有同色三角形.考察某一顶点,设为F.与F关联的边中必有三条同色,不妨设它们是三条红边FA,FB,FC.再看三角形ABC.若它有一条红边,设为AB,则FAB是红边三角形;若三角形ABC没有红边,则其本身就是蓝边三角形.第13页,本讲稿共117页 图的运算图的运算(一)一)定义定义1 1 设 与 是任何两个图.若 且 是 在 上的限制,则称 是是G G的子图的子图,记作 ,称G为G1的母图.若 且V1=V,则称 是G的生成子图或支撑子图生成子图或支撑子图.设 ,以V1为顶点,以两端点均在V1中的全体边
10、为边集的G的子图,称为V V1 1的导出子图的导出子图,记作GV1.设 ,以E1为边集,以E1中的边关联的全部顶点集的G的子图,称为E E1 1的导出子图的导出子图,记作GE1.第14页,本讲稿共117页特别,若 ,则以 G-V1表示从G中删去V1内的所有点以及与这些顶点关联的边所得到的子图,若V1=v,常把G-v简记为G-v,类似地,设 ,G-E1表示在G中删去E1中所有边所得的子图,同样G-e简记为G-e.第15页,本讲稿共117页图的运算图的运算(二)二)定义定义2 设G是n阶无向简单图,以V为顶点集,以所有能使G成为完全图完全图Kn的添加边组成的集合为边集的图,称为G相对于完全图完全图
11、Kn补图补图,简称G的补图,记作 .定义定义3 设G1和G2都是图G的子图.G G1 1和和G G2 2的并的并G G1 1 G G2 2:仅由G1和G2中所有边组成的图.G1和和G2的交的交 G G1 1G G2 2 :仅由G1和G2的公共边组成的图.G G1 1和和G G2 2的差的差G G1 1-G-G2 2:仅由G1中去掉G2中的边组成的图.G1和和G2的环和的环和G G1 1G G2 2:在G1和G2的并中去掉G1和G2的交 所得到的图.第16页,本讲稿共117页路与连通图路与连通图(一一)定义定义1 1 设设u u和和v v是任意图是任意图G G的顶点的顶点,图图G G的一条的一条
12、u-vu-v是有是有限的顶点和边交替序列限的顶点和边交替序列u u0 0e e1 1u u1 1e e2 2u un-1n-1e en nu un n(u=(u=u u0 0,v=u,v=un n),),其中与边其中与边e ei i(1(1 i i n)n)相邻的两顶点相邻的两顶点u ui-1i-1和和u ui i正好是正好是e ei i的两个端点的两个端点.数数n(n(链中出现的边数链中出现的边数)称为链的长度称为链的长度.u(u.u(u0 0)和和v(uv(un n)称为链的端点称为链的端点,其余其余的顶点称为链的内部点的顶点称为链的内部点.一条一条u-vu-v链链,当当u u v v时时
13、,称称它为开的它为开的,否则称为闭的否则称为闭的.边互不相同的链称为边互不相同的链称为迹迹,内部点互不相同的链称为路内部点互不相同的链称为路.第17页,本讲稿共117页注释注释1.1.(1)(1)在一条链中在一条链中,顶点和边可以重复顶点和边可以重复.(2)(2)若若G G是简单图是简单图,G,G中的链中的链u u0 0e e1 1u u1 1e e2 2u un-1n-1e en nu un n还可用还可用结点序列结点序列u u0 0u u1 1u un-1n-1u un n表示表示.(3)(3)不含边的链不含边的链(即长度为即长度为0)0)称为平凡链称为平凡链.(4)(4)设设W W是有向
14、图是有向图D D中中u-vu-v链链(迹迹,路路),),指定指定W W的方向从的方向从u u到到v.v.若若W W中所有边的方向与此方向一致中所有边的方向与此方向一致,则称则称W W为为D D中从中从u u到到V V的有向链的有向链(迹迹,路路).).第18页,本讲稿共117页路与连通图路与连通图(二二)定义定义2.两端点相同的迹两端点相同的迹(即闭集即闭集)称为回称为回.两端点两端点相同的路相同的路(即闭路即闭路)称为称为圈或回路圈或回路.长度为长度为K,奇数奇数,偶数的回偶数的回(圈圈)分别称为分别称为K,奇奇,偶回偶回(圈圈).有向闭迹有向闭迹(闭路闭路)称为称为有向回有向回(有向圈有向
15、圈).第19页,本讲稿共117页定理定理1.若简单图若简单图G中每个顶点的度数至少是中每个顶点的度数至少是k(k 2),则则 G中必含有一个长度至少是中必含有一个长度至少是k+1的圈的圈.定理定理2.设简单图设简单图G中每个顶点的度数至少是中每个顶点的度数至少是3,则则G中含有偶圈中含有偶圈.定义定义3.给定无向图给定无向图G=,x,y V(G),若图中存在连接若图中存在连接x和和y的路的路,称节称节点点x和和y是连通的是连通的.规定规定x到自身总是连通的到自身总是连通的.第20页,本讲稿共117页 路与连通图路与连通图(四四)1.说明:容易验证,结点集V(G)上的顶点间的连通关系是V(G)上
16、的一个等价关系等价关系,该等价关系确定V(G)的一个划分V1,V2,Vm,使得当且仅当当且仅当两个顶点x和y属于同一子集Vi时,x和y才是连通的.Vi在G中的导出子图GV1,GV2,GVm称为G的连通分支或分支连通分支或分支,m称为G的连通分支数,记作W(G)=m.如下图有4个连通分支.定义4.如果无向图G中每一对不同的顶点x和y都有一条路,即W(G)=1,则称G是连通图,反之称为非连通图.第21页,本讲稿共117页路与连通图路与连通图(五五)引理1 非平凡图G是连通图当且仅当对V(G)的每一个非空真子集S,定理3 设G是P阶连通图,则悬挂点:度数为1顶点.定理4 设连通图G至少有两个顶点,其
17、边数小于顶点数,则此图至少有一个悬挂点.第22页,本讲稿共117页路与连通图路与连通图(七七)定义5 设 是有向图,若图 D中存在x到y的有向路,称结点x可达结点y.规定x到自身总是可达的.第23页,本讲稿共117页定义定义6 设G是有向图,任何结点间,至少有一个结点可达另一个结点,则称该有向图是单侧连通的.如果有向图D的任何一对结点间是相互可达的,则称该有向图是强连通强连通的的.若有向图G的基础图是连通的,则称该有向图D是弱弱连通的连通的.定义定义7 设G是有向图,G中所有从x到y的有向路的最小长度称为从x到y的距离.称为图图G的直径的直径.第24页,本讲稿共117页连通图和二分图(1)定义
18、1 如果在图G中删去一个结点x后,图G连通分支数增加,即W(G-x)W(G),则称结点x x为为G G的的割点割点.如果在图G中删去一条边e后,图G的连通分支数增加,即W(G-e)W(G),则称边边e e为为G G的割的割边边.定义2 没有割点的非平凡连通图称为块块.G中不含割点的极大连通子图称为图图G G的块的块.第25页,本讲稿共117页定义3 如果G的顶点集的一个真子集T满足G-T不连通或是平凡图,则称T T为为G G的一个点割的一个点割.如果图G的边集的一个真子集S满足G-S不连通或是平凡图,则称S S为为G G的的一个边割一个边割.定义4设G是连通图,称 是G的点割为G的点点连通度或
19、连通度连通度或连通度;称 是G的边割为G的的边连通度边连通度.定理1 对一个图G,有 是图G的的最小顶点度最小顶点度.第26页,本讲稿共117页连通图和二分图(3)定义5 如果无向图G的连通度 称图G是n n连通的或连通的或G G为为n n连通图连通图.若 称图G G是是n n边连通的或边连通的或G G为为n n边连通图边连通图.定理2 设图G是n连通的,则对定理3 设G是2边连通图,则G有强连通的定向图.第27页,本讲稿共117页 连通图和二分图(4)定义6 把简单图G的顶点集合分成两个不相交的非空集合V1,V2,使得图G中的每一条边,与其关联的两个结点分别在V1和V2中,则G称为偶图或二分
20、图,记作G=,其中V1和V2叫做G的二划分.对于二分图G=,若 ,V1中的任意一点与V2中的所有点相邻且V2中的任意一点与V1中的所有点相邻,则称该图为结点m和n的完全偶图或完全二分图,记作Km,n.定理4 非平凡图G是二分图当且仅当当且仅当G中不含有长为奇数的圈.第28页,本讲稿共117页图的矩阵表示(1)1.邻接矩阵:设 是任意图,其中V=x1,x2,xn,E=e1,e2,em,则n阶方阵A=(aij)称为G的邻接矩阵.其中aij为图G中以xi为起点且以xj为终点的边的数目.说明1:由定义易知,无向图的邻接矩阵是对称矩阵,而有向图的邻接矩阵未必是对称矩阵.第29页,本讲稿共117页定理1
21、已知有向图 ,其中V=x1,x2,xn,且A=(aij)nn为G的邻接矩阵,则Ak中的i和j列元素aij(k)是图G中从xi到xj且长度为k的有向链的数目.说明2:该定理同样适合无向图,且定理中的链不能改为迹或路.推论1 若G是P阶简单图,且G的邻接矩阵为A=(aij),则对G的每一个顶点vi,i=1,2,p,有d(vi)=aii(2),其中A2=(aii(2).定理2 已知P(P3)阶图G的邻接矩阵为A,作P阶方阵R=A+A2+Ap-1,则图G连通的充分必要条件为R中的每个元素都不为零.第30页,本讲稿共117页2.关联矩阵关联矩阵:设 是有向图,且V=,称 阶矩阵M=(mij)为有向图D的
22、关联矩阵,其中第31页,本讲稿共117页设 是无向图,且V=,称 阶矩阵M=(mij)为无向图D的关联矩阵,其中说明3:从关联矩阵可得无向图的一些性质:(1)关联矩阵的每一列只有两个1(每条边只关联两个顶点);(2)关联矩阵的每一行元素之和为对应顶点的度;(3)若某行中元素全为零,则相应顶点为孤立点;(4)重边所对应的列完全相同.第32页,本讲稿共117页3.可达矩阵:设G=是无重边有向图,其中V=,称 阶矩阵P=(Pij)为G的可达矩阵.其中第33页,本讲稿共117页图的矩阵表示(2)定理定理2 已知P(P3)阶图G的邻接矩阵为A,作P阶方阵R=A+A2+Ap-1,则图G连通的充分必充分必要
23、条件要条件为R中的每个元素都不为零.2.关联矩阵:设 是有向图,且V=,称 阶矩阵M=(mij)为有向图D的关联矩阵,其中第34页,本讲稿共117页 图的矩阵表示(3)设 是无向图,且V=,称 阶矩阵M=(mij)为无向图无向图D的关联矩阵,其中说明3:从关联矩阵可得无向图的一些性质:(1)关联矩阵的每一列只有两个1(每条边只关联两个顶点);(2)关联矩阵的每一行元素之和为对应顶点的度;(3)若某行中元素全为零,则相应顶点为孤立点;(4)重边所对应的列完全相同.第35页,本讲稿共117页欧拉图欧拉图(1)定义定义1 1 给定无孤立结点的无向图G,经过图G的每边一次且仅一次的迹为一条欧拉路.经过
24、图G的每边一次且仅一次的回为一条欧拉回路.说明:(1)由定义,含有欧拉路(回)的图显然是连通的;(2)欧拉路是迹(边互不重复),但不是严格意义上的路.定理1连通图G具有欧拉回路当且仅当其每个顶点的度数为偶数.第36页,本讲稿共117页欧拉图与哈密顿图(2)定理定理2 2 连通图连通图G G具有欧拉路而无欧拉回路具有欧拉路而无欧拉回路,当当且仅当且仅当G G恰有两个奇数度顶点恰有两个奇数度顶点.定义定义2 2 给定有向图给定有向图D,D,经过经过D D中每边中每边一次且仅一次且仅一次一次的的有向迹有向迹称为称为D D的的有向欧拉路有向欧拉路.经过经过D D中中每边一次且仅一次的每边一次且仅一次的
25、有向闭迹有向闭迹(回回),),称为有称为有向欧拉回路向欧拉回路.第37页,本讲稿共117页欧拉图与哈密顿图(3)定理定理3 具有弱连通性的有向图具有弱连通性的有向图G具有有向欧具有有向欧拉回路拉回路,当且仅当当且仅当G的每个结点的入度等于出的每个结点的入度等于出度度.具有弱连通性的有向图具有弱连通性的有向图G具有有向欧拉路具有有向欧拉路,当当且仅当且仅当在在G中中,一个结点的入度比出度大一个结点的入度比出度大1,另另一个结点的入度比出度小一个结点的入度比出度小1,而其余每个结点而其余每个结点的入度等于出度的入度等于出度.定义定义3 含有含有欧拉回路的无向连通图欧拉回路的无向连通图与与含有向欧含
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 论及 算法 数模 精品 文稿

限制150内