NP中的邮政对应问题吗？

我刚刚读了Sipser的书《关于后对应问题的计算理论入门》中的几页，并且我认为PCP实际上在NP中。证明者是：对于桩的输入配置 将串联为字符串并串联作为字符串，然后比较和，看两者是否相等，然后得出结论，该输入实际上是PCP的解决方案。

邮政对应问题是无法确定的，尤其是在NP中。您的想法行不通的原因是证人不一定是多项式大小的（实际上，您只是证明了这一点）。也就是说，为了使您的证明者证明Post对应问题在NP中，它需要在多项式时间内运行（就PCP 实例的大小而言）。事实证明，在这种情况下，即使问题可以解决，也不一定总是有多项式大小的解决方案。实际上，潜在解决方案的大小没有可计算的界限，因为否则问题将是可以确定的！

您的见证人是解决方案大小的多项式，而不是输入大小。您无法限制潜在解决方案的长度。您的证明表明PCP是递归可枚举的。