量子可逆逻辑综合的关键技术及其算法的研究

摘要

可逆逻辑有许多应用,尤其在量子计算领域。最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑电路。为了提高可逆逻辑自动生成与优化的效率,我们提出了类模板技术和一类快速算法。模板技术是一个有效的优化工具,类模板技术可以显著地提高模板技术的优化效率和匹配的完备性;R-M算法是可逆逻辑综合的一种好的迭代方法,基于R-M算法的原始思想,我们构建了一个完美的映上的哈希函数,在此基础上提出的一类全新的可逆逻辑综合的快速算法。实验结果表明类模板技术与快速算法在同等实验环境下,其优化的效果与效率远远优于已知的其他算法。