短时间内的短程序短列表——一个简短证明
计算复杂性
2013-02-06 v1
摘要
Bauwens、Mahklin、Vereshchagin 和 Zimand [ECCC TR13-007] 以及 Teutsch [arxiv:1212.6104] 已经证明，给定一个字符串 x，可以在多项式时间内构造一个包含其简短描述的列表。我们简化了他们的技术，并给出了该结果的一个更短的证明。
引用
@article{arxiv.1302.1109,
title = {Short lists with short programs in short time - a short proof},
author = {Marius Zimand},
journal= {arXiv preprint arXiv:1302.1109},
year = {2013}
}