-
题名顶点覆盖问题线性内核算法
被引量：2
- 1
-
-
作者
蔡晟
Rudolf Fleischer
朱洪
-
机构
复旦大学信息工程学院计算机系
华东师范大学软件学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第z1期53-56,共4页
-
基金
上海重点学科建设基金项目(B412)
国家自然科学基金项目(60496321,60703091)
-
文摘
参数复杂性作为算法研究的一个重要分支近10年在国际上受到了广泛的关注,线性内核问题作为参数复杂性研究的一类重要问题被广泛研究.主要给出了顶点覆盖问题的线性内核算法,在国内首次从理论上证明了顶点覆盖问题存在线性内核.算法首先通过顶点覆盖问题的2近似算法,将图的顶点集合分成两个顶点集合A,B,进而通过一系列规约将原始图的顶点覆盖问题转换到新图的顶点覆盖问题,然后证明了新图的顶点数目至多为2k,并且2k是这个问题的下界(k为参数具体定义见文章).
-
关键词
参数复杂性
内核化
线性内核
定点覆盖
-
Keywords
parameterized complexity
kernelization
linear kernel
vertex cover
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名顶点覆盖变体问题的确定参数可解算法研究
- 2
-
-
作者
洪翔宇
蔡晟
-
机构
复旦大学信息工程学院计算机系
-
出处
《计算机工程与科学》
CSCD
2008年第12期79-81,84,共4页
-
文摘
参数复杂性作为算法研究的一个重要分支,近十年来在国际上受到了广泛的关注,确定参数可解算法是参数复杂性研究的一类重要问题,因此被广泛研究。本文主要研究了顶点覆盖问题的两个变体问题:一个是连接的顶点覆盖问题,二是含权的树型顶点覆盖问题。这两个问题都是对原始的顶点覆盖问题加入了一些限制的变体问题。本文给出了这两个问题的确定参数可解算法,并且是目前的最好结果。
-
关键词
参数复杂性
确定参数可解算法
顶点覆盖
连接顶点覆盖
-
Keywords
parameter complexity
fixed-parameter tractable algorithm
vertex covering
connected vertex covering
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
