{"title":"On the power of two-way random generators and the impossibility of deterministic poly-space simulation","authors":"Marek Karpinski, Rutger Verbeek","doi":"10.1016/S0019-9958(86)80020-1","DOIUrl":null,"url":null,"abstract":"<div><p>Borodin, Cook, and Pippenger (<em>Inform. and Control</em> <strong>58</strong> (1983), 96–114) proved that both probabilistic acceptors and transducers working in space <em>S</em>(<em>n</em>) ⩾ log <em>n</em> can be simulated by deterministic machines in <em>O</em>(<em>S</em>(<em>n</em>)<sup>2</sup>) space. The definition of probabilistic computations uses one-way read-only random tape. Borodin <em>et al.</em> asked: “Is it possible to extend our simulation results to the case of a two-way read-only oracle head?” In the same vein Furst, Lipton, and Stockmeyer (<em>Inform. and Control</em> <strong>64</strong> (1985), 43–51) suggested that it could be a difference between two-way and one-way random tape: “…for space bounded probabilistic computations where the space bound is much less than the length of <em>y</em>, it could matter.” (<em>y</em> denoting the random tape inscription.) In this paper we give a full characterization of two-way random space classes that answers both questions. Karpinski and Verbeek (“There is <em>no</em> Polynomial Deterministic Space Simulation of Probabilistic Space with Two-way Random-Tape Generator,” <em>Inform. and Control</em> <strong>67</strong> (1985), 158–162) proved that there is <em>no</em> polynomial deterministic space simulation of two-way random space without giving any recursive upper bound. The results of this paper solved the open questions of <span>Karpinski and Verbeek, 1985</span>, <span>Karpinski and Verbeek, 1985</span> and gave full characterization in sense of upper and lower deterministic space classes: they are proved precisely exponentially more powerful than the corresponding one-way classes.</p></div>","PeriodicalId":38164,"journal":{"name":"信息与控制","volume":"71 1","pages":"Pages 131-142"},"PeriodicalIF":0.0000,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0019-9958(86)80020-1","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"信息与控制","FirstCategoryId":"1093","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0019995886800201","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 5
Abstract
Borodin, Cook, and Pippenger (Inform. and Control58 (1983), 96–114) proved that both probabilistic acceptors and transducers working in space S(n) ⩾ log n can be simulated by deterministic machines in O(S(n)2) space. The definition of probabilistic computations uses one-way read-only random tape. Borodin et al. asked: “Is it possible to extend our simulation results to the case of a two-way read-only oracle head?” In the same vein Furst, Lipton, and Stockmeyer (Inform. and Control64 (1985), 43–51) suggested that it could be a difference between two-way and one-way random tape: “…for space bounded probabilistic computations where the space bound is much less than the length of y, it could matter.” (y denoting the random tape inscription.) In this paper we give a full characterization of two-way random space classes that answers both questions. Karpinski and Verbeek (“There is no Polynomial Deterministic Space Simulation of Probabilistic Space with Two-way Random-Tape Generator,” Inform. and Control67 (1985), 158–162) proved that there is no polynomial deterministic space simulation of two-way random space without giving any recursive upper bound. The results of this paper solved the open questions of Karpinski and Verbeek, 1985, Karpinski and Verbeek, 1985 and gave full characterization in sense of upper and lower deterministic space classes: they are proved precisely exponentially more powerful than the corresponding one-way classes.