Apakah Masalah Post Correspondence dalam NP?

Saya baru saja membaca beberapa halaman dalam buku Sipser. Pengantar Teori Komputasi tentang Masalah Pasca Korespondensi, dan saya berpikir bahwa PCP sebenarnya dalam NP. adalah: untuk konfigurasi masukan tumpukan menyatukan sebagai string dan merangkai sebagai string , lalu bandingkan dan untuk melihat apakah keduanya sama dan kemudian menyimpulkan bahwa input sebenarnya adalah solusi untuk PCP.

Masalah korespondensi Post tidak dapat dipastikan, dan khususnya tidak dalam NP. Alasan bahwa ide Anda tidak berhasil adalah karena saksi belum tentu berukuran polinomial (pada kenyataannya, Anda baru saja membuktikannya). Yaitu, agar pemberi sertifikat Anda membuktikan bahwa masalah korespondensi Post ada di NP, perlu dijalankan dalam waktu polinomial (dalam hal ukuran instance PCP ). Ternyata dalam hal ini tidak selalu ada solusi ukuran polinomial bahkan ketika masalahnya dapat dipecahkan. Faktanya, tidak ada batasan yang dapat dihitung pada ukuran solusi potensial, karena jika tidak masalahnya akan menjadi masalah!

Saksi Anda jumlahnya banyak dalam ukuran solusi, bukan dalam ukuran input. Anda tidak memiliki cara untuk membatasi solusi potensial. Bukti Anda menunjukkan bahwa PCP dapat dihitung berulang secara rekursif.