×
乔治·巴姆帕利亚斯

随机非拔罐再次出现。 （英语） Zbl 1111.03038号

J.复杂性 22，第6号，850-857（2006）.
总结：假设对于每一个Martin-Löf随机集，存在一个集（a\），那么\（Y\）具有强随机反凸性\[Y\leq_TA\oplus R\右箭头Y\leq _TR\]（在本例中，\（A\）是\（Y）\的反举证人）。Nies通过一个快速简单的反跳见证证明了每个随机集（Delta^0_2）都具有强随机反跳性。通过一个快速简单的反上涌见证，我们证明了每个（Delta^0_2）集都具有随机反上涌性质。此外，我们还证明了以下更强的语句：对于每个不可计算的\（Y\leq_T\emptyset’\），都存在一个立即简单的\（a\），这样\[Y\leq_TA\oplus R\右箭头A\leq-TR\]对于所有Martin-Löf随机集\（R\）。

引用于1文件

MSC公司：

03天80 可计算性和递归理论的应用
68问题30 算法信息理论（Kolmogorov复杂性等）

关键词：

算法随机性;随机实数;图灵度;强随机反跳性;阻止证人作证
PDF格式BibTeX公司 XML格式引用
\textit{G.Barmpalias}，J.复杂性22，第6期，850-857（2006；Zbl 1111.03038）
全文： 内政部

参考文献：

[1] R.Downey，D.Hirschfeldt，算法随机性和复杂性，Springer专著。当前草稿可在\（\langle；\rangle；\）；R.Downey，D.Hirschfeldt，算法随机性和复杂性，Springer专著。当前草稿位于\（\langle；\rangle；\）·兹比尔1221.68005
[2] R.Downey，D.Hirschfeldt，A.Nies，F.Stephan，《琐碎的现实，分析马拉加中可计算性和复杂性的扩展抽象》，收录于：V.Brattka，M.Schröder，K.Weihrauch（编辑），《理论计算机科学的电子笔记和论文集》，FernUniversität，294-6/2002，2002年7月，第37-55页，最终版本见：R.Donney，D。Decheng，T.S.Ping，Q.Y.Hui，M.Yasugi，G.Wu（编辑），《第七届和第八届亚洲逻辑会议论文集》，世界科学，新加坡，2003年，第103-131页。；R.Downey，D.Hirschfeldt，A.Nies，F.Stephan，《琐碎的现实，分析马拉加中可计算性和复杂性的扩展抽象》，收录于：V.Brattka，M.Schröder，K.Weihrauch（编辑），《理论计算机科学的电子笔记和论文集》，FernUniversität，294-6/2002，2002年7月，第37-55页，最终版本见：R.Donney，D。Decheng，T.S.Ping，Q.Y.Hui，M.Yasugi，G.Wu（编辑），《第七届和第八届亚洲逻辑会议论文集》，世界科学，新加坡，2003年，第103-131页。
[3] A.库切拉，PA集，1-随机集，\（operatorname{\Pi；}_1^0\langle；\rangle；\）；A.库切拉，PA集，1-随机集，\（operatorname{\Pi；}_1^0\langle；\rangle；\）
[4] 库切拉，A。；Terwijn，S.，Lowness for the class of random set，J.符号逻辑，64，1396-1402（1999）·兹比尔0954.68080
[5] 拉德纳，R.E。；Sasso，L.P.，递归可枚举集的弱真值表度，《数学年鉴》。逻辑，4429-448（1975）·Zbl 0324.02028号
[6] D.P.Miller，《高递归可枚举度和反杯突特性》，逻辑年1979-1980：康涅狄格大学（编辑），数学讲义，第859卷，施普林格，柏林，海德堡，东京，纽约，1981年。；D.P.Miller，《高递归可枚举度和反杯突特性》，逻辑年1979-1980：康涅狄格大学（编辑），数学讲义，第859卷，施普林格，柏林，海德堡，东京，纽约，1981年。
[7] J.Miller，A.Nies，《随机性和可计算性：开放性问题，预印本》。；J.Miller，A.Nies，随机性和可计算性：开放式问题，预印本·Zbl 1169.03033号
[8] A.涅斯，计算很少的实相。；A.Nies，计算很少的Reals，出现了·Zbl 1107.03047号
[9] A.Nies，《非剪切性和随机性》，《美国数学学会学报》即将出版。；A.Nies，《非剪切性和随机性》，《美国数学学会学报》即将出版·Zbl 1106.03040号
[10] Stillwell，J.，几乎所有度理论的可判定性，J.符号逻辑，37，501-506（1972）·Zbl 0287.02029号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。