负数据库生成算法及应用研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-16页 |
| 第1章 绪论 | 第16-32页 |
| ·课题背景与研究意义 | 第16-19页 |
| ·负数据库的概念和特点 | 第16-18页 |
| ·负数据库与SAT公式的关系 | 第18-19页 |
| ·SAT问题的研究现状 | 第19-23页 |
| ·SAT公式生成算法 | 第19-22页 |
| ·典型的SAT求解器 | 第22-23页 |
| ·负数据库研究现状 | 第23-30页 |
| ·单串负数据库生成算法 | 第23-25页 |
| ·多串负数据库生成算法 | 第25-28页 |
| ·负数据库的应用 | 第28-30页 |
| ·本文的主要研究内容和创新之处 | 第30-31页 |
| ·本文内容的组织安排 | 第31-32页 |
| 第2章 单串负数据库生成算法研究 | 第32-62页 |
| ·引言 | 第32页 |
| ·相关工作 | 第32-34页 |
| ·前缀算法和q-hidden算法的混合算法 | 第34-46页 |
| ·算法描述及完备性证明 | 第34-39页 |
| ·实验验证 | 第39-45页 |
| ·讨论 | 第45-46页 |
| ·p-hidden算法 | 第46-59页 |
| ·算法描述 | 第46-48页 |
| ·对于局部搜索的求解器的难解性分析 | 第48-53页 |
| ·实验验证 | 第53-58页 |
| ·讨论 | 第58-59页 |
| ·本章小结 | 第59-62页 |
| 第3章 多串负数据库生成算法研究 | 第62-84页 |
| ·引言及相关工作 | 第62-63页 |
| ·难以逆转的两串负数据库生成算法 | 第63-74页 |
| ·算法描述 | 第63-65页 |
| ·理论分析 | 第65-71页 |
| ·实验验证 | 第71-74页 |
| ·难以逆转的多串负数据库生成算法 | 第74-81页 |
| ·算法描述 | 第74-75页 |
| ·理论分析 | 第75-76页 |
| ·实验验证 | 第76-81页 |
| ·讨论 | 第81-82页 |
| ·本章小结 | 第82-84页 |
| 第4章 负数据库上的分类和聚类算法研究 | 第84-106页 |
| ·引言及相关工作 | 第84-85页 |
| ·负数据库上海明距离的计算 | 第85-91页 |
| ·理论分析 | 第86-88页 |
| ·实验验证 | 第88-91页 |
| ·负数据库上的k近邻分类算法 | 第91-95页 |
| ·算法描述 | 第91页 |
| ·实验验证 | 第91-95页 |
| ·负数据库上的k均值聚类 | 第95-103页 |
| ·算法描述 | 第95-96页 |
| ·实验验证 | 第96-103页 |
| ·讨论 | 第103-104页 |
| ·本章小结 | 第104-106页 |
| 第5章 总结和展望 | 第106-108页 |
| 参考文献 | 第108-116页 |
| 致谢 | 第116-118页 |
| 攻读博士期间发表的论文和参加的科研项目 | 第118-120页 |
| 作者简历 | 第120页 |
