-
题名顶点覆盖变体问题的确定参数可解算法研究
- 1
-
-
作者
洪翔宇
蔡晟
-
机构
复旦大学信息工程学院计算机系
-
出处
《计算机工程与科学》
CSCD
2008年第12期79-81,84,共4页
-
文摘
参数复杂性作为算法研究的一个重要分支,近十年来在国际上受到了广泛的关注,确定参数可解算法是参数复杂性研究的一类重要问题,因此被广泛研究。本文主要研究了顶点覆盖问题的两个变体问题:一个是连接的顶点覆盖问题,二是含权的树型顶点覆盖问题。这两个问题都是对原始的顶点覆盖问题加入了一些限制的变体问题。本文给出了这两个问题的确定参数可解算法,并且是目前的最好结果。
-
关键词
参数复杂性
确定参数可解算法
顶点覆盖
连接顶点覆盖
-
Keywords
parameter complexity
fixed-parameter tractable algorithm
vertex covering
connected vertex covering
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于搜索树的平面图支配集算法
- 2
-
-
作者
来心可
吴筱天
-
机构
复旦大学计算机科学技术学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2011年第6期37-40,共4页
-
文摘
许多来自工业应用的优化问题都是NP难问题。确定参数可解FPT作为处理这类问题的另外一种思路,在最近的10多年中受到了广泛的关注。支配集问题是图论中最重要的NP完全的组合优化问题之一,即使对于FPT体系而言,一般图中的支配集问题属于W[2]完全的,意味着不可能设计出复杂度为f(k)no(1)的算法。在本文中,我们考虑在给定的平面图G=(V,E)中参数化支配集问题,给定参数k,看是否存在大小为k的顶点集合支配图中的其他顶点,当把问题限定在平面图上,这个问题属于确定参数可解。本文给出了基于两组归约规则的搜索树算法,通过使用规约技术化简实例,构造搜索树,得到了复杂度为O(8kn)的算法,同时通过相关实验结果显示了归约规则对算法的作用。
-
关键词
算法
搜索树
支配集
确定参数可解
-
Keywords
algorithm
search tree
dominating set
fixed-parameter tractable
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名限制树宽的图的最小标记生成数算法
- 3
-
-
作者
徐忆晨
Rudolf Fleischer
-
机构
复旦大学智能信息处理上海重点实验室
复旦大学计算机科学与工程系
-
出处
《计算机工程与科学》
CSCD
2008年第12期72-74,共3页
-
基金
国家自然科学基金资助项目(60573025)
上海重点学科建设基金资助项目(B114)
The Robert Bosch Foundation,Ger-many,Science Bridge China
-
文摘
本文研究了图的最小标记生成树问题。首先介绍在一般图上基于搜索树的最小标记生成树的算法;然后考虑了限制树宽的图,得到了效率更高的算法。该算法在树宽为常数的情况下,时间复杂度关于图的顶点个数为多项式,从而也证明了最小标记生成树在限制树宽的图上属于确定参数可解问题。
-
关键词
最小标记生成树
搜索树
限制树宽
确定参数可解
-
Keywords
minimum label spanning tree
search tree
bounded treewidth
fixed-parameter tractablility
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
