参数计算理论及应用

参数计算理论是计算机科学中一个新的研究领域，其将计算理论与计算实践两者有效的结合起来。本项目主要研究参数计算的基础理论、算法及实际应用。本项目将为参数算法的研究和发展提供新的设计与分析技术。研究的思想将基于本研究小组提出的"基于深刻理论研究的简单计算方法"的哲学观点。其目标是解决现实世界计算中出现的难解问题。本项目基于深入的算法设计与分析技术、内在问题结构的新发现及结构复杂性的深入研究，将研究概念简单、结构具体和实际有效的参数算法策略和NP难问题多个优化解的固定参数 枚举理论和算法。本项目的研究将为一系列应用领域中的难解问题提供新的算法技术和研究方案，包括计算生物学，数据库系统、网络优化、密码学。对其中的参数可解问题我们将提供通用的参数算法设计与分析方法，并将为典型难解问题提供高效的算法。对参数难解问题我们将研究新的计算下界技术。本项目的研究将为参数算法进入真正实用领域扫清障碍。