Udowodniono, że taki algorytm istnieje, jeśli maszyna Turinga ma dostęp do zamkniętych krzywych czasopodobnych w wersji Deutscha (ScottS.AaronsonScottS., MohammadM.BavarianMohammadM., GiulioG.GueltriniGiulioG., Computability Theory of Closed Timelike Curves, „arXiv [quant-ph]”, 18 września 2016, arXiv:1609.05507 [dostęp 2019-09-30].) albo kwantowej podpowiedzi i aparatury pomiarowej nie powodującej kolapsu funkcji falowej (ScottS.AaronsonScottS., PDQP/qpoly = ALL, „arXiv [quant-ph]”, 22 maja 2018, arXiv:1805.08577 [dostęp 2019-09-30].).
