양자화된 제약 만족 문제에 대한 ΠP2 vs PSpace 이분법

유한 도메인에 대한 모든 제약 언어 Γ에 대해 QCSP(Γ)는 ΠP2 또는 PSpace-complete 중 하나이다.