一个量子程序设计环境-中国科学信息科学.PDFVIP

中国科学 信息科学 年 第 卷 第 期 SCIENTIA SINICA Informationis 中国科学院学部 科学与技术前沿论坛 量子计算专题 论文 |⟩ 一个量子程序设计环境 1,4* 2 1 1 1 1,3,2* 刘树森 周立 官极 贺旸 段润尧 应明生 1. Centre for Quantum Software and Information, Faculty of Engineering and Information Technology, University of Technology Sydney, Sydney 2007, Australia 2. 清华大学计算机科学与技术系, 北京 100084, 中国 3. 中国科学院软件研究所计算机科学国家重点实验室, 北京 100190, 中国 4. 中山大学数据科学与计算机学院, 广州 516000, 中国 * 通信作者. E-mail: shusen88.liu@, Mingsheng.Ying@.au 收稿日期: 2017–06–04; 接受日期: 2017–06–20; 网络出版日期: 2017–10–13 摘要 本文介绍了作者设计并实现的一个量子程序设计环境: Q|SI⟩ . Q|SI⟩ 是基于.net 语言开发 的支持量子 扩展语言的平台环境, 它包括了一个支持量子 语言的编译器和一套支持量 子计算模拟、量子电路优化、量子程序分析和量子程序验证的工具. 阐述了如何在经典计算机上通 过平台的各个组件和概率算法来模拟量子行为. 平台可扩展的架构允许用户在平台上自定义新的功 能. 同时, 编译器是Q|SI⟩ 的核心, 它内置的分解算法扩展了现阶段的量子硬件功能, 使通用量子计 算成为了可能, 成为连接量子硬件和量子软件的桥梁. 关键词 量子程序, 量子编译, 量子模拟, 量子程序分析, 量子程序验证 引言 众所周知, 量子计算机相比经典计算机可以更有效地解决一大类计算问题, 著名的例子包括Shor 大数分解算法 、Grover 搜索算法 和最近由Harrow, Hassidim 和Lloyd 提出的线性方程组求解算 法 等. 近些年, 各国政府和工业界在量子计算机研制中竞争十分激烈. 量子计算机发展如同经典计 算机的情形, 在商业化的进程中, 程序员自然需要一个可以表达量子算法和实现量子算法的平台, 这 个平台应该可以让程序员摒弃量子程序所对应量子电路实现中的细枝末节. 实际上, 相比于经典计算 机的程序设计, 量子计算机程序设计更需要这样的平台. 使用这样的平台, 程序员不必考虑太多量子 算法的物理实现, 因此可以 (部分) 避免程序员对于量子系统的违反直觉的一些特征的误解及带来的 负面影响. ¨ 过去的二十年里, 人们已经发展了一些量子编程平台. 1998 年, Omer 在C++ 平台上实现了第一 个量子程序设计语言 QCL . 与此类似, Bettelli 等 于 2003 年在 C++ 基础上实现了一个量子 引用格式 刘树森 周立 官极 等 |⟩ 一个量子程序设计环境 中国科学 信息科学 |⟩ ⃝ 《中国科学》杂志社 中国科学 信息科学 第 卷 第 期 语言的类库, 命名为 Q 语言. Sanders 和 Zuliani