Quantum Constraint Satisfaction Richard M Karp Distinguished Lecture Simons Institute