[1] [1] Barends R, Kelly J, Megrant A, et al. Superconducting quantum circuits at the surface code threshold for fault tolerance[J]. Nature, 2014, 508(7497): 500-503.

[2] [2] Shor P W. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer[J]. SIAM Journal on Computing, 1997, 2(5): 1484-1509.

[3] [3] Pedrocchi F L. Spin Systems and Long-Range Interactions for Quantum Memories and Quantum Computing[D]. Germany: Doctorial Dissertation of University of Basel, 2013.

[4] [4] Soeken M, Wille R, Hilken C, et al. Synthesis of reversible circuits with minimal lines for large functions[C]. Design Automation Conference (ASP-DAC), 17th Asia and South Pacific. IEEE, 2012: 85-92.

[5] [5] Maslov D, Saeedi M. Reversible circuit optimization via leaving the Boolean domain[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2011, 30(6): 806-816.

[6] [6] Gupta P, Agrawal A, Jha N K. An algorithm for synthesis of reversible logic circuits[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2006, 25(11): 2317-2330.

[7] [7] Bandyopadhyay C, Roy S J, Biswal L, et al. Synthesis of ESOP-based reversible logic using negative polarity reed-muller form[C]. Students’ Technology Symposium (TechSym), 2014: 286-291.

[8] [8] Ruican C, Udrescu M, Prodan L, et al. A Genetic Algorithm Framework Applied to Quantum Circuit Synthesis[M]. Nature Inspired Cooperative Strategies for Optimization (NICSO 2007). Springer Berlin Heidelberg, 2008: 419-429.

[10] [10] Fan Fuyou, Yang Guowu, Le Qianqi, et al. A survey of the research on multi-valued quantum circuits[C]. International Conference on Wavelet Active Media Technology and Information Processing (ICWAMTIP), Chengdu, 2012: 338-341.

[11] [11] Wille R, Soeken M, Otterstedt C, et al. Improving the mapping of reversible circuits to quantum circuits using multiple target lines[C]. ASP-DAC., 2013: 145-150.

[12] [12] Shafaei A, Saeedi M, Pedram M. Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures[C]. Proceedings of the 50th Annual Design Automation Conference. ACM, 2013: 41-46.

[14] [14] Garcia H J, Markov I L. High-performance simulation of quantum circuits using stabilizer frames[C]. International Conference on Computer Design, ICCD, Asheville, USA, 2013: 404-410.

[15] [15] Banerjee A. Synthesis, Optimization and Testing of Reversible and Quantum Circuits[D]. India: Doctorial Dissertation of Jaypee Institute of Information Technology, 2011.

[16] [16] Soeken M, Frehse S, Wille R, et al. RevKit: An Open Source Toolkit for the Design of Reversible Circuits[M]. Springer Berlin Heidelberg, 2012: 64-76.