Enumerations including laconic enumerators.

Theoretical Computer Science(2017)

引用 6|浏览14
暂无评分
摘要
We show that it is possible, for every machine universal for Kolmogorov complexity, to enumerate the lexicographically least description of a length n string in O(n) attempts. In contrast to this positive result for strings, we find that, in any Kolmogorov numbering, no enumerator of nontrivial size can generate a list containing the minimal index of a given partial-computable function. One cannot even achieve a laconic enumerator for nearly-minimal indices of partial-computable functions.
更多
查看译文
关键词
List approximations,Minimal programs,Kolmogorov complexity,Kolmogorov numberings,Recursion theory
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要