Skip to main content

QMA Problems

Definition

QMA problems, or Quantum Merlin-Arthur problems, define a complexity class for problems whose solutions can be verified by a quantum computer. In this model, a powerful but untrusted quantum prover offers a quantum proof, and a polynomial-time quantum verifier assesses its validity with high probability. This class extends classical NP problems into the quantum computational domain.