Abstract
A computer which has access to a closed timelike curve, and can thereby send the results of calculations into its own past, can exploit this to solve difficult computational problems efficiently. I give a specific demonstration of this for the problem of factoring large numbers and argue that a similar approach can solve NP-complete and PSPACE-complete problems. I discuss the potential impact of quantum effects on this result.
Similar content being viewed by others
REFERENCES
P. W. Shor, in Proceedings of the 35th Annual Symposium on Foundations of Computer Science, S. Goldwasser, ed., pp. 124-134 (IEEE Computer Society Press, Los Alamitos, CA, 1994). An expanded version of this article is available on the preprint archive, quant-ph/9508027.
M. S. Morris and K. S. Thorne, Am. J. Phys. 56, 395-412 (1988).
J. L. Friedman, M. S. Morris, I. D. Novikov, F. Echeverria, G. Klinkhammer, K. S. Thorne, and U. Yurtsever, Phys. Rev. D 42, 1915-1930 (1990).
I. D. Novikov, Sov. Phys. JETP 68, 439 (1989).
J. Earman, Bangs, Crunches, Whimpers, and Shrieks: Singularities and Acausalities in Relativistic Spacetimes (Oxford University Press, New York, 1995).
J. Earman, Erkenntnis 42, 125-139 (1995).
A. Carlini, V. P. Frolov, M. B. Mensky, I. D. Novikov, and H. H. Soleng, Int. J. Mod. Phys. D 4, 557-580 (1995).
M. Y. Konstantinov, gr-qc/9510039.
A. Carlini, I. D. Novikov, Int. J. Mod. Phys. D 5, 445-480 (1996).
G. E. Romero and D. F. Torres, Mod. Phys. Lett. A 16, 1213-1222 (2001).
P. G. Grove, Found. Phys. 32, 567-587 (2002).
C. H. Papadimitriou, Computational Complexity (Addison-Wesley, Reading, 1994).
This problem is more commonly known as quantified Boolean formula (QBF); for a discussion of this problem in particular and PSPACE-complete problems in general, see [12].
S. W. Hawking, Phys. Rev. D 46, 603-611 (1992).
H. D. Politzer, Phys. Rev. D 46, 4470-4476 (1992).
S. Rosenberg, Phys. Rev. D 57, 3365-3377 (1998).
D. Deutsch, Phys. Rev. D 44, 3197-3217 (1991).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brun, T.A. Computers with Closed Timelike Curves Can Solve Hard Problems Efficiently. Found Phys Lett 16, 245–253 (2003). https://doi.org/10.1023/A:1025967225931
Published:
Issue Date:
DOI: https://doi.org/10.1023/A:1025967225931