mfrom brachistochrone SUBSET Mangalkot bayesian QQBF PTAS Vorobyev undecidable anomalism PSPACE LQQR pastille funarg 3SAT knapsack Isomorphism teabag solving LQQG Stolorow Vaidman Precognition NP Baeurle Weakless Jozsa Halting undecidability saari Salonia Ressies PRODUCING PQundL