Pembatasan yang dapat diputuskan dari Masalah Korespondensi Paska

The Pasang Correspondence Masalah (PCP) adalah diputuskan.

The Versi dibatasi dari PCP adalah -Lengkap dan versi ditandai PCP (kata-kata salah satu dari dua daftar yang diperlukan untuk berbeda dalam huruf pertama) adalah di [1].$\mathrm{NP}$$\mathrm{PSPACE}$

1. Apakah versi terbatas ini digunakan untuk membuktikan beberapa kompleksitas hasil dari masalah lain (melalui reduksi)?
2. Apakah ada versi PCP terbatas lainnya yang membuatnya decidable (dan khususnya -complete)?$\mathrm{PSPACE}$

[1] " Marked PCP decidable " oleh V. Halava, M. Hirvensalo, R. De Wolf (1999)

ada lebih dari satu cara untuk "mengikat" PCP (mungkin mendekati banyak!) dan tampaknya ada beragam penelitian dalam banyak varian. membatasi jumlah blok gabungan atau total panjang string gabungan ke parameter yang ditentukan pada input (ditentukan dalam biner) tampaknya NExpSpace lengkap tetapi belum melihat ini ditulis dalam sebuah makalah. lihat Bounded Post Correspondence Problem NP-Complete Proof , tcs.se. jika Anda membatasi parameter "panjang gabungan" yang sama ke polinomial dari ukuran input yang tampaknya PSpace lengkap. sekali lagi tidak melihat yang ditulis di mana saja meskipun beberapa pencarian.

ada juga penelitian yang agak terkait dalam menyelesaikan kasus-kasus khusus PCP (agak mengingatkan pada penelitian Busy Beaver), lihat misalnya pemecah PCP oleh Zhao atau [8]. perhatikan bahwa ada juga kasus pelopor penerapan komputasi DNA untuk pendekatan yang agak probabilistik. [3] juga tampaknya ada lebih banyak penelitian oleh Halava [4], [7] ke varian yang dapat didekati. [5,6] adalah hasil misc lebih lanjut.

[1] Mengatasi masalah korespondensi Kiriman oleh Zhao (v2?)

[2] Pengurangan polinom dari masalah NP-complete untuk PCP terbatas , cs.se

[3] Menggunakan DNA untuk menyelesaikan Masalah Korespondensi Pasca Bounded oleh Kari et al

[4] Tentang Masalah Korespondensi Pasca Bahasa Monotonik oleh Halava et al

[5] Masalah korespondensi Post lebih dari alfabet unary oleh Rudnicki

[6] Masalah Pasca Korespondensi dengan Abjad Komutatif Sebagian Barbara Klunder, Wojciech Rytter

[7] Beberapa Hasil Baru pada Masalah Pasca Korespondensi dan Modifikasinya oleh Halava, Harju

[8] Membuat Contoh Sulit dari Masalah Pasca Korespondensi oleh Lorentz

Ehrenfeucht, Karhumäki dan Rozenberg telah menunjukkan bahwa PCP biner (di mana domainnya adalah biner) dapat dipilih. Halava dan Holub kemudian menunjukkan bahwa itu sebenarnya dalam P.