Back to the 2025 paper

Module 4: Tractable and Intractable Problems

20252m

The Quantified Boolean Formula problem is a canonical complete problem for which of the following complexity classes?

(i) NP
(ii) P
(iii) PSPACE
(iv) co-NP

Worked SolutionAI Assisted

Answer: (iii) PSPACE

Explanation:

  • QBF (Quantified Boolean Formula): given ∃x1∀x2∃x3…ϕ(x1,…,xn)\exists x_1 \forall x_2 \exists x_3 \dots \phi(x_1,\dots,x_n), is it true? It extends SAT with quantifiers.
  • QBF is PSPACE-complete (Stockmeyer-Meyer 1973). SAT is NP-complete; QBF with unbounded alternation captures polynomial-space computation.
  • Complete for PSPACE under polytime reductions → canonical PSPACE-complete problem.
  • NP is ∃\exists-only; co-NP is ∀\forall-only; PSPACE allows both via alternation.

Correct choice: (iii) PSPACE

Similar questions

Official AppAndroid App

PYQDeck for Android

Solve BEU previous-year exam papers anywhere, anytime. Fast search, offline paper viewing, and step-by-step solutions designed specifically for your phone.