难于计算问题的固定参数复杂性研究及应用

九十年代发展起来的固定参数复杂性理论开辟了难于判定和计算问题研究的新途径，极大丰富和发展了经典复杂性理论，成为数理逻辑和相关领域的研究热点。本项目拟从非单调逻辑和人工智能中重要的难于判定与计算问题入手探讨固定参数的选择、易处理性子类、复杂性分层等未解决的问题，进一步发展固定参数复杂性理论的思想、方法和证明技术。