Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
양자화된 제약 만족 문제의 복잡도 분류
양자화된 제약 만족 문제에 대한 ΠP2 vs PSpace 이분법
유한 도메인에 대한 모든 제약 언어 Γ에 대해 QCSP(Γ)는 ΠP2 또는 PSpace-complete 중 하나이다.
1