Kolmogorov复杂性使用减少是无法计算的

Question

任何人都可以给我一个K-Complexity证明使用减少无法解决的证据。

  

例如：

     

PCP（2）＆lt; = PCP（3）

我可以通过减少到PCP（2）（通过映射每个实例）来证明PCP（3）是无法解决的。

我不确定如何将K-Complexity降低到另一个已知的不可判定的问题（如停止问题）。即， X ＆lt; = K-Complexity

你能为我提供证明吗？至少给我一些想法（ X ）。

先谢谢