Yazışma Sonrası Sorunun Belirlenebilir Kısıtlamaları

Mesaj Yazışmalar Sorunu (PCP) undecidable.

PCP sınırlı versiyonu olan Komple ve PCP işaretlenmiş versiyonu (iki liste birinin kelimeler, öncelikle harfi farklılık gerekmektedir) içinde [1].$\mathrm{NP}$$\mathrm{PSPACE}$

1. Bu kısıtlı sürümler diğer sorunların bazı karmaşıklık sonuçlarını kanıtlamak için kullanılıyor mu (azaltma yoluyla)?
2. PCP'nin karar verilebilmesini sağlayan (ve özellikle -complete) başka kısıtlı sürümleri var mı?$\mathrm{PSPACE}$

[1] " İşaretli PCP karar verilebilir " V. Halava, M. Hirvensalo, R. De Wolf (1999)

PCP'yi "bağlamanın" birden fazla yolu vardır (belki birçoğu için sınırlıdır!) ve birçok varyant üzerinde çeşitli araştırmalar var gibi görünüyor. birleştirilmiş blokların sayısını veya birleştirilmiş dizelerin toplam uzunluğunu girişte belirtilen bir parametreyle (ikili olarak belirtilir) sınırlamak NExpSpace tamamlanmış gibi görünür ancak bunu bir kağıda yazmış gibi görmez. bkz. Sınırlı Post Yazışma Sorunu NP-Complete Proof , tcs.se. aynı "birleştirme uzunluğu" parametresini giriş boyutundaki bir polinom ile sınırlarsanız görünüşte PSpace tamamlanır. Yine bazı arama rağmen herhangi bir yerde yazılı görmedim.

ayrıca PCP'nin özel vakalarını (biraz da Meşgul Kunduz araştırmasını hatırlatan) çözme konusunda bir miktar ilgili araştırma vardır, bkz. örneğin Zhao tarafından PCP çözücü veya [8]. ayrıca, biraz olasılıklı bir yaklaşım için DNA bilgi işleminin uygulanması konusunda dikkate değer / öncü bir durum olduğuna dikkat edin. [3] ayrıca Halava [4], [7] tarafından diğer karar verilebilir varyantlar hakkında daha fazla araştırma var gibi görünüyor. [5,6] diğer çeşitli sonuçlardır.

[1] Mücadele Mesaj yazışma sorun Zhao ile (V2?)

[2] Herhangi bir NP-tam probleminden sınırlı PCP'ye bir polinom azalması , cs.se

[3] DNA'yı Kari ve ark.

[4] Mektup Monotonik Diller için Yazışma Sonrası Problem Üzerine Halava ve ark.

[5] Rudnicki'nin sıradan bir alfabe üzerindeki yazışma sorunu

[6] Kısmen Değişmeli Alfabelerde Yazışma Sorunu Barbara Klunder, Wojciech Rytter

[7] Yazışma Sonrası Problem ve Bazı Değişiklikleri Halava, Harju'dan Bazı Sonuçlar

[8] Yazışma Sonrası Probleminin Zor Örneklerini Yaratmak Lorentz

Ehrenfeucht, Karhumäki ve Rozenberg ikili PCP'nin (alan adının ikili olduğu yerde) karar verilebildiğini gösterdiler. Halava ve Holub daha sonra aslında P'de olduğunu gösterdi.