无向图中子集反馈顶点集问题的精确算法.PDFVIP

第 卷 第 期 ４１ ３ 　 　　 　　 　　 　　 Ｖｏｌ．４１ Ｎｏ．３ 年 月 ２０１８ ３ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｍａｒ．２０１８ 　 无向图中子集反馈顶点集问题的精确算法 ），） ） 周晓清１ ２ 肖鸣宇１ 　　 １）（电子科技大学计算机科学与工程学院 成都 ６１１７３１） 　 　 ２）（成都大学信息科学与工程学院 成都 ６１０１０６） 　 　 摘 要 子集反馈顶点集问题是一个经典的 ＮＰ难问题，该问题是指在一个无向图中删除最少的顶点使得图中某 　 　 些给定的顶点不在任何圈中 子集反馈顶点集问题包含了经典的最小反馈顶点集、多路割等重要特例问题，并且可 ． 应用于电路测试、操作系统解死锁等领域 子集反馈顶点集问题也是精确算法中的一个重要问题，该问题存在一个 ． 运行时间为  狀 （ ）的简单暴力搜索算法，其中 为图中顶点数 直到 年 等人给出一个运行时间为 犗 ２ 狀 ． ２０１１ Ｆｏｍｉｎ  狀  狀 （ ）的算法，这个运行时间界才被打破 文中将该运行时间上界进一步改进到 （ ）文中的算法 犗 １．８６３８ ． 犗 １．７７４３ ． 是一个分支搜索算法，为了改进该问题的运行时间界，文中对问题的结构性质进行了深入的分析，挖掘出若干有效 的规约和分支规则，再采用测量治之方法对算法的运行时间进行分析，最终将运行时间上界给予改进． 《 关键词 ＮＰ难问题；精确算法；测量治之；子集反馈顶点集问题 　 计 中图法分类号 号 ／ ＴＰ３０１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１８．００４９３ 　　　 算 犈狓犪犮狋犃犾狅狉犻狋犺犿狊犳狅狉狋犺犲犛狌犫狊犲狋犉犲犲犱犫犪犮犽犞犲狉狋犲狓犛犲狋犘狉狅犫犾犲犿犻狀 犵 犝狀犱犻狉犲犮狋犲犱犌狉犪犺狊 机 狆 ），） ） ＺＨＯＵＸｉａｏＱｉｎ１ ２ １ ＸＩＡＯＭｉｎＹｕ