A Programming Language Characterizing Quantum Polynomial Time

被引：2

作者：

Hainry, Emmanuel ^{[1
]}

Pechoux, Romain ^{[1
]}

Silva, Mario ^{[1
]}

机构：

[1] Univ Lorraine, LORIA, Inria, CNRS, F-54000 Nancy, France

来源：

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023 | 2023年 / 13992卷

关键词：

D O I：

10.1007/978-3-031-30829-1_8

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We introduce a first-order quantum programming language, named FOQ, whose terminating programs are reversible. We restrict FOQ to a strict and tractable subset, named PFOQ, of terminating programs with bounded width, that provides a first programming language-based characterization of the quantum complexity class FBQP. We finally present a tractable semantics-preserving algorithm compiling a PFOQ program to a quantum circuit of size polynomial in the number of input qubits.

引用

页码：156 / 175

页数：20

共 50 条

[21] A tier-based typed programming language characterizing Feasible Functionals
Hainry, Emmanuel
Kapron, Bruce M.
Marion, Jean-Yves
Pechoux, Romain
PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 535 - 549
[22] POLYNOMIAL TIME QUANTUM ALGORITHMS FOR CERTAIN BIVARIATE HIDDEN POLYNOMIAL PROBLEMS
Decker, Thomas
Hoyer, Peter
Ivanyos, Gabor
Santha, Miklos
QUANTUM INFORMATION & COMPUTATION, 2014, 14 (9-10) : 790 - 806
[23] A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY
Yamakami, Tomoyuki
JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (04) : 1546 - 1587
[24] Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
Feree, Hugo
Hainry, Emmanuel
Hoyrup, Mathieu
Pechoux, Romain
ALGORITHMS AND COMPUTATION, PT I, 2010, 6506 : 291 - +
[25] AN ALGORITHM WITH POLYNOMIAL AVERAGE TIME IN INTEGER LINEAR-PROGRAMMING
KUZYRIN, NN
DOKLADY AKADEMII NAUK, 1995, 343 (01) : 15 - 16
[26] An entire space polynomial-time algorithm for linear programming
Tian, Da Gang
JOURNAL OF GLOBAL OPTIMIZATION, 2014, 58 (01) : 109 - 135
[27] POLYNOMIAL-TIME DUAL ALGORITHMS IN LINEAR-PROGRAMMING
NESTEROV, YE
CYBERNETICS, 1989, 25 (01): : 40 - 49
[28] An entire space polynomial-time algorithm for linear programming
Da Gang Tian
Journal of Global Optimization, 2014, 58 : 109 - 135
[29] A Quantum Computing Programming Language for Transparent Experiment Descriptions
Frey, Virginia
Rademacher, Richard
Durso-Sabina, Elijah
Greenberg, Noah
Videnov, Nikolay
Day, Matthew L.
Islam, Rajibul
Senko, Crystal
2021 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE 2021) / QUANTUM WEEK 2021, 2021, : 244 - 254
[30] MCBeth: A Measurement-based Quantum Programming Language
Evans, Aidan
Omonije, Seun
Soule, Robert
Rand, Robert
2023 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING, Q-SE, 2023, : 1 - 8

← 1 2 3 4 5 →