量子編程(Quantum programming)是匯編指令序列之行程,稱為量子程序,能夠在量子計算機上運行。量子編程語言使用高級結構化的形式以助表達量子演算法的計算。[1]

量子指令集

量子指令集用於將更高級別的演算法轉換為可以在量子處理器上執行的物理指令。有時這些指令是特定於給定的硬件平台,例如離子阱超導量子位元英語Superconducting quantum computing

cQASM

cQASM,[2]也稱為通用QASM,是一種與硬件無關的QASM,可保證所有量子編譯以及仿真工具之間的互相操作性。它是由TUDelft的QCA實驗室所引入的。

Quil

Quil是一種用於量子計算的指令集架構,它首先引入了共享量子/經典的記憶模型。它是由"羅伯特·史密斯"(Robert Smith)、"邁克爾·柯蒂斯"(Michael Curtis),與"威廉·曾"(William Zeng)在"實用量子指令集架構"(A Practical Quantum Instruction Set Architecture)一文中介紹的。[3]許多量子算法(包括量子隱形傳態量子誤差更正英語Quantum error correction、模擬、[4][5]以及優化演算法[6])需要共享記憶架構。

OpenQASM

OpenQASM[7]是 IBM 引入用於QiskitIBM量子體驗平台英語IBM Quantum Experience的中介表示。

Blackbird

Blackbird[8][9]哈納杜量子技術公司英語Xanadu Quantum Technologies及史特貝利菲爾德公司(Strawberry Fields)使用的量子指令集與中介所表示的。Blackbird旨在表示可以於光子量子硬件上運行的連續可變英語Continuous-variable quantum information量子程序。

量子程式語言

量子程式語言主要有兩類:命令式量子程式語言和函數式量子程式語言。

命令式程式語言

命令式語言最著名的代表是 QCL、[10] LanQ[11] 和 Q|SI>。[12]

函數式語言

正在致力於開發用於量子計算的函數式程式語言。函數式程式語言非常適合進行程序推理。一些示例包括 Selinger 的 QPL[13]、Haskell 類 Altenkirch 和 Graattage 的 QML 語言[14][15]。高階量子程式語言,基於lambda演算,由 van Tonder[16]、Selinger 和 Valiron[17] 以及 Arrighi 和 Dowek[18] 提出。

參見

註釋

延伸閱讀

參閱

外部連結

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.