広く信じられているMA⊊PSPACEという仮定の下で、QBFは決定性チューリングマシンでも確率的チューリングマシンでも、多項式時間では解くことも与えられた解を検証することもできない.
MA