En teoria de la complexitat, la classe de complexitat QMA (Quantum Merlin Authur) és el conjunt dels problemes de decisió que una resposta SI es pot verificar per un prova quàntica interactiva d'un sol missatge en un temps polinòmic. Més formalment, un llenguatge L és a QMA(c,s) si existeix un verificador quàntic en temps polinòmic V i un polinomi p(x) tal que: * , existeix un estat quàntic tal que la probabilitat que V accepti l'entrada és més gran que c. * , per tots els estats quàntics la probabilitat que V accepti l'entrada és menor que s.