稳定婚姻匹配问题的一个快速枚举算法.pdfVIP

2010年 工 程 图 学 学 报 2010 第 3期 JOURNALOFENGINEERING GRAPHICS NO．3 稳定婚姻匹配问题的一个快速枚举算法 宋旭东， 纪秀花 (山东经济学院计算机科学与技术学院，山东 济南 250014) 摘 要：稳定匹配问题是算法理论中的典型问题之一，稳定婚姻匹配问题则是一种 解决二部图匹配问题的模型。论文对稳定婚姻匹配问题进行了简单的阐述，并介绍了求解典 型稳定婚姻 问题的Gale．Shapley算法的基本思想及其性质。为了快速求出所有的稳定匹配结 果，提出了基于先序遍历森林的快速枚举算法。由Gale—Shapley算法的性质得到一个定理及 其推论，利用得到的推论对算法做了进一步改进和优化。在满足推论的特定条件下，提高了 算法的执行效率。 关 键 词：计算机应用；算法理论；稳定婚姻匹配；先序遍历；森林；枚举 中图分类号：TP391 文献标识码 ：A 文 章 编 号：1003—0158(2010)03—0187—06 AFastEnumerationAlgorithm onStableM arriageM atchingProblem SONGXu—dong， JIXiu—hua (SchoolofComputerScienceandTechnology,ShandongEconomicUniversity,JinanShnadong250014，China) Abstract：Thestablematchingproblem isoneofthetypicalproblemsin thealgorithm theory．Thestablemarriagematchingproblem isamodelwhichcanbeusedtosolvetheproblem aboutbipartitegraphmatching．Inthispaperthestablemarriagematchingproblem isintroduced briefl~ andthebasicideaandpropertyoftheGale—Shapleyalgorithm aredescribed．Andthena quick enumeration algorithm based on preorder rtaversalof forestisdesigned forquickly enmu eratingallthestablematchingresults．A theorem anditsinferencearederived from hte property oftheGale—Shapley algoritmh ．Thealgoritmh isfurtherimprovedandoptimizedby utilizing theinference．Theexecution timeoftheoriginalalgoritmh isimproved in specified conditionswherehteinferenceissatjsfied． Keywords：computerapplication；algorithm theory ；stablemarriagematching；preorder traversal；forest；enumeration 1962年两个 数理经济学 家DavidGale和 andhteSatbilityofMarriage’’的论文中首次引出 LloydShapley在一篇名为 “CollegeAdmissions 并介绍了稳定婚姻 问题 。考虑 个男人的集合 收稿 日期：2008—09—26 基金项目：国家 自然科学基金资助项 目；山东省自然科学基金资助项目(Y2005Gl