量化制約充足問題(QCSP)の$\Pi_2^P$対PSpace二分法

任意の有限ドメインの制約言語Γに対して、QCSPは$\Pi_2^P$か、PSpace完全のどちらかである。また、6要素ドメインの制約言語Γが存在し、QCSPは$\Pi_2^P$完全である。