这是一个理论问题,所以这里的许多细节在实践中甚至在理论上都是无法计算的。
假设我有一个想要压缩的字符串s
。结果应该是输出s
的自解压二进制文件(可以是图灵汇编程序,也可以是其他假设的图灵完全低级语言)。
现在,我们可以很容易地迭代所有可能的二进制文件和程序,按大小排序。让B_s
是这些输出s
的二进制文件的子列表(当然,B_s
是无法计算的)。
因为每组正整数都必须有最小值,所以在B_s
中必须有一个最小的程序b_min_s
。
对于哪种语言(即字符串集),我们知道b_min_s
的大小吗?也许只是一个估计值。(我可以构造一些简单的示例,在这些示例中,我甚至可以计算B_s
和b_min_s
,但我对更有趣的语言感兴趣。)
https://stackoverflow.com/questions/3261685
复制相似问题