{"type":"ScholarlyArticle","title":"Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics","authors":[{"name":"Samson Abramsky","slug":"samson-abramsky","given":"Samson","family":"Abramsky","affiliation":""},{"name":"Georg Gottlob","slug":"georg-gottlob","given":"Georg","family":"Gottlob","affiliation":""},{"name":"Phokion G. Kolaitis","slug":"phokion-g-kolaitis","given":"Phokion G.","family":"Kolaitis","affiliation":""}],"abstract":"Motivated by considerations in quantum mechanics, we introduce the class of robust constraint satisfaction problems in which the question is whether every partial assignment of a certain length can be extended to a solution, provided the partial assignment does not violate any of the constraints of the given instance. We explore the complexity of specific robust colorability and robust satisfiability problems, and show that they are NP-complete. We then use these results to establish the computational intractability of detecting local hidden-variable models in quantum mechanics.","doi":null,"url":"https://ijcai.org/proceedings/2013/73","pdf":"https://ijcai.org/proceedings/2013/0073.pdf","markdown":"https://ijcai.org/proceedings/2013/73.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/73","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":73,"pages":{"first":440,"last":445},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}