quantum algorithms:
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
In quantum complexity theory, “PostBQP” stands (in variation of BQP) for postselected bounded-error quantum polynomial time, denoting a fundamental complexity class of quantum computation.
PostBQP is closed under unions and intersections of problems in PostBQP. PostBQP is equivalent to the complexity class PP?, and includes BQP and QMA? as subclasses.
QMA?
The notion is due to:
See also:
Last revised on May 6, 2025 at 10:09:58. See the history of this page for a list of all contributions to it.