参考文献/References:
[1] Deutsch D.Quantum theory,the church-turing principle and the universal quantum computer[C] //Proceedings of the Royal Society.London,1985,400(1818):97-117.
[2] Shende V V,Prasad A K,Markov I L,et al.Reversible logic circuit synthesis[C] //Proceedings of the International Conference on Computer-Aided Design.San Jose,CA,USA,2002:125-132.
[3] Maslov D,Dueck G W,Miller D M.Toffoli network synthesis with templates[J].IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems,2005,24(6):807-817.
[4] Shende V V,Prasad A K,Markov I L,et al.Synthesis of reversible logic circuits[J].IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems,2003,22(6):723-729.
[5] Song X Y,Yang G W,Perkowski M,et al.Algebraic characteristics of reversible gates[J].Theory of Computing Systems,2004,37(2):311-319.
[6] 李志强,陈汉武,李文骞.基于位运算的量子可逆逻辑电路快速综合算法[J].计算机科学,2008,35(3):13-17.
Li Zhiqiang,Chen Hanwu,Li Wenqian.Speedy algorithm for synthesis of quantum reversible logic circuits based on bit operation[J].Computer Science,2008,35(3):13-17.(in Chinese)
[7] Yang G W,Song X Y,Hung W N N,et al.Group theory based synthesis of binary reversible circuits[C] //Proceedings of the 3rd International Conference on Theory and Applications of Models of Computation.Beijing,China,2006:365-374.
[8] 陈汉武,李志强,徐宝文.置换群与整数间一对一Hash函数的构建[J].东南大学学报:自然科学版,2008,38(2):225-227.
Chen Hanwu,Li Zhiqiang,Xu Baowen.Construction of one-for-one Hash function mapping between permutation group and integral number[J].Journal of Southeast University:Natural Science Edition,2008,38(2):225-227.(in Chinese)
[9] Miller D M,Maslov D,Dueck G W.A transformation based algorithm for reversible logic synthesis[C] //Proceedings of the 40th Design Automation Conference.Anaheim,CA,USA,2003:318-323.
[10] Li W Q,Wang J J,Chen H W,et al.Application of template technique in optimizing quantum logical circuit[C] //Proceedings of the 11th International Conference on CSCWD.Melbourne,Australia,2007:155-161.
[11] Iwama K,Kambayashi Y,Yamashita S.Transformation rules for designing CNOT-based quantum circuits[C] //Proceedings of Design Automation Conference.New Orleans,LA,USA,2002,28(4):419-425.