-
题名带权无向图中反馈顶点集的固定参数枚举算法
被引量:1
- 1
-
-
作者
王建新
江国红
陈建二
-
机构
中南大学信息科学与工程学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第7期1140-1152,共13页
-
基金
国家自然科学基金(60773111
60873265)
+1 种基金
国家"九七三"重点基础研究发展规划项目基金前期研究专项(2008CB317107)
国家教育部创新团队资助计划(IRT0661)资助~~
-
文摘
反馈顶点集(FVS)问题是一个经典的NP-完全问题,在很多领域有重要的应用.人们对该问题进行了大量的研究,但目前还没有有效的算法枚举带权无向图的反馈顶点集.文中通过对带权无向图中反馈顶点集问题的结构的深入分析,给出了一个有效的基于分支搜索技术的固定参数枚举算法.算法将反馈顶点集问题转化为反馈边集问题,通过枚举z个权值最大的森林来枚举z个权值最小的含k条边的反馈边集,从而得到z个权值最小的含k个顶点的反馈顶点集,算法时间复杂度为O(5kn2(logn+k)+3kz(n2logn+z)).
-
关键词
反馈顶点集
无向图
带权
参数
固定参数枚举
-
Keywords
meration feedback vertex set
undirected graphs
weighted
parameter
fixed-parameter enu
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名3-维匹配问题的一种固定参数枚举算法
被引量:1
- 2
-
-
作者
刘运龙
王建新
-
机构
中南大学信息科学与工程学院
湖南师范大学继续教育学院
-
出处
《计算机科学》
CSCD
北大核心
2010年第5期210-213,共4页
-
基金
国家973前期研究专项课题"信息处理中的参数算法研究"(No.2008CB317107)
国家自然科学基金项目"参数计算理论及应用"(60773111)资助
-
文摘
枚举问题的多个最优解是计算机科学中人们日益关注的一个研究方向。运用固定参数枚举理论和着色技术对3-维匹配问题提出了一个高效的固定参数枚举算法,即给定一个含有n个带权值的元组集合S,两个非负整数k和z,该算法能在时间O(5.483kkn2z)内枚举出S中权值最大的z个k-matchings,进而表明了3-维匹配问题是固定参数线性可枚举的。
-
关键词
3-维匹配问题
固定参数枚举
着色技术
-
Keywords
3-D Matching Fixed-parameter enumerable Color-coding
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-