中文摘要 | 第5-6页 |
Abstract | 第6-7页 |
目录 | 第8-11页 |
第一章 引言 | 第11-20页 |
1.1 研究背景 | 第11-17页 |
1.2 主要结果 | 第17-19页 |
1.3 论文结构 | 第19-20页 |
第二章 预备知识 | 第20-32页 |
2.1 图搜索算法的介绍 | 第20-21页 |
2.2 路、圈、区间图、弦图、区间序、完美序等概念和结果 | 第21-25页 |
2.3 汉密尔顿厚度以及相关的概念和术语 | 第25-26页 |
2.4 端点限制条件 | 第26-28页 |
2.5 Packability有关的定义和符号 | 第28页 |
2.6 给定顺序的限制条件 | 第28-29页 |
2.7 扩充性质 | 第29-30页 |
2.8 容错性 | 第30-31页 |
2.9 经过给定边集的容错性 | 第31-32页 |
第三章 严格区间图以及单位区间图新的识别以及认证算法 | 第32-44页 |
3.1 单位区间图的认证算法 | 第34-39页 |
3.2 严格区间图的MNS性质 | 第39-44页 |
第四章 区间图新的识别以及认证算法 | 第44-79页 |
4.1 LBFS序 | 第45-47页 |
4.2 区间图4步LBFS识别算法 | 第47-50页 |
4.3 区间图识别算法正确性的证明 | 第50-69页 |
4.3.1 一般图的结果 | 第50-53页 |
4.3.2 弦图的结果 | 第53-58页 |
4.3.3 区间图 | 第58-59页 |
4.3.4 完美排序 | 第59-68页 |
4.3.5 识别算法的主要结果 | 第68-69页 |
4.4 区间图认证算法 | 第69-70页 |
4.5 区间图认证算法所需的引理 | 第70-71页 |
4.6 区间图认证算法正确性的证明 | 第71-76页 |
4.7 算法的线性时间实现 | 第76-79页 |
第五章 图的汉密尔顿厚度 | 第79-149页 |
5.1 主要结果 | 第79-101页 |
5.1.1 一般图 | 第79-84页 |
5.1.2 区间图 | 第84-96页 |
5.1.3 进一步的工作 | 第96-101页 |
5.2 第五章的证明部分 | 第101-149页 |
5.2.1 一般图 | 第101-118页 |
5.2.2 区间图 | 第118-149页 |
第六章 区间图1PC/1HP问题的线性算法 | 第149-169页 |
6.1 预备引理 | 第149-150页 |
6.2 向前度序列和标准序 | 第150-152页 |
6.3 区间图1HP算法 | 第152-154页 |
6.4 1HP算法正确性的证明 | 第154-163页 |
6.5 区间图的1PC算法 | 第163-166页 |
6.6 1PC算法的正确性证明 | 第166-167页 |
6.7 区间图1HP和1PC算法的线性实现 | 第167-169页 |
参考文献 | 第169-181页 |
论文目录 | 第181-183页 |
致谢 | 第183页 |