Reversible space equals deterministic space (extended abstract)

被引：0
|
作者：
Lange, KJ
McKenzie, P
Tapp, A
机构：
来源：
TWELFTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS | 1997年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper describes the simulation of an S(n) space-bounded deterministic Turing machine by a reversible Turing machine operating in space S(n). It thus answers a question posed by Bennett in 1989 and refutes the conjecture, made by Li and Vitanyi in 1996, that any reversible simulation of an irreversible computation must obey Bennett's reversible pebble game rules.
引用
收藏
页码：45 / 50
页数：6
相关论文
共 50 条
  • [1] Reversible space equals deterministic space
    Lange, KJ
    McKenzie, P
    Tapp, A
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2000, 60 (02) : 354 - 367
  • [2] Time and space bounds for reversible simulation -: (Extended abstract)
    Buhrman, H
    Tromp, J
    Vitányi, P
    [J]. AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 1017 - 1027
  • [3] Dual Space of a Lattice as the Completion of a Pervin Space Extended Abstract
    Pin, Jean-Eric
    [J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2017, 2017, 10226 : 24 - 40
  • [4] The Big Match in Small Space (Extended Abstract)
    Hansen, Kristoffer Arnsfelt
    Ibsen-Jensen, Rasmus
    Koucky, Michal
    [J]. ALGORITHMIC GAME THEORY, SAGT 2016, 2016, 9928 : 64 - 76
  • [5] Partial rearrangements of space-shared FPGAs (extended abstract)
    Diessel, O
    ElGindy, H
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 913 - 918
  • [6] Stable Reinforcement Learning with Unbounded State Space (Extended Abstract)
    Shah, Devavrat
    Xie, Qiaomin
    Xu, Zhi
    [J]. LEARNING FOR DYNAMICS AND CONTROL, VOL 120, 2020, 120 : 581 - 581
  • [7] Deterministic Rateless Codes for BSC [Extended Abstract]
    Applebaum, Benny
    David, Liron
    Even, Guy
    [J]. PROCEEDINGS OF THE 6TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE (ITCS'15), 2015, : 31 - 40
  • [8] I/O-space trade-offs (Extended abstract)
    Arge, L
    Pagter, J
    [J]. ALGORITHM THEORY - SWAT 2000, 2000, 1851 : 448 - 461
  • [9] BUDGETING FOR LIBRARIES Space equals money
    Steele, Kirstin
    [J]. BOTTOM LINE, 2008, 21 (04): : 122 - 123
  • [10] 'PANTOUM IN WHICH TIME EQUALS SPACE'
    COLES, K
    [J]. PARIS REVIEW, 1995, (135): : 37 - 38
12345