多部图的最大匹配算法.pdfVIP

第45卷第1期 郑州大学学报(理学版) V01．45No．1 2013年3月 J．ZhengzhouUniv．(Nat．Sci．Ed．) Mal-．2013 多部图的最大匹配算法 毛 华， 赵小娜， 史田敏， 毛晓亮， 刘 辉 (河北大学数学与计算机学院河北保定071002) 摘要：匹配理论是图论中一个重要的分支，已被广泛地应用于许多领域，如组合优化、线性规划、人工智能和矩阵论 等．给出一个求解多部图的最大匹配算法，并用仿真例子说明其实用性和有效性，此算法为解决复杂的指派问题开 辟了新途径． 关键词：匹配理论；最大匹配；多部图 中图分类号：023 文献标志码：A 文章编号：1671—6841(2013)01—0027—03 DoI：10．3969／j．issn／1671—6841．2013．01．007 0 引言 图论思想和方法越来越被许多科学领域所接受，并日益发挥它的重要作用．进入2l世纪以来，图论又成 为研究人员讨论的热点，特别是图论中的匹配知识在生产实践中有着重要的应用，多部图的匹配作用更是如 此，在实际生活中的“工作安排”、“体育比赛”等都用到多部图匹配知识．另外，在“交巡警安排”、“铁路调 度”、“公交调度”、“运营线路选择”和“飞机排班问题”等都有多部图的成功运用．此外，在知识发现、知识获 取以及人工智能等方面也有多部图的有效应用¨。j． 假设有，z种不同的劳动工具用集合{fl，f：，…，Z。}表示，而每名工作人员会使用一种或几种劳动工具去 从事不同的工作，如何达到尽可能多的工作人员使用不同的劳动工具去从事不同的劳动，对于这类问题的解 决，需要考虑的因素有人员、工具和工作．事实上，这是一类匹配的问题，但是如果采用2部图的模型已经不 能解决该问题，因此必须建立新的数学模型，如3部图等．解决这类问题，一般地，若要考虑的因素有k个，那 么可用k部图建立其相应的数学模型． 基于这类实际问题以及多部图的研究现状，本文提出关于多部图的最大匹配算法，不仅为研究多部图的 匹配问题奠定了理论基础，而且对于图论本身也是一个贡献． 1预备知识 文中关于图论的基本知识均来自文献[8—10]，下面仅复习其中几个概念． 定义1 (1)设G是一个图，由G中一些不相邻的边组成的集合肘称为G的一个匹配；对匹配M中的 每条边删，其两端点M和口称为被匹配M所匹配，而M和秽都称为是M饱和的；如果图G中没有另外的匹配 肘’，使得IM’II肘l，则称M是最大匹配． 的顶点为孤立点． 任何一条边的2个端点在同一个Xj(j=l，2，…，k)中． 为表述方便，给一个新的概念． 收稿日期：2012—10—30 基金项目：保定市科学技术研究项目，编号11ZG005． 者：赵小娜(1985一)，女，硕士，主要从事图论和网络物流研究，E·mail：shitianminzi@126．corn． 万方数据 郑州大学学报(理学版) 第45卷 定义2设G为一个k部图，y(G)=x。u五u…u以，其中Xi 匹配． 2模型建立 下面用一个3部图描述所研究的模型．在实际生活中，人们通过劳动得到应有的报酬，这样就有了人、劳 动和报酬之间的关系，而不是人和报酬之间的直接关系． 设用u，，“：，…，M；表示s个工作人员，t项工作用秽，，：，…，‰表示，用埘。，埘：，…，W。表示m种报酬，令 X1={ul，“2，…，H，}，X2={秽l，秽2，…，q}，X3={似1，加2，…，W。}，V=XlUX2UX3，易知xlux2uX3=⑦．下面 面给出的所有边的集合，则得到一个3部图(x。，夏，x，；E)，如何安排工作可以使更多的工作人员得到报酬， 这样问题可以转化为求3部图(置，x：，墨；E)的最大通匹配问题． 故依据这类事实和图论基本知识，本文将解决多部图的有关内容，所研究的多部图的模型也是如上面的 描述． 若图中存在孤立点，则占用空间大，增大了算法的复杂度，但孤立点的存在并不影响通匹配的结果，故本 文对存在孤立点的图转化为无孤立点的图来研究． 3算法