| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 引言 | 第11-23页 |
| ·基本概念 | 第11-14页 |
| ·控制集和配对控制集及其相关结果 | 第14-20页 |
| ·数学机械化简介 | 第20-22页 |
| ·本文的选题与工作 | 第22-23页 |
| 第二章 配对控制集问题的难度和近似难度分析 | 第23-35页 |
| ·配对控制集问题的NP-完全性 | 第23-25页 |
| ·配对控制集问题的近似比 | 第25-29页 |
| ·配对控制集问题的APX-完全性 | 第29-34页 |
| ·本章小结 | 第34-35页 |
| 第三章 配对控制集问题在特殊图上的机械化算法 | 第35-53页 |
| ·区间图上的机械化算法 | 第35-38页 |
| ·块图上的机械化算法 | 第38-46页 |
| ·强弦图上的机械化算法 | 第46-50页 |
| ·本章小结 | 第50-53页 |
| 第四章 块图中配对控制集的分析 | 第53-81页 |
| ·具有唯一最小配对控制集的块图 | 第53-63页 |
| ·包含在所有最小配对控制集中的顶点筛选 | 第63-80页 |
| ·本章小结 | 第80-81页 |
| 第五章 配对控制集问题的变形 | 第81-101页 |
| ·带距离的配对控制集问题 | 第81-96页 |
| ·带权的配对控制集问题 | 第96-99页 |
| ·本章小结 | 第99-101页 |
| 第六章 结束语 | 第101-103页 |
| 附录A GREEDY-PAIRED-DOM的Maple实现 | 第103-105页 |
| 附录B MPDS的Maple实现 | 第105-109页 |
| 参考文献 | 第109-121页 |
| 致谢 | 第121-123页 |
| 攻读博士学位期间发表论文和参与科研情况 | 第123-125页 |