Analogues of Chaitin's Omega in the computably enumerable sets

被引:6
作者
Barmpalias, G. [1 ]
Hoelzl, R. [2 ]
Lewis, A. E. M. [3 ]
Merkle, W. [4 ]
机构
[1] Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China
[2] Bur 6A35 LIAFA, F-75013 Paris, France
[3] Univ Leeds, Sch Math, Leeds LS2 9JT, W Yorkshire, England
[4] Heidelberg Univ, Inst Informat, Heidelberg, Germany
基金
中国国家自然科学基金;
关键词
Theory of computation; Kolmogorov complexity; Computably enumerable sets; Completeness; RANDOMNESS;
D O I
10.1016/j.ipl.2013.01.007
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We show that there are computably enumerable (c.e.) sets with maximum initial segment Kolmogorov complexity amongst all c.e. sets (with respect to both the plain and the prefix-free version of Kolmogorov complexity). These c.e. sets belong to the weak truth table degree of the halting problem, but not every weak truth table complete c.e. set has maximum initial segment Kolmogorov complexity. Moreover, every c.e. set with maximum initial segment prefix-free complexity is the disjoint union of two c.e. sets with the same property; and is also the disjoint union of two c.e. sets of lesser initial segment complexity. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码:171 / 178
页数:8
相关论文
共 28 条
[1]   ANTI-MITOTIC RECURSIVELY-ENUMERABLE SETS [J].
AMBOSSPIES, K .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (05) :461-477
[2]  
[Anonymous], 1989, Classical Recursion Theory
[3]  
Barmpalias G, 2005, LECT NOTES COMPUT SC, V3526, P8
[4]  
Barmpalias George, UNIVERSAL COMPUTABLY
[5]  
Barmpalias George, KOLMOGOROV COMPLEXIT
[6]  
Barmpalias George, 2011, INT J SOFTWARE INFOR, V5, P609
[7]  
Barzdin Janis., 1968, SOVIET MATH DOKLADY, V9, P1251
[8]  
Calude CS, 2001, THEOR COMPUT SCI, V255, P125, DOI 10.1016/S0304-3975(99)00159-0
[9]   THEORY OF PROGRAM SIZE FORMALLY IDENTICAL TO INFORMATION-THEORY [J].
CHAITIN, GJ .
JOURNAL OF THE ACM, 1975, 22 (03) :329-340
[10]   Randomness, computability, and density [J].
Downey, R ;
Hirschfeldt, DR ;
Nies, A .
SIAM JOURNAL ON COMPUTING, 2002, 31 (04) :1169-1183