Auf dieser Seite gibt es einige Visualisierung zu meinem Paper über Spidersolitaire
Grundlage dieses Papers war meine Bachelorarbeit. In dieser werden noch weitere Resulate, die nichtmehr ins Paper gepasst haben, gezeigt.
Diese Animation Zeigt das bewegen eines maximalen sequenziellen Teilstapels auf einen anderen Stapel.
Diese Animation zeigt einen spaltenden Zug:
Hier wird als erfüllende Belegung \(v_1,v_2, \neg v_3\) ausgewählt.
Die zweite und dritte Klausel wird der übersicht halber weggelassen
\(\cdots\)
\(\cdots\)
\(\cdots\)
\(\cdots\)
Jetzt können die nicht ausgewählten Literale durch die offenliegende 7 auch ausgewählt werden. Dadurch ist das Spiel sortiert und kann somit gewonnen werden!
Beispielhaftes Gadgets. Wird die Karte x wegbewegt, so entstehen 3 Freifelder.