参数计算中使用的若干技术

摘要：

参数计算和复杂性是上世纪末本世纪初兴起的一门技术.该技术因具有坚实的理论基础和良好的运行效果,故仅经过短短十几年的发展,已经取得了大量的成就.从趋势上看来,参数计算已经成为理论计算机科学中越来越热门的一个分支.先简要介绍参数计算和复杂性的重要理论基础和主要思想;之后重点介绍参数计算中使用的主要技术,分析每一种技术的功能作用、基本设计原则和优缺点,并结合简单案例加以说明.

关键词：参数计算、复杂性、NP完全、核心化、分支搜索

所属期刊栏目：41

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金项目1070199,61202486,61272010

在线出版日期：2014-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：18-23