On Searching for Small Kochen-Specker Vector Systems

DOI10.1007/978-3-642-25870-1_4zbMath1341.05162arXiv1111.3301OpenAlexW1522083296MaRDI QIDQ3104762

Felix Arends, Joël Ouaknine, Charles W. Wampler

Publication date: 16 December 2011

Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.3301

zbMATH Keywords

constraint solvinggraph enumeration algorithmsKochen-Specker vector systemstopological graph embedding problems

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Quantum computation (81P68) Enumeration in graph theory (05C30) Graph algorithms (graph-theoretic aspects) (05C85) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)

Related Items

Counting Homomorphisms to Square-Free Graphs, Modulo 2, A Kochen-Specker system has at least 22 vectors, How (Maximally) Contextual Is Quantum Mechanics?, On Searching for Small Kochen-Specker Vector Systems

Uses Software

• OEIS

Cites Work

• The free will theorem
• On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
• On Searching for Small Kochen-Specker Vector Systems
• Orderly algorithms for graph generation
• Every one a Winner or how to Avoid Isomorphism Search when Cataloguing Combinatorial Configurations
• Isomorph-Free Exhaustive Generation
• Kochen–Specker vectors
• Two simple proofs of the Kochen-Specker theorem
• Quantum theory: concepts and methods
• Algorithms in real algebraic geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item