Last ned Linnk AI
•
Forskningsassistent
>
Logg Inn
innsikt
-
量化制約充足問題の複雑性分類
量化制約充足問題(QCSP)の$\Pi_2^P$対PSpace二分法
任意の有限ドメインの制約言語Γに対して、QCSPは$\Pi_2^P$か、PSpace完全のどちらかである。また、6要素ドメインの制約言語Γが存在し、QCSPは$\Pi_2^P$完全である。
1