Ett binärt begränsningssystem spel är en två-spelare en runda icke-lokalt spel definieras av ett system av booleska begränsningar. Spelet har en perfekt kvant strategi om och endast om begränsningssystemet har en kvant tillfredsställande uppdrag [15]. Vi visar att flera koncept inklusive det kvantkromatiska talet och Kochen-Specker-uppsättningarna som uppstod från olika sammanhang passar naturligt i det binära begränsningssystemet. Strukturen och komplexiteten i quantum satisfiability problem för dessa begränsningar system undersöks. I kombination med en ny konstruktion som kallas kommutativitets gadget för varje problem, lyfts flera klassiska NP-hårdhet reduktioner till sina motsvarande kvantversioner. Vi tillhandahåller också ett enkelt paritetsbegränsningsspel som kräver EPR-par i perfekta strategier där n är antalet variabler i begränsningssystemet.
Mycket nyligen, Ji REF visade att intressanta exempel som kvantkromatiska tal och Kochen-Specker uppsättningar kan beskrivas i BCS spelram.
Binary Constraint System Games and Locally Commutative Reductions
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Physics', 'Computer Science']}