The Community for Technology Leaders
Proceedings of Computational Complexity (Formerly Structure in Complexity Theory) (1996)
Philadelphia, PA
May 24, 1996 to May 27, 1996
ISBN: 0-8186-7386-9
pp: 301
ABSTRACT
Reversible simulation of irreversible algorithms is analyzed in the stylized form of a `reversible' pebble game. While such simulations incur little overhead in additional computation time, they use a large amount of additional memory space during the computation. We show that among all simulations which can be modeled by the pebble game, Bennett's simulation is optimal in that it uses the least auxiliary space for the greatest number of simulated steps. We give a trade-off of storage space versus irreversible erasure. Examples of reversible algorithms are algorithms for quantum computers.
INDEX TERMS
Reversible computation, Irreversible computation, Computational energy dissipation, Reversible simulation, Storage space versus Energy Tradeoffs
CITATION

M. Li and P. Vitanyi, "Reversible Simulation of Irreversible Computation," Proceedings of Computational Complexity (Formerly Structure in Complexity Theory)(CCC), Philadelphia, PA, 1996, pp. 301.
doi:10.1109/CCC.1996.507692
95 ms
(Ver 3.3 (11022016))