尤里·安德鲁斯;蔡明忠;钻石，大卫;卡尔·乔库什;斯泰芬·伦普 渐近密度、可计算可追溯性和1-随机性。 （英语） Zbl 1401.03074号 芬丹。数学。 234，第1期，41-53（2016）. 小结：设\（r\ in[0,1]\）。集合\（A\subseteq\omega\）被称为在密度下可粗略计算如果有一个可计算函数（f），使得（f（n）=a（n）}）的密度至少更低。我们的主要结果是，如果（A）是可计算可追踪或真可还原为（1）-随机集，则（A）在密度（1/2）下是可粗计算的。在另一个方向上，我们证明了如果一个度（mathbf{a}）是超免疫的或PA，那么存在一个在任何正密度下都不可粗计算的（mathbf{a}）可计算集。 引用于2评论引用于7文件 理学硕士： 03D28号 其他图灵度结构 03D25号 递归（可计算）可枚举集和度 03天32分 算法随机性和维数 关键词：可计算性理论;渐近密度;可计算追踪的;1-随机;超免疫程度;PA度 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}等人，Fundam。数学。234、1号、41-53（2016；Zbl 1401.03074） 全文： 内政部 参考文献： [1] [BDH]L.Bienvenu、A.R.Day和R.H“olzl，《从双社区到绝对不可判定性》，J.符号逻辑78（2013），1218-1228·Zbl 1349.03044号 [2] [DH]R.G.Downey和D.R.Hirschfeldt，算法随机性和复杂性，Springer，纽约，2010年·Zbl 1221.68005号 [3] [DJS]R.G.Downey，C.G.Jockusch，Jr.和P.E.Schupp，《渐近密度和可计算可数集》，J.Math。《逻辑》13，（2013），1350005，43页·Zbl 1326.03048号 [4] [HJMS]D.R.Hirschfeldt、C.G.Jockusch，Jr.、T.H.McNicholl和P.E.Schupp，《渐近密度和粗糙可计算性界限，可计算性》即将出版·Zbl 1522.03158号 [5] [JS]C.G.Jockusch，Jr.和P.E.Schupp，通用可计算性，图灵度和渐近密度，J.London Math。Soc.（2）85（2012），472-490·兹比尔1247.03076 [6] [KMSS]I.Kapovich，A.Myasnikov，P.Schupp，and V.Shpilrain，《广义复杂度，群论中的决策问题和随机漫步》，J.Algebra 264（2003），665-694·Zbl 1041.20021号 [7] [KST]B.Kjos-Hanssen、F.Stephan和S.A.Terwijn，《覆盖递归集》，in：Evolving Computability（Bucure\c{}sti，2015），《计算讲义》。科学。9136，斯普林格出版社，2015年，44–53页·兹比尔1461.03031 [8] [K] S.A.Kurtz，《弱泛型的概念》，《符号逻辑》48（1983），764–770·Zbl 0549.03042号 [9] [MM]W.Miller和D.A.Martin，超免疫集的程度，Z.数学。Logik Grundlagen数学。14 (1968), 159–166. ·Zbl 0216.29102号 [10] [MN]B.Monin和A.Nies，《伽马问题的统一方法》，载于：第30届ACM/IEEE年度研讨会。计算机科学中的逻辑——LICS 2015（京都，2015），IEEE Compute。社会，585–596·Zbl 1395.03019号 [11] [MR2]R.Motwani和P.Raghavan，《随机算法》，剑桥大学出版社，剑桥，1995年·Zbl 0849.68039号 [12] [MR1]A.G.Myasnikov和A.N.Rybalov，不可判定问题的一般复杂性，J.符号逻辑73（2008），656–673·Zbl 1140.03025号 [13] [TZ]S.A.Terwijn和D.Zambella，《计算随机性和低阶性》，《符号逻辑杂志》66（2001），1199–1205·Zbl 0990.03033号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。