左侧带权凸二分图动态权值匹配.PDFVIP

第 卷 第 期 计 算 机 学 报 ３９ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．１１ 年 月 ２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６ 　 左侧带权凸二分图动态权值匹配 １） １） ２） 祖 ? 张苗苗 刘 静 　 　 　 　 １）（同济大学软件学院 上海 ２０１８０４） 　 　 ２）（华东师范大学上海市高可信计算重点实验室 上海 ２０００６２） 　 　 摘 要 动态匹配问题是指在图结构变更的情况下求解某特定匹配，包括添加和删除图中顶点和边的更新操作以 　 　 及计算匹配信息的查询操作 凸二分图是一类特殊二分图，在其顶点二划分（ ，）中， 顶点集为一个全序集，每个 ． 犡犢 犢 的邻点集在 中形成一段连续区间 已有的凸二分图动态基数匹配算法不能求解权值匹配，因而该文研究左 狓 犡 犢 ． ∈ 侧顶点带权凸二分图中动态最大权值匹配问题 文中提出一种问题求解的框架：在更新操作中维护参与匹配的顶 ． 点集合，继而在查询操作中计算相应的匹配信息 文中基于交错路定义了可替换集，并证明可通过计算可替换集来 ． 维护参与匹配的顶点集；提出紧致子图的概念，证明可替换集的求解等价于紧致子图的求解，从而将传统的通过寻 找交替路求解匹配的方法改进为通过寻找子图结构来求解匹配 文中利用凸二分图的凸性质将紧致子图的计算转 ． 化为查找该子图中最大或最小 顶点操作，进而结合隐性表征技术在增广平衡二叉查找树数据结构中快速求解， 狔 继而设计动态匹配算法在 （ ２ ）平摊时间下维护更新操作，在最坏线性时间下维护查询操作 较之于已知最 犗 ｌｏ 犞 ． ｇ｜｜ 好的解决不带权凸二分图动态基数匹配问题的方法，该文提出的方法能在与之相同的时间复杂度下解决难度更高 的左侧带权问题． 关键词 凸二分图；动态匹配；交错路；紧致子图；隐性表征；平衡二叉查找树 　 中图法分类号 号 ／ ＴＰ３０１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１６．０２３８８ 　　　 犇狀犪犿犻犮犠犲犻犺狋犕犪狋犮犺犻狀狊犻狀犔犲犳狋犠犲犻犺狋犲犱犆狅狀狏犲狓犅犻犪狉狋犻狋犲犌狉犪犺狊 狔 犵 犵 犵 狆 狆 １） １） ２）