# 15-Puzzle

Das 15-Puzzle, auch Fünfzehnerspiel, 14-15-Puzzle, Schiebepuzzle, Schieberätsel, Schiebefix, Schiebefax oder Ohne-Fleiß-kein-Preis-Spiel genannt, ist ein Geduldsspiel. Es wurde zwischen 1870 und 1880 in den Vereinigten Staaten vom Postangestellten Noyes Palmer Chapman erfunden. Das Spiel besteht aus 15 Kacheln, von 1 bis 15 durchnummeriert, die auf den 16 Feldern eines Vier-mal-vier-Quadrats angebracht sind. Ein Feld (das „Loch“) bleibt also frei. Eine (vertikal oder horizontal) benachbarte Kachel kann jeweils in das freie Feld hineingeschoben werden. Die Aufgabe besteht nun darin, durch Verschieben der Kacheln die Zahlen von 1 bis 15 aufsteigend anzuordnen.
Je nach Ausgangsstellung gibt es verschiedene Varianten des Spiels, insbesondere das 14-15-Puzzle, bei dem in der Ausgangsstellung lediglich die Zahlen 14 und 15 vertauscht sind, wodurch das Puzzle unlösbar wird. Heutige Ausgaben des Spiels werden meist in der gewünschten Anordnung ausgeliefert; Der Spieler verschiebt („mischt“) die Kacheln zunächst und versucht dann, das Puzzle wieder in die geordnete Ausgangsstellung zu bringen. Bei dieser Spielvariante ist mithin garantiert, dass die Aufgabe lösbar ist.


## Geschichte
Das Spiel wurde von dem Postangestellten Noyes Palmer Chapman erfunden, der seinen Freunden im Jahr 1874 ein ähnliches Puzzle zeigte. Bei diesem ging es darum, 16 nummerierte Blöcke in die Form eines magischen Quadrates zu bringen. Die ersten Kopien des 15-Puzzles gelangten nach Syracuse im Staat New York zu Frank Chapman, dem Sohn von Noyes. Von dort verbreitete sich das Spiel weiter nach Watch Hill und schließlich nach Hartford in Connecticut, wo Schüler der amerikanischen Schule für Hörbehinderte das Puzzle in großen Auflagen fertigten und im Dezember 1879 als Weihnachtsgeschenke in Boston, Massachusetts verkauften. Matthias Rice, der Besitzer eines Geschäftes für ausgefallene Holzgegenstände, entdeckte eines dieser Puzzles und fing an, diese umgehend selbst herzustellen und als „Gem Puzzle“ auf den Markt zu bringen.
Die 15 Spielsteine bzw. Kacheln lagen dabei lose in einer kleinen Box und die Spielanleitung lautete: »Place the blocks in the box irregularly, then move until in regular order« (zu Deutsch etwa: „Setze die Spielsteine in beliebiger Anordnung in die Box, dann verschiebe sie, bis sie sich in Reihenfolge befinden“).
Gegen Ende Januar 1880 setzte der Zahnarzt Charles Pevey ein Preisgeld für die Lösung des 15-Puzzles aus. Der erste Trend für das Spiel war in den USA im Februar, in Kanada im März und in Europa im April 1880 zu sehen. Der Trend war bereits im Juli desselben Jahres aber wieder im Rückgang. Erst neun Jahre später wurde das Spiel in Japan eingeführt.
Chapman wollte das 15-Puzzle am 21. Februar 1880 als „Block Solitaire Puzzle“ zum Patent anmelden, stieß beim Patentamt aber auf Ablehnung, da sich sein Spiel nicht ausreichend von dem am 20. August 1878 erteilten Patent für das von Ernest U. Kinsey entwickelte Spiel „Puzzle-Blocks“ zu unterscheiden schien.
Der Rätselspezialist Samuel Loyd behauptete von 1891 bis zu seinem Tod im Jahr 1911, dass er der Erfinder dieses Rätsels sei, konnte dies aber niemals belegen. Neueren Untersuchungen zufolge wurde er sogar als Lügner entlarvt. Während des Ersten Weltkriegs wurde das 15-er Puzzle als „Geduldspiel für den Schützengraben“ produziert.


## Aufgabenstellungen
### Ursprüngliches Puzzle
Beim „Gem Puzzle“, das Matthias Rice 1879 produzierte und verkaufte, nahm der Spieler zu Beginn die Steine heraus und setzte sie beliebig in die Box. Anschließend bestand die Aufgabe darin, durch Verschieben der Steine die Zahlen zeilenweise aufsteigend anzuordnen. Dabei ergeben sich folgende mathematische Zusammenhänge:

Es gibt 16! = 20922789888000 ≈ 2,1 ⋅ 1013 mögliche Start-Anordnungen (Permutationen der Zahlen 1 bis 16), bei denen das leere 16-te Feld nicht unbedingt unten rechts sitzt.
Durch Verschieben der Steine kann genau die Hälfte aller Startanordnungen in eine aufsteigende Reihenfolge (Sequenz) mit dem leeren Feld unten rechts gebracht werden.
Durch Verschieben der Steine kann die andere Hälfte aller Startanordnungen in eine Sequenz mit dem leeren Feld oben links gebracht werden.
Bei einer Startanordnung, mit der eine Sequenz mit dem leeren Feld oben links erreichbar ist, kann man einer Sequenz mit dem leeren Feld unten rechts lediglich so nahe bringen, dass sich nur zwei der fünfzehn Blöcke an den falschen Positionen befinden.
Für andere Zielanordnungen kann man folgende Sachverhalte feststellen:

Lässt sich eine bestimmte Anordnung erreichen, so ist
die horizontal oder vertikal gespiegelte Anordnung nicht erreichbar.
die um 90° nach rechts oder links gedrehte Anordnung nicht erreichbar.
die um 180° gedrehte Anordnung ebenfalls erreichbar.
die diagonal gespiegelte Anordnung erreichbar.
eine Anordnung, bei der nur zwei benachbarte Steine vertauscht sind, nicht erreichbar.


### 15-14-Puzzle
In der Ausgangsposition des 15-14-Puzzles sind die Steine mit Ausnahme der Steine 14 und 15 schon in aufsteigender Reihenfolge sortiert. Das letzte Feld unten rechts bleibt frei. Bei dieser Ausgangsstellung ist die Aufgabe, die Zahlen durch Verschieben der Steine in die richtige Reihenfolge zu bringen, wobei das letzte Feld wieder frei bleibt, nicht lösbar. Die Aufgabe wird lösbar, wenn man das erste statt des letzten Feldes freilässt (s. o.)


### 14-15-Puzzle
Eine weitere Möglichkeit besteht darin, aus der geordneten Reihenfolge mit der Lücke unten rechts bestimmte andere Anordnungen zu erreichen, z. B:


### Modernes 15-Puzzle
Viele der Spiele, die heute erhältlich sind, sind im Auslieferungszustand bereits richtig sortiert und ihre Steine sind miteinander so verzahnt, dass man sie zwar verschieben, aber nicht entnehmen kann. Das Ziel des Spieles ist es von daher, ein gemischtes Puzzle wieder in den Originalzustand zu versetzen.
Im Handel findet man viele Formen dieses Spiels. Es gibt sie beispielsweise als Schlüsselanhänger aus Plastik oder Holz gefertigt.
Es gibt auch Spiele, die nicht mehr das Ziel haben, Zahlen zu sortieren, sondern aus einem Bild bestehen, das nur komplett zu sehen ist, wenn alle Quadrate in einer richtigen Reihenfolge sortiert werden.
Es gibt Ausführungen mit Buchstaben oder Buchstabengruppen statt Zahlen. Hier soll als Lösung entweder die alphabetische Reihenfolge erreicht werden oder es soll ein bestimmter Text stehen. Letztere haben oft ein Paar (oder gar mehrere) gleicher Kacheln (d. h. mit gleichen Buchstaben). Kommt es dabei zu einer Situation, bei der nur noch die beiden letzten Kacheln vertauscht sind, so muss man ein Paar gleicher Buchstaben tauschen, um die Aufgabe zu lösen. Steht beispielsweise bei dem in der Abbildung „Textversion“ dargestellten Spiel in der unteren Zeile „Prsei“ statt „Preis“, so muss man entweder die beiden „e“, die beiden „n“ oder (!) die beiden „ei“ tauschen.
Bei der Darstellung mittels römischer Zahlen erhöht sich der Schwierigkeitsgrad durch die meist schlechtere Übung bei der Zahlenfolge.


### Weitere Aufgabenstellungen
#### Magische Quadrate
Eine weitere Aufgabenstellung für das 15-Puzzle mit Zahlen ist es, die übliche Start-Anordnung (mit dem leeren Feld unten rechts) in ein magisches Quadrat zu überführen, wobei das leere Feld für die Zahl 0 steht.
Die magische Summe (d. h. die Zeilen-, Spalten- und Diagonalensumme) ist dann 30. Berücksichtigt man Drehungen oder Spiegelungen des Quadrats, gibt es 880 
  
    
      
        ⋅
      
    
    {\displaystyle \cdot }
  
 8 = 7040 magische Quadrate auf einem 4x4 -Feld. Von diesen ist genau die Hälfte, also 3520, aus der üblichen Start-Anordnung zu erreichen. Kociemba bestimmte für jedes dieser magischen Quadrate die minimale Anzahl von Zügen, die ausgehend von der Start-Anordnung erforderlich ist. Man benötigt mindestens 35 Züge, um ein magisches Quadrat zu erhalten, und es gibt nur ein einziges magisches Quadrat, das in 35 Zügen erreichbar ist.


## Andere Größen
Es gibt auch Ausführungen in anderen Größen, so z. B. das 8-Puzzle in einem Drei-mal-drei-Quadrat und das 31-Puzzle in einem Vier-mal-acht-Rechteck.


## Mathematischer Hintergrund
### Permutationen und Invarianten
Jede Stellung des Spiels ist entweder lösbar oder unlösbar, das heißt, sie kann in die Endstellung überführt werden oder nicht. Zum Beweis wird die so genannte Parität jeder Stellung betrachtet. Sie bleibt bei einem Zug immer erhalten. Die Parität ergibt sich aus der Anzahl der ungeordneten Zahlenpaare. Dabei ist 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 die Anzahl der Zahlenpaare, die sich in falscher Reihenfolge befinden und 
  
    
      
        
          N
          
            2
          
        
      
    
    {\displaystyle N_{2}}
  
 die Nummer der Reihe, in der sich das leere Feld befindet. Die Summe 
  
    
      
        N
        =
        
          N
          
            1
          
        
        +
        
          N
          
            2
          
        
      
    
    {\displaystyle N=N_{1}+N_{2}}
  
 ist entweder gerade oder ungerade. Bei allen erlaubten Zügen bleibt diese Parität erhalten, das heißt eine gerade Spielstellung kann nie in eine ungerade überführt werden und umgekehrt. Da die ursprüngliche Aufgabenstellung ungerade ist, kann sie nie in den geraden Endzustand führen.
Eine andere Beweisidee verwendet das Vorzeichen der als Permutation, also als Vertauschung, betrachteten Stellung, das mit jedem Zug das Vorzeichen wechselt.


### Beispiel
Um zu überprüfen, ob eine Konstellation von Steinen mittels erlaubter Züge in eine andere überführt werden kann, ist zwischen Rahmengrößen mit geradzahliger (wie der vorliegenden) und solchen mit ungeradzahliger Spaltenanzahl zu unterscheiden. Grundvoraussetzung ist, dass die Steine in der gezeigten Weise nummeriert sind oder bei Puzzles, deren Lösung in der Erstellung eines Bildes liegt, für den Nachweis nummeriert werden. Bei Puzzles, die mehrere Lösungen erlauben, etwa Symbole, die nach bestimmten Regeln angeordnet werden sollen, ist nachzuweisen, dass keine der Lösungsvarianten durch erlaubte Züge erreicht werden kann.
Zur Ermittlung des Unordnungsparameters 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 zählt man alle Zahlenpaare, bei denen eine kleinere Zahl auf eine größere folgt, unabhängig davon, wie viele Steine dazwischen liegen. Die absolute Größe der jeweiligen Zahlen ist unerheblich, Zahlen können in mehreren Paaren vorkommen. Verglichen werden die Steine so, als wären alle in einer horizontalen Reihe aufgelistet. Bei einer Konstellation von beispielsweise 1, 4, 2, 6, 7, 8, 3, 5 gibt es also folgende Paare: (2, 4), (3, 8), (3, 7), (3, 6), (3, 4), (5, 8), (5, 7), (5, 6). Man iteriert von links nach rechts und vergleicht eine Zahl mit allen links stehenden Zahlen. Sobald eine links stehende Zahl dann größer ist, wurde ein ungeordnetes Paar gefunden.
Wird ein Stein in horizontaler Richtung verschoben, ändern sich weder der Unordnungsparameter 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 noch der Reihenparameter 
  
    
      
        
          N
          
            2
          
        
      
    
    {\displaystyle N_{2}}
  
, da man diese Bewegung als Austausch der verschobenen Steine durch das freie Feld auffassen kann, das in der Berechnung des Unordnungsparameters nicht berücksichtigt wird.
Wird ein Stein in vertikaler Richtung verschoben, ändert sich der Reihenparameter 
  
    
      
        
          N
          
            2
          
        
      
    
    {\displaystyle N_{2}}
  
 um +1 oder − 1. Die vertikale Verschiebung betrifft immer genau drei Zahlenpaare, denn es kann nur Änderungen in der Ordnung zwischen dem verschobenen Stein und den drei eingeschlossenen Feldern geben. Dabei hat sich für jeden eingeschlossenen Stein die Anzahl der ungeordneten Paare um 1 vergrößert oder verkleinert. Da der zu verschiebende Stein seinen Platz getauscht hat, haben nun alle Paare, welche mit dem zu verschiebenden Stein gebildet wurden, ihre Ordnung geändert. Ungeordnete Paare sind nun geordnet und umgekehrt.

In der Anfangskonstellation ist 
  
    
      
        N
        =
        
          N
          
            1
          
        
        +
        
          N
          
            2
          
        
        =
        0
        +
        4
        =
        4
      
    
    {\displaystyle N=N_{1}+N_{2}=0+4=4}
  
. Weil sich der Reihenparameter 
  
    
      
        
          N
          
            2
          
        
      
    
    {\displaystyle N_{2}}
  
 bei jedem vertikalen Zug um den ungeraden Wert +1 oder −1 ändert und sich der Unordnungsparameter 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 dann ebenfalls um den ungeraden Wert +3, +1, −1 oder −3 ändert, ändert sich die Parität 
  
    
      
        N
      
    
    {\displaystyle N}
  
 um +4, +2, 0, −2 oder −4, also jeweils um einen geraden Wert.
Die Parität bleibt also nach jedem Zug gerade. Es ist also nicht möglich, von der ursprünglichen Aufgabenstellung, wo die Zahlen 15 und 14 vertauscht sind, zu einer sortierten Reihenfolge zu gelangen, weil die ursprüngliche Reihenfolge die ungerade Parität 
  
    
      
        N
        =
        5
      
    
    {\displaystyle N=5}
  
 hat und nicht mit dem Verschieben von Steinen in eine gerade Parität überführt werden kann.


### Allgemeinfall
In einem 
  
    
      
        a
        ×
        a
      
    
    {\displaystyle a\times a}
  
 großen Puzzle mit ungerader Spaltenanzahl 
  
    
      
        a
      
    
    {\displaystyle a}
  
 beträgt die Anzahl der Steine 
  
    
      
        
          a
          
            2
          
        
        −
        1
      
    
    {\displaystyle a^{2}-1}
  
, ist also eine gerade Zahl. Der Unordnungsparameter 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 ändert sich also mit einem horizontalen Zug gar nicht und mit einem vertikalen Zug um eine gerade Zahl. Die Parität des Unordnungsparameters 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 bleibt daher mit jedem Zug erhalten.
In einem 
  
    
      
        a
        ×
        a
      
    
    {\displaystyle a\times a}
  
 großen Puzzle mit gerader Spaltenanzahl 
  
    
      
        a
      
    
    {\displaystyle a}
  
 beträgt die Anzahl der eingeschlossenen Steine 
  
    
      
        
          a
          
            2
          
        
        −
        1
      
    
    {\displaystyle a^{2}-1}
  
, ist also eine ungerade Zahl. Der Unordnungsparameter 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 ändert sich mit einem vertikalen Zug um eine ungerade Zahl. Der Reihenparameter 
  
    
      
        
          N
          
            2
          
        
      
    
    {\displaystyle N_{2}}
  
 vergrößert oder verkleinert sich mit jedem vertikalen Zug um 1. Die Änderungen ist also bei jedem vertikalen Zug die Summe aus zwei ungeraden Zahlen und damit gerade. Die Parität von 
  
    
      
        N
        =
        
          N
          
            1
          
        
        +
        
          N
          
            2
          
        
      
    
    {\displaystyle N=N_{1}+N_{2}}
  
 bleibt daher mit jedem Zug erhalten.
Da die Parität von 
  
    
      
        
          N
          
            1
          
        
      
    
    {\displaystyle N_{1}}
  
 bei ungerader oder 
  
    
      
        N
        =
        
          N
          
            1
          
        
        +
        
          N
          
            2
          
        
      
    
    {\displaystyle N=N_{1}+N_{2}}
  
 bei gerader Spaltenanzahl stets erhalten bleibt, kann man durch einfaches Abzählen prüfen, ob eine zufällige Konstellation in eine andere bestimmte Konstellation mittels erlaubter Züge überführt werden kann. Bei der klassischen Aufgabenstellung des 15-Puzzles ist das nicht möglich, da bei gerader Spaltenanzahl 
  
    
      
        a
        =
        4
      
    
    {\displaystyle a=4}
  
 die Summe 
  
    
      
        N
        =
        
          N
          
            1
          
        
        +
        
          N
          
            2
          
        
        =
        1
        +
        4
        =
        5
      
    
    {\displaystyle N=N_{1}+N_{2}=1+4=5}
  
 in die Summe 
  
    
      
        N
        =
        
          N
          
            1
          
        
        +
        
          N
          
            2
          
        
        =
        0
        +
        4
        =
        4
      
    
    {\displaystyle N=N_{1}+N_{2}=0+4=4}
  
 überführt werden müsste.
Des Weiteren zeigen diese Überlegungen, dass höchstens die Hälfte aller denkbaren Konstellationen aus der Anfangskonstellation heraus erreicht werden kann, weil nur Anordnungen von geraden in gerade oder ungeraden in ungerade Paritäten überführt werden können. Wie William Woolsey Johnson und William E. Story 1879 zeigten, ist von der Anfangskonstellation genau diese Hälfte immer erreichbar, was aber durch den hier vorgestellten Beweis nicht nachgewiesen werden kann, da die Parität lediglich eine notwendige, nicht aber eine hinreichende Bedingung für die allgemeine Lösbarkeit ist. Einen eleganten modernen Beweis dafür, dass alle Konstellationen von gerader Parität tatsächlich ineinander überführt werden können und auch alle Konstellationen mit ungerader Parität ineinander überführt werden können, gab Aaron F. Archer 1999. Auch die im folgenden Kapitel angesprochenen Algorithmen für das 15-Puzzle belegen diese Tatsache.


## Algorithmen und Komplexität
Schiebepuzzle wie das 8-Puzzle oder das 15-Puzzle dienen seit langem als Testprobleme für Suchalgorithmen in der Künstlichen Intelligenz. Wie Adrian Brüngger, Ambros Marzetta, Komei Fukuda und Jurg Nievergelt 1999 unter Verwendung eines Intel Paragon Parallelrechners mit 64 Knoten zeigten, erfordert die Lösung des 15-Puzzles für alle Startkonstellationen maximal 80 Züge.
Richard E. Korf und Peter Schultze bestimmten 2005 mittels einer Breitensuche und unter Verwendung eines Parallelrechners für jede der 
  
    
      
        
          
            
              
                16
                !
              
              
                2
                !
              
            
          
        
        =
        10461394944000
      
    
    {\displaystyle {\tfrac {16!}{2!}}=10461394944000}
  
 lösbaren Startkonstellationen die minimale Anzahl der Züge, die zur Lösung notwendig ist. Insbesondere bestimmten sie erstmals alle 17 Startkonstellationen, für die 80 Züge notwendig sind. Eine zufällig gewählte, lösbare Startkonstellation lässt sich in durchschnittlich 52,6 Zügen lösen. Zur Vermeidung von Speicherfehlern – immerhin waren 8 
  
    
      
        ⋅
      
    
    {\displaystyle \cdot }
  
 1014 Bit ≈ 100 Terabyte zu schreiben und zu lesen – verwendeten Korf und Schultze ein RAID-System. Dabei wurden 8 
  
    
      
        ⋅
      
    
    {\displaystyle \cdot }
  
 1014 Bit ≈ 100 Terabyte geschrieben und gelesen.
Manfred Warmuth und Daniel Ratner bewiesen 1986, dass das verallgemeinerte Problem, die minimale Anzahl Züge zu einer lösbaren Start-Anordnung in einem n x n -Spiel zu finden, NP-schwer ist.


## Literatur
L. E. Horden: Sliding Piece Puzzles. Oxford University Press, 1986, ISBN 0-19-853204-0.
Jerry Slocum, Dic Sonneveld: The 15 Puzzle. Slocum Puzzle Foundation, 2006, ISBN 1-890980-15-3.


## Ähnliche Spiele
Rush Hour
Quo Vadis (Klotski)


## Siehe auch
Jeu de taquin


## Weblinks
The 14-15-Puzzle – Englischsprachige Seite, die den Beweis der Unlösbarkeit des ursprünglichen 15-Puzzles anhand interaktiver Beispiele illustriert.
Herbert Kociemba: 15-Puzzle Optimal Solver mit Download und Programmcode auf Github


## Einzelnachweise