加载中…
It is known that the normalized algorithmic information distance is not computable and not semicomputable. We show that for all , there exist no semicomputable functions that differ from by at most~. Moreover, for any computable function such that $|\lim_t f(x,y,t) - N(x,y)| \le \epsilonnx,yn$ such that . This is optimal up to constant factors. We also show that the maximal number of oscillations of a limit approximation of is . This strengthens the lower bound from [K. Ambos-Spies, W. Merkle, and S.A. Terwijn, 2019, Normalized information distance and the oscillation hierarchy], see arXiv:1708.03583 .

生成讲解博客的中文版本

生成AI智能校验的中文版本