Diese Frage ergibt sich aus einer Antwort, die Joe Fitzsimons auf eine andere Frage gab . Die meisten Klassen für natürliche Komplexität haben eine einzeilige "intuitive Beschreibung", mit deren Hilfe Kernprobleme in dieser Klasse charakterisiert werden können. Bei NP geht es um "effiziente Verifizierung", bei #P um "Aufzählen von Lösungen", bei PSPACE um "Spielen" und so weiter.
Ich habe MA allgemein als BP (NP) verstanden, wobei der M-Schritt Ihnen den NP-Guesser gibt und der A-Schritt der BP-Teil ist, und daher sind Fragen zur Beziehung zwischen MA und NP wirklich Derandomisierungsfragen. Meine Frage lautet also:
Gibt es eine natürliche Möglichkeit zu verstehen, was QMA erfasst?