第六章-指派问题.优秀PPT.ppt
《第六章-指派问题.优秀PPT.ppt》由会员分享,可在线阅读,更多相关《第六章-指派问题.优秀PPT.ppt(42页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、 第六章第六章 指派问题指派问题组合优化理论组合优化理论 Combinatorial Optimization Theory 指派指派 问题问题(Assignment Problem,AP)是一种特)是一种特殊的线性规划问题,也属于殊的线性规划问题,也属于 0-1 整数规划问题整数规划问题.在图在图论中称为最佳匹配问题论中称为最佳匹配问题(Optimal Matching).问题描述:有问题描述:有 n 项任务须要去完成,恰好有项任务须要去完成,恰好有 n 个人可个人可以去完成这以去完成这 n 项任务,而每个人完成各项任务的效率项任务,而每个人完成各项任务的效率是不同的,假如要求每人完成其中一
2、项,且每项任务是不同的,假如要求每人完成其中一项,且每项任务只交给其中一人去完成,应如何安排,使总的效率最只交给其中一人去完成,应如何安排,使总的效率最高高.第六章第六章 指派问题指派问题1 最大基数匹配问题最大基数匹配问题2 指派问题指派问题3 指派问题的应用指派问题的应用4 瓶颈安排问题瓶颈安排问题第六章第六章 指派问题指派问题1 最大基数匹配问题最大基数匹配问题人员工作安排问题:人员工作安排问题:某公司有工作人员某公司有工作人员 x1,x2,xn,他们去做他们去做 n 项工作项工作 y1,y2,yn,每人会做其中的一,每人会做其中的一项项或几项,要求每人至多做一项,每项工作至多由一人或几
3、项,要求每人至多做一项,每项工作至多由一人来做,问能否每人都安排到一项会做的工作?来做,问能否每人都安排到一项会做的工作?x3x1x2y2y1y3假如不假如不那么最多几人有会做的工作可做?且如何支配?那么最多几人有会做的工作可做?且如何支配?可用图和矩阵给出它的数学模型及求解方法可用图和矩阵给出它的数学模型及求解方法.1 最大基数匹配问题Definition 4.1设图设图 G=(V,E)Graph VertexEdge1、如果如果 ,且对且对 ,与与 无无 公共顶点,则称边子集公共顶点,则称边子集 M 是是 G 的一个的一个匹配匹配;2、M 中的每条边的两个顶点称为关于中的每条边的两个顶点称
4、为关于 M 是是饱和饱和的,的,否则称为否则称为非饱和非饱和的;的;3、G 中中每个顶点都每个顶点都关于关于 M 是是饱和饱和的,则称的,则称 M 是是 G 的的 一个一个完备完备匹配匹配;4、假如、假如 M 是是 一匹配,而不存在其他匹配一匹配,而不存在其他匹配 M1,使得,使得5、如果如果 M 是是 一匹配,而对一匹配,而对 不是不是 G 的匹配,则称的匹配,则称 M 是是G 的一个的一个极大匹配极大匹配.Note:最大匹配与极大匹配最大匹配与极大匹配的边数是不同的的边数是不同的x3x1x2y2y1y3,则称,则称 M 是是 G 的的最大(基数)匹配最大(基数)匹配;第六章第六章 指派问题
5、指派问题6、假如、假如 G 的顶点的顶点 V 可分可分 成两个满足如下条件的成两个满足如下条件的 子集子集 X,Y:对对 ,则与,则与 ej 关联的两个顶点分属关联的两个顶点分属 X Y,称称 G=(X,Y,E)为为二部二部图图或或偶图偶图.x3x1x2y2y1y3x4x5y4y5人员工作安排问题就是在人员工作安排问题就是在二部图中找寻最大匹配二部图中找寻最大匹配.1 最大基数匹配问题x3x1x2y2y1y3x4x5y4y5 该问题也可用矩阵表示该问题也可用矩阵表示假如假如 xi 会做会做 yj否则否则1111111111000000000000000 在矩阵中找寻什在矩阵中找寻什么?么?找寻
6、最多的不同行不找寻最多的不同行不同列的同列的 1 元素元素.(二部图二部图 G 的的邻接矩阵邻接矩阵)称为独立元称为独立元(素)(素)第六章第六章 指派问题指派问题如何找寻?如何找寻?礼让原则礼让原则 从每行、每列中,从每行、每列中,1 最少的行或列先取,一最少的行或列先取,一样多时随意样多时随意.缺憾的是缺憾的是这是错的这是错的 1 最大基数匹配问题 1965年匈牙利著名数学家年匈牙利著名数学家 Edmonds 为之设计了命为之设计了命名为名为“匈牙利算法匈牙利算法”的有效算法,计算复杂性为的有效算法,计算复杂性为 O(n ).就二部图的邻接矩阵,先给出几个概念:就二部图的邻接矩阵,先给出几
7、个概念:在第在第 i 行第行第 j 列上的列上的 (1 被加圈)表示被加圈)表示 xi(或或yj)已被安排,或该行(或列)已被安排已被安排,或该行(或列)已被安排;此时,由于所在行和列的此时,由于所在行和列的 1 元素不能再取,用元素不能再取,用 1 表示表示;不同行不同列的不同行不同列的,称为,称为 A 的一个安排,用的一个安排,用 M 表示表示;第六章第六章 指派问题指派问题设设 M 为已知安排,为已知安排,xi 未被未被安排,而该行没有安排,而该行没有1,则,则 xi 不能不能被安排;若有被安排;若有1,选择一个,选择一个1(aij),假如第假如第 j 列没有加圈列没有加圈 1,则对该,
8、则对该1 加圈,得到一新的安排加圈,得到一新的安排 M,有有 ,假如有加圈假如有加圈1(ai1j),则对),则对aij,ai1j打打,且划去第且划去第 j 列,列,再看第再看第 i1 行有否没有被划去的行有否没有被划去的1,没有,没有,结束结束;有,再重复上述过程,直至不能接着为止有,再重复上述过程,直至不能接着为止.这时所得序列,称为关于这时所得序列,称为关于 M 的的交互链交互链.假如在交互链假如在交互链中,最终得到的是无圈中,最终得到的是无圈 1,则称该交互链为可增广链,则称该交互链为可增广链.把可增广链中的加圈把可增广链中的加圈1与没圈的与没圈的1,互换标记,互换标记,得到一新的安排得
9、到一新的安排 M,有有 .上述过程称之为增广过程上述过程称之为增广过程.交互链、可增广链交互链、可增广链可在图可在图 G 中描述中描述1 最大基数匹配问题Theorem 4.1(Berge,1957)M 是是 A 的最大安排的充要条件是不存在可增广链的最大安排的充要条件是不存在可增广链.匈牙利算法匈牙利算法:Step 1任给一初始安排任给一初始安排 M,设设 S 为未被为未被 M 安排的行安排的行 集合;集合;Step 2假如假如 ,则此时已得到最大安排,则此时已得到最大安排,End 否则,取否则,取 ;Step 3找寻找寻 xi 动身的可增广链,动身的可增广链,假如存在,则进行增假如存在,则
10、进行增广;广;且令且令Go to Step 2;否则否则xi 不能被安排,不能被安排,令令Go to Step 2;对图对图 G 的最大匹的最大匹配,结论也成立配,结论也成立proofTheorem 4.1 的证明的证明Proof :必要性必要性:若若 M 是是 A 的最大安排,明显的最大安排,明显 A 中中无关于无关于 M 的可增广链,不然的可增广链,不然 M 还可以增广成独立元还可以增广成独立元更多的安排,与更多的安排,与 M 是最大安排相违;是最大安排相违;充分性充分性:反证,若反证,若 M 不是最大安排,不是最大安排,则存在安排则存在安排 M1,作作 由于由于 M2 是由是由 M,M1
11、 中非公共部中非公共部分组成,而分组成,而 M,M1 都是安排,所以都是安排,所以从从 M2 的任一的任一 1 动身,按交互链得到动身,按交互链得到方法,得到的链必是方法,得到的链必是 M,M1 中的中的1 交交替出现替出现.由于由于 ,所以在全部的交互链中,必有,所以在全部的交互链中,必有一条链属于一条链属于 M1 的的 1 多于属于多于属于 M 的的 1,且以,且以 M1 的的 1 动身、结束,这是关于动身、结束,这是关于 M 的可增广链的可增广链.与与 条件条件冲突冲突.证毕证毕第六章第六章 指派问题指派问题Example 1 求求 G 的最大匹配,的最大匹配,G 的邻接矩阵如右所示的邻
12、接矩阵如右所示:Solution:不妨设初始匹配不妨设初始匹配取取 x3,从,从x3y2 动身,动身,得一增广链:得一增广链:增广得增广得:取取 x4,得一增广链:得一增广链:增广得增广得:取取 x5,从,从x5y3 动身,动身,得一交互链,但不是增广链得一交互链,但不是增广链.从从 x5y4 动身,动身,因因 y4 未被安排,所以对未被安排,所以对 x5y4 加圈,得:加圈,得:所以,所以,M 是最大匹配,且是完备匹配是最大匹配,且是完备匹配.2 指派问题 在第一节的人员工作支配问题中,安排工作时,在第一节的人员工作支配问题中,安排工作时,只考虑人员有工作做只考虑人员有工作做.但事实上,由于
13、工作的性质和但事实上,由于工作的性质和个人的特长不同,在完成不同的任务时,其效益是不个人的特长不同,在完成不同的任务时,其效益是不同的(成本、时间、利润、费用同的(成本、时间、利润、费用 etc.).2 指派问题指派问题 设有设有 n 个人员去完成个人员去完成 n 项任务,第项任务,第 i 人完成第人完成第 j 项项任务的效益为任务的效益为 ,要求每人完成且仅完成一项,要求每人完成且仅完成一项,问如何安排,使完成问如何安排,使完成 n 项任务的总效益最佳项任务的总效益最佳.可以是可以是 max、min先考察先考察 min称称 C=(cij)nn 为为效益矩阵效益矩阵.第六章第六章 指派问题指派
14、问题Example 2 任务任务人员人员EJGRA215134B1041415C9141613D78119 有一份中文说有一份中文说明书须要译成英、日、德、明书须要译成英、日、德、俄四种语言,分别记为俄四种语言,分别记为 E、J、G、R.现有现有 A、B、C、D 四人,他们将中文翻译四人,他们将中文翻译成不同语言所需时间如表成不同语言所需时间如表,问应安排何人去完成何任问应安排何人去完成何任务(一人完成一项任务),使所需总时间最少?务(一人完成一项任务),使所需总时间最少?Solution:当分配第当分配第 i 人完成第人完成第 j 项任务项任务否则否则设设s.t.2 指派问题 明显,这是一个
15、明显,这是一个 0-1 规划问题,规划问题,任务任务人员人员EJGRA215134B1041415C9141613D78119 任务任务人员人员EJGRaiA2151341B10414151C91416131D781191bj1111 也是一个也是一个特殊的运输问题特殊的运输问题.所以所以,安排问题可用安排问题可用解解IP IP 问题方法(如:分问题方法(如:分支定界法支定界法),),或解运输问或解运输问题的表上作业法题的表上作业法.但是,但是,1、IP 是是 NP-C 问题;问题;2、有基变量、有基变量 2n-1 个,而有个,而有 n-1 个为零,高度退化个为零,高度退化.1955年,年,K
16、uhn-Munkras 提出了解提出了解AP 的算法,将求的算法,将求AP 转化为求完备匹配问题,其计算困难性为转化为求完备匹配问题,其计算困难性为 O(n3).由于算法引用了匈牙利数学家由于算法引用了匈牙利数学家 Knig 的结论的结论,所以,该算法也称为匈牙利算法所以,该算法也称为匈牙利算法.第六章第六章 指派问题指派问题Theorem 4.2(Knig,1931)Definition 4.2 图图 G=(V,E),一个顶点在一个顶点在 C 中,称中,称 C 为为 G 的一的一个个点点(对边的)(对边的)覆盖覆盖.点集点集 若若 G 中每条边至少有中每条边至少有点数最少的点覆盖点数最少的点
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第六 指派 问题 优秀 PPT
限制150内