Lektion
Die Theorie â Conways Spiel des Lebens
Das ganze Spiel des Lebens sind zwei Zahlen. B3: eine tote Zelle mit genau drei lebenden Nachbarn wird geboren. S23: eine lebende Zelle mit zwei oder drei Nachbarn ĂŒberlebt, sonst stirbt sie. Es gibt keine weitere Regel, keinen Zufall und keinen Spieler â du setzt die erste Generation, alles Weitere ist erzwungen. Alles, was das Feld zĂ€hlt, und jedes Muster in der Liste ist eine Folge dieser beiden Zahlen, gleichzeitig auf jede Zelle angewandt.
Was die einzelnen Symbole bedeuten
n- die Anzahl lebender Zellen unter den acht Nachbarn einer Zelle â vier Kanten, vier Ecken. Jede Entscheidung im Spiel fĂ€llt anhand dieser einen ganzen Zahl.
B3- die Geburtsregel. Genau drei: zwei sind zu wenig, vier zu viel, und diese SchÀrfe ist der Grund, warum Muster klare RÀnder haben statt Schlieren.
S23- die Ăberlebensregel. Eine lebende Zelle mit weniger als zwei Nachbarn stirbt wie vereinsamt, mit mehr als dreien wie ĂŒberfĂŒllt.
Phase- das eigene Urteil des Feldes darĂŒber, was das Muster tut â Evolving, Still life, Oscillating oder Extinct. Ein Vergleich mit frĂŒheren Generationen, keine Vorhersage.
Woher die Formel kommt
- ZĂ€hle fĂŒr jede Zelle des Bretts die lebenden unter ihren acht Nachbarn. Auch fĂŒr die toten Zellen â Geburt wird genauso entschieden wie Ăberleben, und eine Zelle, die es noch nicht gibt, hat trotzdem Nachbarn.
- Wende
B3an. Eine tote Zelle mit n = 3 wird lebendig. Lade den Block und prĂŒfe nach: jede leere Zelle, die ihn berĂŒhrt, sieht höchstens zwei lebende, also wird neben ihm nie etwas geboren. Genau deshalb bleibt der Block liegen. - Wende
S23an. Eine lebende Zelle mit n = 2 oder n = 3 bleibt. Jede der vier Blockzellen berĂŒhrt genau drei andere, also ĂŒberleben alle vier, und der Block bildet sich exakt neu. - Und all das gleichzeitig. Jede Zelle wird gegen dieselbe Momentaufnahme geprĂŒft, dann wird das ganze Brett ersetzt. Aktualisiere stattdessen Zelle fĂŒr Zelle, und du bekommst ein anderes, falsches Spiel â der bereits geĂ€nderte Nachbar wĂŒrde in die Zelle daneben zurĂŒckwirken. Gleichzeitigkeit ist kein Implementierungsdetail, sondern Teil der Regel.
So liest du, was du siehst
Beobachte die Zeile Phase statt des Gitters. Lade den Block, und nach einer Generation steht dort Still life; der Blinker braucht zwei, bis Oscillating erscheint; der Diehard lĂ€uft 130 Generationen und zeigt dann Extinct. Lade nun den Gleiter und schrittweise, so lange du magst. Er bleibt fĂŒr immer Evolving â und er ist das Ordentlichste im MenĂŒ, das seine Form alle vier Generationen exakt wiederholt. Der Klassifikator vergleicht das ganze Brett mit frĂŒheren Brettern, und das Brett eines Gleiters wiederholt sich nie, weil die Form ein Feld diagonal weitergerĂŒckt ist. Ordnung, die wandert, ist fĂŒr einen Test auf Ordnung, die bleibt, unsichtbar.
- Setzt voraus
- Ein endliches Brett â und eines, das du nicht ganz kontrollierst: jedes Muster bringt seine eigene GittergröĂe mit und ĂŒberschreibt deine. Die Seite öffnet mit 30Ă30; wĂ€hle Acorn, und es wird 50Ă50, setze von Hand 70, und das hĂ€lt, wĂ€hle dann Diehard, und es fĂ€llt auf 40Ă40. Conways Regel ist auf einer unbegrenzten Ebene definiert, ein Muster, das hier den Rand erreicht, spielt also nicht mehr ganz dasselbe Spiel.
- Versagt, wenn
- Die Phase-Zeile kann dir nie sagen, dass ein Muster ĂŒberleben wird. Lade den Diehard: sieben Zellen, die auf vierundzwanzig anwachsen, ĂŒber hundert Generationen umherziehen und bei Generation 130 verschwunden sind â der Name ist verdient. Nichts auf dem Bildschirm hat das vor Generation 130 angedeutet, und nichts hĂ€tte es gekonnt. Das Spiel des Lebens ist Turing-vollstĂ€ndig, also ist die Frage âstirbt dieses Muster aus?â das Halteproblem mit anderem Hut, und kein Algorithmus entscheidet sie. Was das Feld beantwortet, ist die entscheidbare Frage â hat sich dieses Brett schon wiederholt? â und es sagt sorgfĂ€ltig Evolving statt etwas StĂ€rkerem, solange es wartet.
Aufgabe vollstÀndig gelöst
-
FĂŒnf lebende Zellen auf einem 30 Ă 30 Gitter 5 Schritte
FĂŒnf lebende Zellen auf einem 30 Ă 30-Gitter. Berechnen Sie die vom Panel angezeigte Dichte und ermitteln Sie dann, wie schnell sich der Gleiter bewegt und warum er sich nicht schneller bewegen kann. Dies ist der Zustand Gleiter.
-
Die Dichte ist einfach die Anzahl der lebenden Zellen geteilt durch die Gesamtzahl der Zellen, und das Gitter ist quadratisch.
-
Die Regel in ihrer Gesamtheit. Man beachte, was sie nicht enthÀlt: irgendeinen Begriff von Richtung, Entfernung oder GedÀchtnis. Eine Zelle sieht acht Nachbarn und die aktuelle Generation, und das ist alles.
-
Verfolgt man den Gleiter ĂŒber vier Schritte, gleicht er wieder sich selbst, um eine Zelle nach rechts und eine Zelle nach unten versetzt. Zwei dieser Schritte sehen dem Anfang ĂŒberhaupt nicht Ă€hnlich, weshalb die Periode vier und nicht zwei betrĂ€gt.
-
Die Geschwindigkeit ist die Versetzung geteilt durch die Periode. Der Nenner der Grenzgeschwindigkeit wird durch die Nachbarschaft bestimmt: Eine Zelle pro Generation ist das Schnellste, wie sich Information bewegen kann.
-
Skaliert auf das Spielfeld: Die Durchquerungszeit ist eine Eigenschaft des Musters und des Gitters, nicht der Animationsgeschwindigkeit â diese Ă€ndert nur, wie lange man wartet.
Antwort
c/4, wobei c eine Zelle pro Generation ist. Life hat eine strikte Geschwindigkeitsgrenze, die sich direkt aus der Regel ergibt: Eine Zelle betrachtet stets nur ihre acht Nachbarn, sodass sich kein Einfluss schneller als eine Zelle pro Generation ausbreiten kann, egal welches Muster man baut. Das ist der Kausalkegel, und in der Literatur zu Life wird dies ohne viel Ironie als Lichtgeschwindigkeit bezeichnet. Der Gleiter kehrt nach vier Generationen in seine ursprĂŒngliche Form zurĂŒck, um eine Zelle diagonal versetzt, sodass er sich mit einem Viertel der Höchstgeschwindigkeit bewegt â und nichts, was aus B3/S23 konstruiert wurde, hat orthogonal jemals c/2 ĂŒberschritten. Ein FĂŒnf-Zellen-Muster mit einer Periode und einer Versetzung ist das kleinste Objekt in Life, das sich fortbewegt, und es benötigt 120 Generationen beziehungsweise bei dieser Geschwindigkeitseinstellung 24 Sekunden, um das Spielfeld zu ĂŒberqueren.
-
Quellen (3)
- Turing completeness made explicit â a working universal Turing machine built out of Life patterns: P. Rendell, "A Universal Turing Machine in Conwayâs Game of Life." 2011 International Conference on High Performance Computing & Simulation, 764â772.
- The column that introduced Life to a general audience: Martin Gardner, "Mathematical Games: The fantastic combinations of John Conway's new solitaire game 'life'." Scientific American 223, 120â123, October 1970.
- Where Life's universality is worked out: E. R. Berlekamp, J. H. Conway & R. K. Guy, Winning Ways for Your Mathematical Plays, volume 4, 2nd edition. A K Peters, 2004. ISBN 978-1-56881-144-4.