×
瓦斯科·布拉特卡；彼得·赫特林

可行的真正随机存取机器。 （英语） Zbl 0913.68099号

J.复杂性 14，第4期，490-526（1998）.
摘要：我们提出了一种改进的实数RAM模型，该模型配备了常用的离散和实值算术运算，并具有有限精度测试（<_k），该测试仅允许在可变不确定度（1/（k+1））范围内比较实数。此外，我们的可行RAM具有扩展语义，允许近似计算。使用对数复杂性度量，我们证明了在RAM上计算的所有函数在时间\（O（t）\）内都可以在图灵机上计算。反之亦然，在图灵机上可以计算的所有函数在时间（O（t））上都可以在RAM上计算。因此，我们的实际RAM模型不仅准确地表达了图灵机对实数的计算能力（在Grzegorczyk的意义上），而且还为实数的实际时间复杂性估计提供了一个高级工具\（\ copyright \）1998学术出版社。

引用于15文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

计算复杂度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}和\textit{P.Hertling}，J.复杂性14，No.4，490--526（1998；Zbl 0913.68099）
全文： 内政部

参考文献：

[1] Avizienis，A.，《快速并行算术的有符号数字表示法》，IRE Trans。电子。计算。，EC-10389-400（1961）
[2] 布鲁姆，L。；舒布，M。；Smale，S.，关于实数的计算和复杂性理论：NP公司，公牛。Amer的。数学。Soc.，21，1-46（1989）·Zbl 0681.03020号
[3] Boldi，P。；Vigna，S.，（δ），J.复杂性，14，234-256（1998）·Zbl 0919.68039号
[4] Brattka，V.，可计算实值函数和关系的递归表征，Theor。计算。科学。，162, 45-77 (1996) ·Zbl 0871.68028号
[5] Brent，R.P.，初等函数的快速多精度评估，J.Assoc.Compute。机器。，23, 242-251 (1976) ·Zbl 0324.65018号
[6] Burnikel，C。；Mehlhorn，K。；Schirra，S.，《关于几何计算中的简并性》，Proc。第五届ACM-SIAM交响乐团。《离散算法》，1994（1994），第16-23页·Zbl 0873.68201号
[7] Grzegorczyk，A.，关于可计算实连续函数的定义，基金。数学。，44，61-71（1957年）·Zbl 0079.24801
[8] 赫尔特林，P。；Weihrauch，K.，几何算法的简并水平和精确的复杂度下限，Proc。第六罐。公司确认。《几何学》，1994（1994），第237-242页
[9] 霍茨，G。；维克，G。；Schieffer，B.，分析机器，计算复杂性电子学术讨论会，TR（1995）
[10] Ko，K.-I.，实函数复杂性理论（1991），Birkhäuser:Birkháuser Boston·Zbl 0791.03019号
[11] Koiran，P.，Blum-Shub-Smale模型的弱版本，Proc。第34届IEEE计算机科学基础研讨会，1993年（1993），第486-495页
[12] 拉科姆·D·拉科姆，《函数概念的扩展》（Extension de la concept de function récrusive aux functions D'une ou plusieurs variables réelles I-III），康普特斯·伦德斯（Comptes Rendus），240/2412478-2480（1955）·Zbl 0065.00201号
[13] Meyer auf der Heide，F.Wiedermann，J.数字RAM：科学计算的现实机器模型；Meyer auf der Heide，F.Wiedermann，J.数字RAM：科学计算的现实机器模型
[14] Müller，N.Th.，实函数和实数的计算复杂性，Informatik Berichte（1986）·Zbl 0629.03023号
[15] 缪勒，N.Th.，《走向真正的RAM：使用C++的原型》，Proc。第二次CCA研讨会。程序。第二次CCA研讨会，Forschungsbericht，96-44（1996），特里尔大学，第59-66页
[16] Novak，E.，《数值分析中的实数模型》，J.Complexity，11，57-73（1995）·Zbl 0822.68053号
[17] Pour-El，M.B。；Richards，J.，《分析和物理中的可计算性》（1989年），施普林格-弗拉格：柏林施普林格·Zbl 0678.03027号
[18] Preparia，F。；Shamos，M.，计算几何（1985），Springer-Verlag:Springer-Verlag纽约·Zbl 0575.68059号
[19] Schönhage，A.，《准GCD计算》，J.Complexity，1118-137（1985）·Zbl 0586.68031号
[20] Schröder，M.，允许类型2复杂性理论的拓扑空间，（Ko，K.-I.；Weihrauch，K.，CCA研讨会的程序。CCA研讨会程序，Informatik Berichte 190（1995），FernUniversität:Fernuniversetät Hagen），41-53
[21] Schröder，M.，实数的快速在线乘法，Proc。第14届计算机科学理论方面年度研讨会。程序。第14届计算机科学理论方面年度研讨会，LNCS 1200（1997），Springer-Verlag:Springer-Verlag Berlin，p.81-92·兹比尔1498.68377
[22] 特劳布，J。；Wasilkowski，G。；Woźniakowski，H.，《基于信息的复杂性》（1988），学术出版社：纽约学术出版社·兹伯利0654.94004
[23] Weihrauch，K.，《可计算性》（1987），施普林格-弗拉格：柏林施普林格·Zbl 0611.03002号
[24] Weihrauch，K.，《关于实函数在线计算的复杂性》，J.complexity，7380-394（1991）·Zbl 0768.68064号
[25] Weihrauch，K。；Kreitz，Ch.，Cantor空间上函数的2类计算复杂性，Theor。计算。科学。，82, 1-18 (1991) ·兹比尔0725.03043
[26] Weihrauch，K.，《可计算分析简介》。《可计算分析简介》，Informatik Berichte 171（1995），FernUniversität:FernUniversetät Hagen
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。