当前位置: 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

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 α: C0(α), defined as the minimal length of a program with oracle 0′ that prints α, and M(α), defined as limsupC(α1:n|n), where α1:n denotes the length-n prefix of α and C(x|y) stands for conditional Kolmogorov complexity. We show that C0(α)M(α)+O(1) and M(α) is not bounded by any computable function of C0(α), even on the domain of computable sequences.



中文翻译:

重述可计算序列的描述复杂性

本文的目的是回答Durand等人悬而未决的两个问题。(2001)[2]。即,我们考虑无限可计算的0-1序列α的以下两个复杂度:C0α,定义为带有oracle 0'且输出α的程序的最小长度,以及中号α, 定义为 SUPCα1个ñ|ñ,在哪里 α1个ñ表示长度- Ñ的前缀αCX|ÿ代表条件Kolmogorov复杂度。我们证明C0α中号α+Ø1个中号α 不受任何可计算函数的限制 C0α,甚至在可计算序列的域上。

更新日期:2020-01-16
down
wechat
bug