-
题名参数计算中使用的若干技术
被引量：1
- 1
-
-
作者
周星
彭伟
-
机构
国防科学技术大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第S1期18-23,共6页
-
基金
国家自然科学基金项目(1070199
61202486
61272010)资助
-
文摘
参数计算和复杂性是上世纪末本世纪初兴起的一门技术。该技术因具有坚实的理论基础和良好的运行效果,故仅经过短短十几年的发展,已经取得了大量的成就。从趋势上看来,参数计算已经成为理论计算机科学中越来越热门的一个分支。先简要介绍参数计算和复杂性的重要理论基础和主要思想;之后重点介绍参数计算中使用的主要技术,分析每一种技术的功能作用、基本设计原则和优缺点,并结合简单案例加以说明。
-
关键词
参数计算
复杂性
NP完全
核心化
分支搜索
-
Keywords
parameterized computation,complexity,np-complete,kernelization,branch and search
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
