当前位置:
X-MOL 学术
›
Theor. Comput. Sci.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Descriptive complexity of computable sequences revisited
Theoretical Computer Science ( IF 1.1 ) Pub Date : 2020-01-16 , DOI: 10.1016/j.tcs.2020.01.013 Nikolay Vereshchagin
中文翻译:
重述可计算序列的描述复杂性
更新日期:2020-01-16
Theoretical Computer Science ( IF 1.1 ) Pub Date : 2020-01-16 , DOI: 10.1016/j.tcs.2020.01.013 Nikolay Vereshchagin
The purpose of this paper is to answer two questions left open in Durand et al. (2001) [2]. Namely, we consider the following two complexities of an infinite computable 0-1-sequence α: , defined as the minimal length of a program with oracle 0′ that prints α, and , defined as , where denotes the length-n prefix of α and stands for conditional Kolmogorov complexity. We show that and is not bounded by any computable function of , even on the domain of computable sequences.
中文翻译:
重述可计算序列的描述复杂性
本文的目的是回答Durand等人悬而未决的两个问题。(2001)[2]。即,我们考虑无限可计算的0-1序列α的以下两个复杂度:,定义为带有oracle 0'且输出α的程序的最小长度,以及, 定义为 ,在哪里 表示长度- Ñ的前缀α和代表条件Kolmogorov复杂度。我们证明 和 不受任何可计算函数的限制 ,甚至在可计算序列的域上。