| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-14页 |
| ·课题研究的背景 | 第10-11页 |
| ·可逆逻辑函数分类的意义 | 第11-12页 |
| ·可逆逻辑综合及可逆逻辑函数分类的研究现状 | 第12-13页 |
| ·论文的结构安排 | 第13-14页 |
| 第二章 基础知识和相关理论 | 第14-23页 |
| ·布尔函数与可逆逻辑函数 | 第14-16页 |
| ·布尔函数及其主要表达式 | 第14-15页 |
| ·可逆逻辑函数与可逆逻辑门 | 第15-16页 |
| ·等价关系与集合的分类 | 第16-17页 |
| ·群论基础知识 | 第17-22页 |
| ·群与子群 | 第17-18页 |
| ·置换群 | 第18-19页 |
| ·共轭与陪集 | 第19-20页 |
| ·群的作用 | 第20-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 可逆逻辑函数 NP-NP 等价类个数的计算 | 第23-37页 |
| ·可逆逻辑函数的置换表示 | 第23-24页 |
| ·理论基础 | 第24-29页 |
| ·逻辑非门与交换门的性质 | 第24-27页 |
| ·可逆逻辑函数 NP-NP 等价 | 第27-29页 |
| ·算法 | 第29-33页 |
| ·算法实验及其结果 | 第33-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 可逆逻辑函数 NP-NP 等价判定 | 第37-46页 |
| ·三阶可逆逻辑函数的 NP-NP 等价判定 | 第37-42页 |
| ·改进的 J.E.Savage 算法 | 第37-38页 |
| ·布尔函数固定极 RM 展开式极性的确定 | 第38-39页 |
| ·辅因子的码值向量 | 第39-40页 |
| ·三阶可逆逻辑函数 NP-NP 等价判定 | 第40-42页 |
| ·可逆逻辑函数 NP-NP 等价判定的代数方法 | 第42-45页 |
| ·本章小结 | 第45-46页 |
| 第五章 总结与展望 | 第46-48页 |
| ·论文总结 | 第46-47页 |
| ·工作展望 | 第47-48页 |
| 致谢 | 第48-49页 |
| 参考文献 | 第49-53页 |
| 硕期间取得的研究成果 | 第53-54页 |