Bare en tanke som slo meg når jeg scrollet gjennom complexityzoo: Det står at [Group Non-Membership](https://complexityzoo.net/Complexity_Garden#group_nonmembership) er i QMA, og *"classically this is impossible"*. Original paper: [Watrous](https://arxiv.org/abs/cs/0009002) brukte dette problemet til å gi en orakelseperasjon BQP $\not\subseteq$ MA (og MA $\not\subseteq$ QMA?). Vil det si at å *verifisere* slike løsninger er en mulig nyttig anvendelse kvantedatamaskiner? Er det andre problemer i QMA$\backslash$NP der ute av tilsvarende interesse?