期刊文献+

量子可逆逻辑电路综合的快速算法研究 被引量:9

A Fast Algorithm for Synthesis of Quantum Reversible Logic Circuits
下载PDF
导出
摘要 可逆逻辑有许多应用,尤其在量子计算领域,量子可逆逻辑电路是构建量子计算机的基本单元,量子可逆逻辑电路综合就是根据电路功能,以较小的量子代价自动构造量子可逆逻辑电路.文中结合可逆逻辑电路综合的多种算法,提出了一种新颖高效的算法,自动构造正极性Reed-Muller展开式(RM),在生成量子可逆逻辑电路的解空间树上,采用总体层次遍历,局部深度搜索,借鉴模板优化技术,构造限界函数快速剪去无解或非最优解的分枝,优先探测RM中的因子,以极高的效率生成最优电路.以国际公认的3变量可逆函数测试标准,该算法不仅能够生成全部最优电路,而且运行速度远远超过同类算法. Reversible logic finds many applications, especially in the area of quantum computing. Quantum reversible logic circuits are basic elements in quantum computer construction. Synthesis of quantum reversible logic circuits means to automatically construct desired quantum reversible logic circuit with minimal quantum cost. The authors absorb different ideas of reversible logic circuits synthesis and present a novel and efficient algorithm which can automatically derive the positive polarity Reed-Muller expansion (RM). A solution space tree is constructed to create quantum reversible logic circuits. Firstly, floor traversal is applied globally, and depth-first search is used locally. Secondly, according to the technique of template optimization, the bound function is constructed, which can rapidly prune the branches with no or nonoptimal result. Thirdly, factors of RM are first considered, therefore the algorithm can effectively construct optimal result and saves computational cost significantly. Judging by the internationally recognized reversible functions of three variables, the proposed algorithm not only synthesizes all optimal reversible functions, but also runs extremely faster than others of the same kind.
出处 《计算机学报》 EI CSCD 北大核心 2009年第7期1291-1303,共13页 Chinese Journal of Computers
基金 国家自然科学基金(60572071 60873101) 国家自然科学基金会重大研究计划(90412014) 江苏省自然科学基金(BK2008209 BK2007104) 江苏省高校自然科学研究计划(06KJB520137)资助~~
关键词 量子电路优化 REED MULLER 可逆逻辑电路 Toffoli门 量子计算 quantum circuit optimization Reed Muller reversible logic circuit Toffoli gate quantum computing
  • 相关文献

参考文献2

  • 1Xiaoyu Song,Guowu Yang,Marek Perkowski,Yuke Wang. Algebraic Characterization of Reversible Logic Gates[J] 2006,Theory of Computing Systems(2):311~319
  • 2Edward Fredkin,Tommaso Toffoli. Conservative logic[J] 1982,International Journal of Theoretical Physics(3-4):219~253

同被引文献84

  • 1吴楠,宋方敏.量子计算与量子计算机[J].计算机科学与探索,2007,1(1):1-16. 被引量:19
  • 2李文骞,陈汉武,王佳佳,李志强,刘文杰.模板技术在量子逻辑电路优化中的应用[J].东南大学学报(自然科学版),2006,36(6):920-926. 被引量:3
  • 3李盼池,李士勇.一种Grover量子搜索算法的改进策略[J].智能系统学报,2007,2(1):35-39. 被引量:6
  • 4管致锦,秦小麟,葛自明.量子电路可逆逻辑综合的研究及进展[J].南京邮电大学学报(自然科学版),2007,27(2):24-27. 被引量:4
  • 5肖芳英 陈汉武 陈开中 等.可逆电路错误检测方法的研究.通信学报,2007,28(8):96-104.
  • 6FEYNMAN R.Simulating physics with computers[J].Int.J.Theor.Phys.,1982,21(6):467-488.
  • 7OKSIN M,CHONG F,CHUANG I.A practical architecture for reliable quantum computers[J].IEEE Computer,2002,35(1):79-87.
  • 8NIELSEN M A,CHUANG I L.量子计算和量子信息(一)--量子计算部分[M].赵千川译.北京:清华大学出版社,2004:29-247.
  • 9SHOR P W.Polynomial-time algorithms for prime factorization and discrete logarithms on a quantumcomputer[J].SIAM j.Comp.,1997,26(5):1484-1509.
  • 10GROVER L K.Quantum mechanics helps in searching for a needle in a haystack[J].Phys.Rev.Lett.,1997,79(2)g 325-329.

引证文献9

二级引证文献25

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部