×
维罗尼卡·贝彻;谢尔盖·格里戈里夫

具有或不具有前缀自由的随机实链。 （英语） Zbl 1124.68046号

西奥。计算。科学。 385，编号1-3，193-201（2007）.
小结：我们给出了一个一般定理，为每个（n\geq 1）提供了（n\-random realsála Chaitin的例子；这些是部分可计算函数的停止概率，通过对所有部分可计算的函数类进行附加而具有通用性。对于具有无前缀域的部分可计算功能类函数，结果是相同的。因此，域上前缀自由的通常技术要求是一个选项，我们在通过附加处理普遍性时证明这是不关键的。我们还证明了通过附加的普遍性条件（尽管是特殊的，但这是最优性的一个非常自然的情况）在我们的定理中是必不可少的。

引用于4文件

理学硕士：

68问题30 算法信息理论（Kolmogorov复杂性等）

关键词：

算法随机性;随机实数;科尔莫戈洛夫复杂性;欧米伽数
PDF格式BibTeX公司 XML格式引用
\textit{V.Becher}和\textit{S.Grigorief}，Theor。计算。科学。385，编号1--3，193--201（2007；Zbl 1124.68046）
全文： 内政部

参考文献：

[1] 贝彻，V。；Figueira，S。；格里戈里夫，S。；Miller，J.S.，《随机性和停止概率》，《符号逻辑杂志》，71，4，1394-1410（2006）·Zbl 1152.03038号
[2] 贝彻，V。；Grigorieff，S.，《随机领域和可能的无限计算》。第一部分：\（非0^\prime\）中的随机性，符号逻辑杂志，70，3，891-913（2005）·Zbl 1089.03037号
[3] Calude，C.，《信息与随机性》（1994），施普林格出版社·Zbl 0922.68073号
[4] Calude，C。；赫尔特林，P。；库萨诺夫，B。；Wang，Y.，递归可枚举实数和Chaitin（\Omega）数，（STACS 98。STACS 98，巴黎，1998年。STACS 98标准。STACS 98，巴黎，1998，计算机科学讲义，第1373卷（1998），Springer-Verlag），596-606·Zbl 0894.68081号
[5] Chaitin，G.，《程序大小理论与信息理论形式上相同》，《ACM杂志》，22，329-340（1975），可在Chaitin的主页上找到·Zbl 0309.68045号
[6] Chaitin，G.，《算法信息理论》（1987），剑桥大学出版社·Zbl 0655.68003号
[7] R.Downey，D.Hirschfeldt，算法随机性和复杂性，Springer，2006年（出版中）。初步版本，2007年4月5日，可在唐尼的主页上获得；R.Downey，D.Hirschfeldt，算法随机性和复杂性，Springer，2006年（出版中）。初步版本，2007年4月5日，可在Downey的主页上获得
[8] 于尔肖夫（Yu Ershov）。L.，在集合的层次结构上。III、 代数与逻辑，920-31（1970）·Zbl 0233.02017
[9] Figueira，S。；Stephan，F。；Wu，G.，《随机性和通用机器》，第二届国际分析可计算性和复杂性会议，CCA 2005，Fernuniversität Hagen，Informatik Berichte，第3262005卷，第103-116页。第二届分析中的可计算性和复杂性国际会议，CCA 2005，Fernuniversität Hagen，Informatik Berichte，第326卷，2005年，第103-116页，复杂性杂志，22，6，738-751（2006）·Zbl 1110.03030号
[10] Harris，C.M.，《关于对称枚举度》，《圣母院形式逻辑杂志》，48，2，175-204（2007）·Zbl 1139.03030号
[11] 莱文，L.，《关于随机序列的概念》，苏联数学Doklady，14，5，1413-1416（1973）·Zbl 0312.94006号
[12] 李，M。；Vitanyi，P.，《科尔莫戈洛夫复杂性及其应用导论》（1997），施普林格出版社·Zbl 0866.68051号
[13] J.Miller，L.Yu，《关于初始段复杂性和随机度》，《美国数学学会学报》（印刷版）；J.Miller，L.Yu，《关于初始段复杂性和随机度》，《美国数学学会汇刊》（正在出版）·Zbl 1140.68028号
[14] Mohrherr，J.-L.，Kleene指数集和泛函度，符号逻辑杂志，48，3，829-840（1983）·Zbl 0538.03038号
[15] Schnorr，C.P.，随机序列定义的统一方法，数学系统理论，5246-258（1971）·Zbl 0227.62005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。