Reversible simulation of irreversible computation

Physica D: Nonlinear Phenomena

Volumn 120, Issue 1-2, 1998, Pages 168-176

  Li, Ming ^a   Tromp, John ^b   Vitányi, Paul ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006972055     PISSN: 01672789     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-2789(98)00052-9     Document Type: Article

References (20)

1. C.H. Bennett, Logical reversibility of computation, IBM J. Res. Develop. 17 (1973) 525-532.
2. C.H. Bennett, The thermodynamics of computation - a review, Int. J. Theoret. Phys. 21 (1982) 905-940.
3. C.H. Bennett, Time-space tradeoffs for reversible computation, SIAM J. Comput. 18 (1989) 766-776.
4. D. Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer, Proc. Royal Society London vol. A 400 (1985) 97-117.
5. M.P. Frank, M.J. Ammer, Separations of reversible and irreversible space-time complexity classes, Proceedings of the 13th IEEE Computational Complexity Conference, submitted (http://www.ai.mit.edu/~mpf/rc/ memos/M06_oracle.html).
6. M. Frank, T. Knight, N. Margolus, Reversibility in optimally scalable computer architectures, Manuscript, MIT-LCS, 1997 (http://www.ai.mit.edu/~mpf/publications.html).
7. E. Fredkin, T. Toffoli, Conservative logic, Int. J. Theoret. Phys. 21 (1982) 219-253.
8. L.K. Grover, A fast quantum mechanical algorithm for database search, Proceedings of the 28th ACM Symposium on Theory of Computing (1996) 212-219.
9. R.W. Keyes, IBM J. Res. Dev. 32 (1988) 24-28.
10. R. Landauer, Irreversibility and heat generation in the computing process, IBM J. Res. Develop. 5 (1961) 183-191.
11. K.J. Lange, P. McKenzie, A. Tapp, Reversible space equals deterministic space, Proceedings of the 12th IEEE Computational Complexity Conference, IEEE Computer Soc. Press, Silver Spring, MD, 1997.
12. n, où θ est un isomorphisme de codes, Comptes Rendus 257 (1963) 2597-2600.
13. R.Y. Levine, A.T. Sherman, A note on Bennett's time-space tradeoff for reversible computation, SIAM J. Comput. 19 (4) (1990) 673-677.
14. M. Li, P.M.B. Vitányi, Reversibility and adiabatic computation: trading time and space for energy, Proc. Royal Society of London, Series A 452 (1996) 769-789.
15. M. Li, P.M.B. Vitányi, Reversible simulation of irreversible computation, Proceedings of the 11th IEEE Computational Complexity Conference, IEEE Comput. Soc. Press, Silver Spring, MD, 1996, pp. 301-306.
16. R.C. Merkle, Reversible electronic logic using switches, Nanotechnology 4 (1993) 21-40.
17. P.W. Shor, Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, SIAM J. Comput. 26 (5) (1997) 1484-1509.
18. M. Sipser, Halting space-bounded computations, Theoret. Comput. Sci. 10 (1980) 335-338.
19. P.M.B. Vitányi, Physics and the New Computation, Proceedings of the International Symposium on Mathematical Foundations of Computer Science, MFCS'95, Lecture Notes in Computer Science, vol. 969, Springer, Heidelberg, 1995, pp. 106-128.
20. J. von Neumann, in: A.W. Burks (Ed.), Theory of Self-Reproducing Automata, University Illinois Press, Urbana, 1966.