Postsches Korrespondenzproblem

Das Postsche Korrespondenzproblem (nach Emil Leon Post, abgekürzt auch PKP oder englisch PCP) ist ein Beispiel für ein unentscheidbares Problem in der Theoretischen Informatik. Es wird häufig verwendet, um mittels Reduktion die Unentscheidbarkeit anderer Probleme zu zeigen.

Gegeben ist eine endliche Folge $P$ von Paaren $\left((x_{1},y_{1}),(x_{2},y_{2}),\ldots ,(x_{m},y_{m})\right)$ von nicht-leeren Wörtern $x_{1},x_{2},\ldots ,x_{m},y_{1},y_{2},\ldots ,y_{m}$ über einem endlichen Alphabet. Man nennt $P$ auch einen Problemfall oder eine Instanz.

Eine nicht-leere Folge $I=i_{1},i_{2},\ldots ,i_{n}$ von Indizes aus $\{1,2,\ldots ,m\}$ heißt eine Lösung zum Problemfall $P$, falls die Konkatenation (Verkettung) der Wörter $x_{i_{1}},x_{i_{2}},\ldots ,x_{i_{n}}$ gleich der Konkatenation der Wörter $y_{i_{1}},y_{i_{2}},\ldots ,y_{i_{n}}$ ist.

Das Korrespondenzproblem ist dann die Aufgabe, zu einem beliebigen Problemfall anzugeben, ob er eine Lösung besitzt oder nicht. Das Korrespondenzproblem ist unentscheidbar, das heißt, es gibt keinen Algorithmus, der zu jedem beliebigen Problemfall die richtige Antwort gibt.

Anschauliche Darstellung

Die Wortpaare $(x_{i},y_{i})$ eines Problemfalls kann man sich gut wie Dominosteine vorstellen, bei denen auf der einen Hälfte $x_{i}$ und auf der anderen Hälfte $y_{i}$ steht. Es gibt $m$ Arten von Dominosteinen und von jeder Art stehen beliebig viele Dominosteine zur Verfügung.

Das Korrespondenzproblem lässt sich nun also wie folgt verstehen: Gibt es eine Folge von Dominosteinen, so dass die Wörter auf der oberen Hälfte der Dominosteine (von links nach rechts gelesen) dasselbe Wort ergeben wie die (von links nach rechts gelesenen) Wörter aus der unteren Hälfte der zusammengelegten Dominosteine?

Beispiel

Gegeben:

$P_{1}=\left((1,101),(10,00),(011,11)\right)$

$\left.x_{1}=1\right.,$ $\left.x_{2}=10\right.,$ $\left.x_{3}=011\right.$
$\left.y_{1}=101\right.,$ $\left.y_{2}=00\right.,$ $\left.y_{3}=11\right.$

Lösung:

$I_{1}=(1,3,2,3)$

Es gilt: $x_{1}\cdot x_{3}\cdot x_{2}\cdot x_{3}=1\cdot 011\cdot 10\cdot 011=101110011=101\cdot 11\cdot 00\cdot 11=y_{1}\cdot y_{3}\cdot y_{2}\cdot y_{3}$.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_1} ist also eine Lösung des Problemfalls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_1} .

Als Dominofolge: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{101}\ \frac{011}{11}\ \frac{10}{00}\ \frac{011}{11}} .

Bemerkungen dazu:

Natürlich bildet jede Verkettung zweier Lösungen oder einer Lösung mit sich selbst wieder eine Lösung. Man kann also fragen, ob eine Lösung aus kürzeren Lösungen zusammengesetzt ist. Die Lösung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (1, 3, 2, 3)} ist nicht aus kürzeren Lösungen zusammengesetzt: sie ist primitiv. Manchmal gibt es mehrere primitive Lösungen, nicht jedoch in diesem Beispiel.

Das Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_1} erweckt vielleicht den Eindruck, dass das Postsche Korrespondenzproblem gar nicht so schwierig ist. Es gibt jedoch auch Problemfälle, die nur sehr lange Lösungen haben.

Hierzu ein Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_2}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. x_1 = 001 \right.,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. x_2 = 01 \right.,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. x_3 = 01 \right.,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. x_4 = 10 \right.}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. y_1 = 0 \right.,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. y_2 = 011 \right.,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. y_3 = 101 \right.,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left. y_4 = 001 \right.}

Eine kürzeste Lösung besteht schon aus 66 Paaren:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_1 = (2, 4, 3, 4, 4, 2, 1, 2, 4, 3, 4, 3, 4, 4, 3, 4, 4, 2, 1, 4, 4, 2, 1, 3, 4, 1, 1, 3, 4, 4, 4, 2, 1, 2, 1, 1, 1, 3, 4, 3, 4, 1, 2, 1, 4, 4, 2, 1, 4, 1, 1, 3, 4, 1, 1, 3, 1, 1, 3, 1, 2, 1, 4, 1, 1, 3)}

An dieser Lösung kann man leicht die Komplexität des Problems erkennen.

Grenzen zwischen Entscheidbarkeit und Unentscheidbarkeit

Durch systematisches Ausprobieren lässt sich eine Lösung nach endlicher Zeit finden, sofern es eine gibt. Das PKP ist somit ein semi-entscheidbares Problem. Wenn es jedoch keine Lösung gibt, wird dieser Algorithmus nicht terminieren. Der Nachweis, dass es kein Entscheidungsverfahren für PKP gibt, kann durch eine Reduktion des Halteproblems auf eine Variante des Korrespondenzproblems erbracht werden.

Sonderfälle

Durch Einschränkung des Alphabets wird das Problem „einfacher“.

Lässt man nur Wortpaare über einem einelementigen Alphabet zu, dann wird aus dem PKP ein entscheidbares Problem. Das PKP eingeschränkt auf ein zweielementiges Alphabet dagegen bleibt unentscheidbar, denn ein beliebiges Alphabet kann in einem zweielementigen Alphabet kodiert werden.

Man kann auch die Größe einschränken, das heißt die Anzahl der Paare in den Problemfällen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} . Für die Größen 1 und 2 wird das PKP entscheidbar. Die Größe 5 reicht aus für Unentscheidbarkeit. Ob für die Größe 3 oder 4 das PKP entscheidbar ist oder nicht, ist noch ungeklärt.

Außerdem gilt: Wenn in allen Paaren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_i = \left(x_i, y_i\right)} die erste Komponente länger bzw. kürzer als die zweite ist (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall i \colon \left|x_i\right| > \left|y_i\right|} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall i \colon\left|x_i\right| < \left|y_i\right|} ), ist die Instanz unlösbar. Dasselbe gilt, wenn ein Symbol nur in den ersten oder nur in den zweiten Komponenten vorkommt oder wenn es kein Paar gibt, das „gleich beginnt“ oder „gleich endet“ (Präfixe, Suffixe).

Trivia

Nach einer Idee von Steffen Lange im Jahr 2011 kann das Postsche Korrespondenzproblem als Ausgangspunkt für eine dominoartige Spiele-Familie, die sogenannten PCP-Spiele, dienen.

Siehe auch

• Wang-Parkettierung

Weblinks

• Online-PCP Lösungstool