首页    期刊浏览 2024年09月20日 星期五
登录注册

文章基本信息

  • 标题:Computational Models with No Linear Speedup
  • 本地全文:下载
  • 作者:Amir M. Ben-Amram ; Niels H. Christensen ; Jakob Grue Simonsen
  • 期刊名称:Chicago Journal of Theoretical Computer Science
  • 印刷版ISSN:1073-0486
  • 出版年度:2012
  • 卷号:2012
  • 出版社:MIT Press ; University of Chicago, Department of Computer Science
  • 摘要:

    The linear speedup theorem states, informally, that constants do not matter: It is essentially always possible to find a program solving any decision problem a factor of 2 faster. This result is a classical theorem in computing, but also one of the most debated. The main ingredient of the typical proof of the linear speedup theorem is tape compression, where a fast machine is constructed with tape alphabet or number of tapes far greater than that of the original machine. In this paper, we prove that limiting Turing machines to a fixed alphabet and a fixed number of tapes rules out linear speedup. Specifically, we describe a language that can be recognized in linear time (e. g., 1.51n), and provide a proof, based on Kolmogorov complexity, that the computation cannot be sped up (e. g., below 1.49n). Without the tape and alphabet limitation, the linear speedup theorem does hold and yields machines of time complexity of the form (1+ε)n for arbitrarily small ε > 0.

国家哲学社会科学文献中心版权所有