所有Kolmogorov 复杂度函数都是最优的，但有些更为最优？

Kolmogorov (1965) 将字符串 $x$ 的复杂度定义为生成 $x$ 的程序最小长度。显然，这一定义取决于编程语言的选择。Kolmogorov 指出存在使复杂度函数在 $O(1)$ 加法项内最小的\emph{最优}编程语言，我们应选择其中之一——但究竟该选择哪一个？我们能在该定义中达成共识某种特定编程语言吗？至少我们是否应该在最优性要求上添加其他要求？我们能通过这种方式实现什么？本文讨论了自 1965 年以来出现的各种此类建议，特别是更强的普适性要求（并说明在许多情况下这并不会改变复杂度函数的集合）。