埃德温·贝格斯;JoséFélix，科斯塔;布鲁诺·洛夫;约翰·V·塔克。 以实验为预言的计算复杂性。 （英语） Zbl 1152.68444号 程序。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 464，编号2098，2777-2801（2008）。 摘要：我们讨论了将物理实验与机器计算相结合，并介绍了一种模数图灵机。我们详细研究了一个案例，其中基于牛顿运动学的实验程序与一类图灵机相结合。研究了三种形式的AD机，在这三种形式中可以精确和近似地设置物理参数。利用非均匀复杂性理论和一些概率，我们证明了一些定理，这些定理表明这些机器可以比经典的图灵机进行更多的计算。 引用于三评论引用于16文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：算法程序;实验程序;带预言符的图灵机器;模拟数字计算;非均匀复杂性 PDF格式BibTeX公司 XML格式引用 \textit{E.Beggs}等人，Proc。英国皇家学会。，序列号。A、 数学。物理学。工程科学。464，编号2098，2777--2801（2008；Zbl 1152.68444） 全文： 内政部 参考文献： [1] THEOR COMPUTE SCI 207第217页-（1998）·Zbl 0912.68045号 ·doi:10.1016/S0304-3975（98）00066-8 [2] 应用数学计算机178第25页–（2006）·Zbl 1101.68573号 ·doi:10.1016/j.amc.2005.09.068 [3] 理论计算机SCI 371第4页–（2007）·Zbl 1108.68050号 ·doi:10.1016/j.tcs.2006.10.010 [4] Beggs，《皇家学会学报A：数学、物理和工程科学》463（2082），第1541页–（2007）·Zbl 1130.68051号 ·doi:10.1098/rspa.2007.1835 [5] 理论计算机SCI 168第417页–（1996）·Zbl 0874.68303号 ·doi:10.1016/S0304-3975（96）00086-2 [6] 《弗兰克林研究所杂志》212第447页–（1931）·Zbl 0003.06504号 ·doi:10.1016/S0016-0032（31）90616-9 [7] 《科学美国人》280第99页–（1999）·doi:10.1038/科学美国人0699-99 [8] 应用数学计算机178第4页–（2006）·Zbl 1103.68555号 ·doi:10.1016/j.amc.2005.09.066 [9] 复杂性J第19页第644页–（2003）·Zbl 1059.68041号 ·doi:10.1016/S0885-064X（03）00034-7 [10] J符号逻辑47 pp 900–（1974） [11] 课程AM数学SOC 99 pp 367–（1987）·doi:10.1090/S0002-9939-1987-0870803-1 [12] TRANS AM数学SOC 199第1页–（1974）·doi:10.1090/S0002-9947-1974-03475-8 [13] ADV MATH 39第215页–（1981）·兹伯利0465.35054 ·doi:10.1016/0001-8708（81）90001-3 [14] 数学物理杂志20 pp 337–（1941）·Zbl 0061.29410号 ·doi:10.1002/sapm1941201337 [15] BULL符号逻辑9第299页–（2003）·兹比尔1058.03070 ·doi:102.178/bsl/1058448675 [16] PROC LOND MATH SOC 85第312页–（2002年）·Zbl 1011.03035号 ·doi:10.1112/S0024611502013643 [17] J ACM 50第100页–（2003）·Zbl 1326.68136号 ·doi:10.1145/602382.602411 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。