参考文献/References:
[1] Keyes R W.After the transistor,the qubit? [J]. Computing Science & Engineering,2005,7(1):36-41.
[2] Grover L K.Quantum mechanics helps in searching for a needle in a haystack [J]. Physical Review Letters,1997,79(2):325-328.
[3] Karafyllidis I G.Quantum computer simulator based on the circuit model of quantum computation [J].IEEE Transactions on Circuits and Systems,2005,52(8):1590-1596.
[4] Viamontes G F.Gate-level simulation of quantum circuits [EB/OL].(2002-08-01)[2008-05-06].http://arxiv.org/abs/quant-ph/0208003v1.
[5] Viamontes G F.Improving gate-level simulation of quantum circuits[J]. Quantum Information Processing,2003,2(5):347-380.
[6] Bryant R E.Graph-based algorithms for Boolean function manipulation [J]. IEEE Trans on Computers,1986,35(8):677-691.
[7] Fujita M,McGeer P,Yang J-Y,et al.Multi-terminal binary decision diagrams:an efficient data structure for matrix representation [J]. Formal Methods in System Design,1997,10(2/3):149-169.
[8] Bahar B I,Frohm E A,Gaona C M,et al.Algebraic decision diagrams and their applications [J].Formal Methods in System Design,1997,10(2/3):171-206.
[9] Miller D M,Thornton M A.QMDD:a decision diagram structure for reversible and quantum circuits [C] //IEEE Proceedings of the 36th International Symposium on Multiple-Valued Logic.Singapore,2006:30-30.
[10] Miller D M,Thornton M A.A decision diagram package for reversible and quantum circuit simulation [C] //IEEE Congress on Evolutionary Computation.Vancouver,Canada,2006:2428-2435.
[11] Warren P,Grant P M.The future of computing new architectures and new technologies [C] //IEE Proceedings Nanobiotechnology.Ipswich,UK,2004:1-9.
[12] Boyer M.Tight bounds on quantum searching [R].Denmark:University of Southern Denmark,1996.
[13] Nielsen M A,Chuang L.Quantum computation and quantum information [M].北京:高等教育出版社,2003:248-255.
[14] Lanzagorta M,Uhlmann J K.Hybrid quantum-classical computing with application to computer graphics [R].California:ACM,2005.