Dvs. [[QMA]]$\backslash$[[NP]]: Klassen av problemer som sitter i [[QMA]] men ikke i [[NP]]. Intuitivt, settet av problemer som er lett for [[Kvantedatamaskiner]] å *verifisere*, men vanskelig klassisk å verken løse eller verifisere. Bemerk: - Slik klassen er definert inkluderer den også problemer som er lett for kvantedatamaskiner å *løse* men vanskelig for klassiske datamaskiner å verifisere, for eksempel generell [[Kvantesimulering]] (den sentrale utfordringen som [[Verifiable Quantum Supremacy]] forsøker å takle). - Inneholder alle [[QMA]]-komplette problemer, med mindre [[QMA]] = [[NP]]. - Hovedinteressen min ligger dermed i om det er problemer i denne klassen som *ikke* er er i [[BQP]], men som *heller* ikke er [[QMA]]-komplette, og om de lar seg bruke til noe interessant. Inspirert av det faktumet at de fleste [[Kryptografi]]-relevante problemer ser ut til å ligge mellom [[P]] og full [[NP]]-kompletthet. Eksisterer muligens noe i [[Kvantemagi]]-dominerte tilstander? (Se [[Entanglement vs Magic]].)