PCP是否可识别？

Question

我想知道邮政通信问题（PCP）是否可识别。我学会了如何证明PCP的不可判断性。我认为也可以使用类似的方法来识别，即考虑MPCP并显示它是否可识别。我不确定这是不是一个好方法。

Answer 1

邮政通信问题确实可识别。以下是两种查看方法：

1. 为它构建一个识别器。给定一组图块，您可以想象一个TM列出了一个多米诺骨牌的所有序列，然后恰好是两个多米诺骨牌，然后是三个多米诺骨牌，然后恰好四个多米诺骨牌等，每次逐渐增加多米诺骨牌的数量。如果TM发现一系列顶部和底部匹配的多米诺骨牌，那么它可以接受。否则，它将无限循环。

2. 为它构建一个不确定的TM。设计一个非确定性TM，给定一组图块，不确定地猜测一系列图块排成一行，然后检查顶部和底部是否匹配。如果是这样，它接受;否则它拒绝。然后，这个NTM将接受任何“是”实例，因为它总是能猜出一系列有效的多米诺骨牌，并且不会接受任何“否”实例，因为它永远无法猜测多米诺骨牌的有效排序。