| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 目录 | 第6-9页 |
| 表格索引 | 第9-10页 |
| 主要符号对照表 | 第10-11页 |
| 第一章 绪论 | 第11-15页 |
| ·问题背景 | 第11-12页 |
| ·参数复杂性 | 第12页 |
| ·主要结果和方法 | 第12-13页 |
| ·章节安排 | 第13-15页 |
| 第二章 预备知识 | 第15-23页 |
| ·参数复杂性 | 第15-19页 |
| ·问题的参数化 | 第15-17页 |
| ·固定参数可解 | 第17页 |
| ·一些参数复杂性类 | 第17-18页 |
| ·宽限制搜索树方法 | 第18-19页 |
| ·约束可满足问题 | 第19-21页 |
| ·CSP 的判定版本 | 第19-20页 |
| ·CSP 的优化版本 | 第20-21页 |
| ·图论记号 | 第21-23页 |
| 第三章 迭代压缩技术及应用 | 第23-29页 |
| ·基本思想 | 第23-24页 |
| ·实例：顶点覆盖 | 第23-24页 |
| ·图的边二分化 | 第24-27页 |
| ·历史注记 | 第27-29页 |
| 第四章 重要割技术 | 第29-35页 |
| ·重要割的定义和性质 | 第29页 |
| ·重要割的计数 | 第29-35页 |
| ·割函数的子模性 | 第30-31页 |
| ·计算重要割 | 第31-35页 |
| 第五章 确定类关系的Almost CSP 问题 | 第35-45页 |
| ·二元布尔关系 | 第35-36页 |
| ·问题定义与主要结论 | 第36页 |
| ·规约到图论问题 | 第36-40页 |
| ·使用迭代压缩规约到中间问题一 | 第37页 |
| ·从中间问题一到中间问题二 | 第37-38页 |
| ·从中间问题二到中间问题三 | 第38-39页 |
| ·从中间问题三到MinMixedCut问题 | 第39-40页 |
| ·-MinMixedCut 问题的固定参数可解算法 | 第40-43页 |
| ·算法描述 | 第41-42页 |
| ·算法分析 | 第42-43页 |
| ·主定理的证明 | 第43-45页 |
| ·定理5 1 的证明 | 第43-44页 |
| ·推论5 2 的证明 | 第44-45页 |
| 第六章 结论与公开问题 | 第45-47页 |
| 参考文献 | 第47-49页 |
| 致谢 | 第49-51页 |