| | |
| | |
Stat |
Members: 3645 Articles: 2'500'096 Articles rated: 2609
17 April 2024 |
|
| | | |
|
Article overview
| |
|
Reversible Simulation of Irreversible Computation by Pebble Games | Ming Li
; John Tromp
; Paul Vitanyi
; | Date: |
6 Mar 1997 | Journal: | Physica D120 (1998) 168-176 | Subject: | Quantum Physics; Computational Complexity; Data Structures and Algorithms | quant-ph cs.CC cs.DS | Affiliation: | University of Waterloo), John Tromp (CWI), Paul Vitanyi (CWI and University of Amsterdam | 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. The reacheable reversible simulation instantaneous descriptions (pebble configurations) are characterized completely. As a corollary we obtain the reversible simulation by Bennett and that among all simulations that can be modelled by the pebble game, Bennett’s simulation is optimal in that it uses the least auxiliary space for the greatest number of simulated steps. One can reduce the auxiliary storage overhead incurred by the reversible simulation at the cost of allowing limited erasing leading to an irreversibility-space tradeoff. We show that in this resource-bounded setting the limited erasing needs to be performed at precise instants during the simulation. We show that the reversible simulation can be modified so that it is applicable also when the simulated computation time is unknown. | Source: | arXiv, quant-ph/9703009 | Other source: | [GID 460298] quant-ph/9703009 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |