Es gibt mehr als einen Weg, um PCP zu "binden" (vielleicht nur wenige!), und es scheint vielfältige Forschung in Bezug auf viele Varianten zu geben. Das Begrenzen der Anzahl der verketteten Blöcke oder der Gesamtlänge der verketteten Zeichenfolgen auf einen Parameter, der in der Eingabe angegeben ist (in binärer Form angegeben), scheint NExpSpace-vollständig zu sein, hat dies jedoch nicht in einem Artikel beschrieben. siehe Bounded Post Correspondence Problem NP-Complete Proof , tcs.se. Wenn Sie denselben "Verkettungslänge" -Parameter auf ein Polynom der Eingabegröße beschränken, ist anscheinend der PSpace abgeschlossen. Ich habe das trotz einiger Recherchen nirgendwo aufgeschrieben gesehen.
Es gibt auch verwandte Forschungen zur Lösung spezieller PCP-Fälle (die etwas an die Busy-Beaver-Forschung erinnern), siehe z. B. PCP-Solver von Zhao oder [8]. Beachten Sie, dass es auch einen bemerkenswerten / wegweisenden Fall gibt, DNA-Computing für einen etwas probabilistischen Ansatz anzuwenden. [3] Auch scheint es mehr Forschungen von Halava [4] [7] über andere entscheidbare Varianten zu geben. [5,6] sind weitere verschiedene Ergebnisse.
[1] Korrespondenzprobleme bei der Bekämpfung von Posts von Zhao (v2?)
[2] Eine Polynomreduktion von einem NP-vollständigen Problem zu gebundenem PCP , vgl
[3] Verwenden von DNA zur Lösung des Bounded-Post-Correspondence-Problems von Kari et al
[4] Zum Postkorrespondenzproblem für buchstabenmonotone Sprachen Postkorrespondenzproblem buchstabenmonotone von Halava et al
[5] Das Postkorrespondenzproblem über ein unäres Alphabet von Rudnicki
[6] Nachkorrespondenzproblem mit teilkommutativen Alphabeten
Barbara Klunder, Wojciech Rytter
[7] Einige neue Ergebnisse zum Post-Korrespondenz-Problem und seinen Modifikationen von Halava, Harju
[8] Erstellen schwieriger Instanzen des Post-Korrespondenz-Problems von Lorentz