Skip to main content

New answers tagged

2 votes

On the power of QMA(2)

The inclusion $EXP\subseteq QMA(2)$ is not known, and in fact is not expected to hold. It would imply that any exponential-size computation could be verified in polynomial time. In fact, the inclusion ...
Lieuwe Vinkhuijzen's user avatar

Top 50 recent answers are included