Time and space bounds for reversible simulation

Journal of Physics A: Mathematical and General

Volumn 34, Issue 35, 2001, Pages 6821-6830

  Buhrman, Harry ^a   Tromp, John ^a,b   Vitányi, Paul ^a  

^a CWI   (Netherlands)

^b Bioinformatics Solutions Inc   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035823466     PISSN: 03054470     EISSN: None     Source Type: Journal    
DOI: 10.1088/0305-4470/34/35/308     Document Type: Article

References (19)

1. Bennett C H 1973 Logical reversibility of computation IBM J. Res. Develop. 17 525-32
2. Bennett C H 1982 The thermodynamics of computation - a review Int. J. Theor. Phys. 21 905-40
3. Bennett C H 1989 Time-space tradeoffs for reversible computation SIAM J. Comput. 18 766-76
4. Fredkin E and Toffoli T 1982 Conservative logic Int. J. Theor. Phys. 21 219-53
5. Frank M, Knight T and Margolus N 1998 Reversibility in optimally scalable computer architectures Unconventional Models of Computation (Proc. 1st Int. Conf. on Unconventional Models of Computation, January 1998) ed Calude et al (Berlin: Springer) pp 165-82 (Frank M, Knight T and Margolus N 1997 Preprint MIT-LCS http://www.ai.mit.edu/~mpf/ publications.html)
6. Frank M, Knight T and Margolus N 1998 Reversibility in optimally scalable computer architectures Unconventional Models of Computation (Proc. 1st Int. Conf. on Unconventional Models of Computation, January 1998) ed Calude et al (Berlin: Springer) pp 165-82 (Frank M, Knight T and Margolus N 1997 Preprint MIT-LCS http://www.ai.mit.edu/~mpf/ publications.html)
7. Frank M P and Ammer MJ 1999 Separations of reversible and irreversible space-time complexity classes Inform. Comput. submitted (Frank M P and Ammer M J 1997 Preprint http://www.ai.mit.edu/~mpf/rc/memos/M06_oracle.html)
8. Frank M P and Ammer MJ 1999 Separations of reversible and irreversible space-time complexity classes Inform. Comput. submitted (Frank M P and Ammer M J 1997 Preprint http://www.ai.mit.edu/~mpf/rc/memos/M06_oracle.html)
9. Keyes R W 1988 IBM J. Res. Dev. 32 24-8
10. Landauer R 1961 Irreversibility and heat generation in the computing process IBM J. Res. Develop. 5 183-91
11. Lange K J, McKenzie P and Tapp A 2000 Reversible space equals deterministic space J. Comput. System Sci. 60 354-67
12. Levine R Y and Sherman A T 1990 A note on Bennett's time-space tradeoff for reversible computation SIAM J. Comput. 19 673-77
13. Li M and Vitányi P M B 1996 Reversibility and adiabatic computation: trading time and space for energy Proc. R. Soc. Lond. A 452 769-89
14. Li M, Tromp J and Vitányi P 1998 Reversible simulation of irreversible computation Physica D 120 168-76
15. Morita K, Shirasaki A and Gono Y 1989 A 1-tape 2-symbol reversible Turing machine IEEE Trans. IEICE E 72 223-8
16. Nielsen M and Chuang I 2000 Quantum Computation and Quantum Information (Cambridge: Cambridge University Press)
17. Shor P W 1997 Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer SIAM J. Comput. 26 1484-1509
18. Sipser M 1990 Halting space-bounded computation Theor. Comput. Sci. 10 335-8
19. Williams R 2000 Space-efficient reversible simulations DIMACS REU Report http://dimacs.rutgers. edu/~ryanw/