×

关于库尔茨随机性。 (英语) 兹比尔1070.68054

摘要:Kurtz随机性是实数的算法随机性概念。特别地,如果实数包含在(Lebesgue)测度1的每个可计算可枚举集(U)中,则称其为Kurtz随机(或弱随机)。我们证明了这个概念的一些特征,并将其与其他随机性概念联系起来,例如众所周知的可计算随机性、马丁·洛夫随机性和施诺尔随机性概念。我们首次给出了库尔茨随机性的机器表征。鉴于每个Martin-Löf随机c.e.real的Turing度是完全度,Schnorr随机c.e.real的度都很高,我们证明了Kurtz随机c.e.real出现在每个非零c.e.度中。此外,我们还表明,Kurtz随机性低的集合都是超免疫的,包括Schnorr随机性低(以前由Terwijn和Zambella描述)的集合。

理学硕士:

68问题30 算法信息理论(Kolmogorov复杂性等)
03D25号 递归(可计算)可枚举集和度
03天80 可计算性和递归理论的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] K.Ambos-Spies,A.Kučera,可计算性理论中的随机性,收录于:P.Cholak,S.Lempp,M.Lerman,R.Shore(编辑),可计算理论及其应用,当代数学,第257卷,2000年,第1-14页。;K.Ambos-Spies,A.Kučera,可计算性理论中的随机性,收录于:P.Cholak,S.Lempp,M.Lerman,R.Shore(编辑),可计算理论及其应用,当代数学,第257卷,2000年,第1-14页·Zbl 0962.03039号
[2] C.Calude,P.Hertling,B.Khoussainov,Y.Wang,递归可数实和Chaitin’s(Ω);C.Calude,P.Hertling,B.Khoussainov,Y.Wang,递归可数实和Chaitin’s(Ω)·Zbl 0894.68081号
[3] Chaitin,G.,程序大小理论,形式上与信息理论相同,J.Assoc.Compute。机器。,22, 329-340 (1975) ·Zbl 0309.68045号
[4] R.Downey,E.Griffiths,On Schnorr randomness,J.Symbolic Logic,即将出版。;R.Downey,E.Griffiths,On Schnorr randomness,J.Symbolic Logic,即将出版·Zbl 1261.03134号
[5] R.Downey、E.Griffiths、G.LaForte,《关于Schnorr和可计算随机性、鞅和机器》,数学。逻辑夸脱。,出现。;R.Downey、E.Griffiths、G.LaForte,《关于Schnorr和可计算随机性、鞅和机器》,数学。逻辑夸脱。,出现·Zbl 1062.68064号
[6] R.Downey,D.Hirschfeldt,A.Nies,J.Miller,On(Ω^A);R.Downey,D.Hirschfeldt,A.Nies,J.Miller,On(Ω^A)
[7] R.Downey,D.Hirschfeldt,《算法随机性和复杂性》,柏林施普林格出版社,即将出版。;R.Downey,D.Hirschfeldt,《算法随机性和复杂性》,柏林施普林格出版社出版·Zbl 1221.68005号
[8] 唐尼,R。;Hirschfeldt,D。;Nies,A.,《随机性、可计算性和密度》,SIAM J.Comput。,311169-1183(2002),(扩展摘要发表于:A.Ferriera,H.Reichel(编辑),Symp。计算机科学的理论方面,STACS’2001年1月1日,计算机科学讲稿,柏林斯普林格,2001年,第195-201页)·Zbl 1052.68060号
[9] R.Downey,D.Hirschfeldt,A.Nies,F.Stephan,《琐碎的现实》,扩展摘要,载于:B.Schröder(Eds.),《分析马拉加的可计算性和复杂性》(Electronic Notes in Theory Computer Science,and procedures),Weihrauch,FernUniversität,294-6/2002年7月,第37-55页。最终版本出现在:程序。第七届和第八届亚洲逻辑会议,世界科学,新加坡,2003年,第103-131页)。;R.Downey,D.Hirschfeldt,A.Nies,F.Stephan,《琐碎的现实》,扩展摘要,载于:B.Schröder(Eds.),《分析马拉加的可计算性和复杂性》(Electronic Notes in Theory Computer Science,and procedures),Weihrauch,FernUniversität,294-6/2002年7月,第37-55页。最终版本出现在:程序。第七届和第八届亚洲逻辑会议,世界科学,新加坡,2003年,第103-131页)。
[10] S.Kautz,随机集学位,博士论文,康奈尔大学,1991年。;S.Kautz,随机集学位,博士论文,康奈尔大学,1991年。
[11] B.Kjos-Hanssen,A.Nies,F.Stephan,《关于Ambos-Spies和Kučera的问题》,即将出版。;B.Kjos-Hanssen,A.Nies,F.Stephan,《关于Ambos-Spies和Kučera的问题》,即将出版·Zbl 1095.68043号
[12] A.库切拉,测度(∏^0_1);A.库切拉,测度(∏^0_1)
[13] 库切拉,A。;Slaman,T.,随机性和递归可枚举性,SIAM J.Compute。,31, 199-211 (2001) ·Zbl 0992.68079号
[14] 库切拉,A。;Terwijn,S.,Lowness for the class of random set,J.符号逻辑,64,1396-1402(1999)·兹比尔0954.68080
[15] Kurtz,S.,《弱泛型的概念》,J.符号逻辑,48,764-770(1983)·Zbl 0549.03042号
[16] S.Kurtz,不可解度的随机性和一般性,伊利诺伊大学厄本纳分校博士论文,1981年。;S.Kurtz,不可解性程度的随机性和一般性,伊利诺伊大学厄本纳分校博士论文,1981年。
[17] 莱文,洛杉矶,《关于随机序列的概念》,《苏联数学》。道克。,14, 1413-1416 (1973) ·Zbl 0312.94006号
[18] Levy,P.,《Aleantoires变量加法理论》(1937年),《Gauthier-Villars:Gauthier Villars Paris》
[19] 李明,P.维塔尼,科尔莫戈洛夫复杂性及其应用,施普林格,柏林,1993。;Li,Ming,P.Vitanyi,《科尔莫戈洛夫复杂性及其应用》,柏林斯普林格出版社,1993年·Zbl 0805.68063号
[20] Martin-Löf,P.,《随机序列的定义》,Inform。对照,9602-619(1966)·Zbl 0244.62008号
[21] A.Nies,计算很少的Reals,提交了。;A.Nies,计算很少的Reals,提交了·Zbl 1107.03047号
[22] A.Nies,现实和随机的Lowness特性,准备中。;A.Nies,现实和随机的Lowness特性,准备中·Zbl 1141.03017号
[23] B.Kjos-Hanssen,F.Stephan,A.Nies,《关于Ambos-Spies和Kučera的问题》,即将出版。;B.Kjos-Hanssen,F.Stephan,A.Nies,《关于Ambos-Spies和Kučera的问题》,即将出版·兹比尔1095.68043
[24] Schnorr,C.P.,Zufälligkeit und Wahrscheinlichkeit,数学课堂讲稿,第218卷(1971),施普林格:柏林施普林格·Zbl 0232.60001号
[25] Schnorr,C.P.,定义随机序列的统一方法,数学。系统理论,5246-258(1971)·Zbl 0227.62005号
[26] C.P.Schnorr,《随机序列理论综述》,载于:《方法论和语言学的基本问题》,D.Reidel,Dordrecht,Holland,1977年,第193-210页。;C.P.Schnorr,《随机序列理论综述》,载于:《方法论和语言学的基本问题》,D.Reidel,Dordrecht,Holland,1977年,第193-210页。
[27] Soare,R.,递归可枚举集和度(1987),Springer:Springer Berlin·Zbl 0623.03042号
[28] Terwijn,S。;赞比拉,D.,算法随机性和低阶性,J.符号逻辑,661199-1205(2001)·Zbl 0990.03033号
[29] M.van Lambalgen,《随机序列》,阿姆斯特丹大学博士论文,1987年。;M.van Lambalgen,《随机序列》,阿姆斯特丹大学博士论文,1987年·兹比尔062860001
[30] 维勒,J.,《收藏概念批判》(1939年),《高质维拉斯:巴黎高质维纳斯》
[31] von Mises,R.,Grundlagen der Wahrscheinlichkeitsrechnung,数学。Z.,5,52-99(1919)
[32] 王毅,随机性与复杂性,海德堡大学博士论文,1996。;王毅,随机性与复杂性,海德堡大学博士论文,1996·Zbl 0858.03041号
[33] Weihrauch,K.,《可计算性》(1987),施普林格:施普林格柏林·Zbl 0611.03002号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。