Download Linnk AI
•
Research Assistant
>
Sign In
insight
-
量化制約充足問題
量化制約充足問題(QCSP)の$\Pi_2^P$対PSpace二分法
任意の有限ドメインの制約言語Γに対して、QCSPは$\Pi_2^P$か、PSpace完全のどちらかである。また、6要素ドメインの制約言語Γが存在し、QCSPは$\Pi_2^P$完全である。
1