Ist das Post-Korrespondenzproblem mit mehr als zwei Zeilen härter als die Standard-Standard-Variante von zweireihiger?
-
29-09-2020 - |
Frage
Das Standard-Post-Korrespondenzproblem betrifft Fliesen mit zwei Symbolenreihen, und ob eine Fliesenanordnung hergestellt werden kann, so dass die Reihenfolge der oberen Symbole der Fliesen gleich dem unteren ist.
let $ \ text {n-pcp}, \ text {n}> 0 $ Eine Verallgemeinerung des POST-Korrespondenzproblems, an dem die Fliesen
Natürlich $ \ Text {1-PCP} $ ist entschieden (in der Tat ist es trivial, da die Antwort auf das Problem immer true ist).
aber was ist, wenn $ \ text {n}> 2 $ ?Ist es schwieriger oder kann es auf den Standard-PCP reduziert werden (wie ich> 3-Sat wird auf 3-Sat reduziert)?
Lösung
$ \ Text {n-PCP} $ kann auf $ \ text {2-pcp} $
lass $ M $ Seien Sie eine nicht-Nondeterministische Turing-Computer, die einen
Jetzt, let $ P $ Seien Sie ein Beispiel von $ \ Text {N-PCP} $ .Die Reduktioncodes